liquidhaskell-0.8.10.7: tests/import/lib/T1738Lib.hs

module T1738Lib where

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