dhall-1.7.0: Prelude/Bool/not
{-
Flip the value of a `Bool`
Examples:
```
./not True = False
./not False = True
```
-}
let not : Bool → Bool = λ(b : Bool) → b == False in not
{-
Flip the value of a `Bool`
Examples:
```
./not True = False
./not False = True
```
-}
let not : Bool → Bool = λ(b : Bool) → b == False in not