liquidhaskell-0.8.10.1: tests/import/lib/FunClashLibLib.hs

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