liquidhaskell-0.8.10.7: tests/basic/pos/inc04.hs

module Inc04 where 

{-@ inc :: Nat -> Nat @-} 
inc :: Int -> Int 
inc x = x + 1