liquidhaskell-0.8.10.7: tests/names/pos/HidePrelude.hs

module HidePrelude where

import Prelude (Bool(..), Char, Maybe(..), Monad(..), Int,
                Num(..), Ord(..), ($), (&&),
                fromIntegral, otherwise)

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