liquidhaskell-0.8.0.2: tests/todo/Incr.hs

module Incr (incr) where 


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