module Integer where

isZero :: Integer -> Bool ;
isZero :: Integer -> Bool
isZero Integer
0 = Bool
True ;
isZero Integer
_ = Bool
False ;