liquidhaskell-0.7.0.0: tests/todo/Incr.hs

module Incr (incr) where 


{-@ axiomatize incr @-}
incr :: Int -> Int
incr x = x + 1