liquidhaskell-0.8.10.7: tests/basic/pos/inc00.hs

-- | test if basic LH pipeline is functioning 

module Inc00 where 

inc :: Int -> Int 
inc x = x + 1