liquidhaskell-0.8.6.0: tests/pos/LooLib.hs

module LooLib ( module LooLibLib , plusTwo ) where

import LooLibLib 

{-@ plusTwo :: x:Int -> {v:Int | v = x + 2} @-}
plusTwo :: Int -> Int
plusTwo = plusOne . plusOne