dhall-1.3.0: Prelude/Natural/isZero
{-
Returns `True` if a number is `+0` and returns `False` otherwise
Examples:
```
./isZero +2 = False
./isZero +0 = True
```
-}
let isZero : Natural → Bool
= Natural/isZero
in isZero
{-
Returns `True` if a number is `+0` and returns `False` otherwise
Examples:
```
./isZero +2 = False
./isZero +0 = True
```
-}
let isZero : Natural → Bool
= Natural/isZero
in isZero