liquidhaskell-0.8.10.7: tests/basic/pos/inc02.hs
module Inc02 where
{-@ inc :: {v:Int | v >= 0} -> {v:Int | v >= 0} @-}
inc :: Int -> Int
inc x = x + 1
module Inc02 where
{-@ inc :: {v:Int | v >= 0} -> {v:Int | v >= 0} @-}
inc :: Int -> Int
inc x = x + 1