liquidhaskell-0.8.6.0: tests/pos/LooLibLib.hs

module LooLibLib (plusOne) where

{-@ plusOne :: x:Int -> {v:Int| v = x + 1 } @-}
plusOne :: Int -> Int
plusOne x = x + 1