Booleans
Booleans: Concepts, Issues, and Designs
Note: BOOLEAN
is a primeval (or: built-in) spec: you can refer to the sort
Boolean and the various operations, but you cannot refer to the BOOLEAN
spec itself.
- Boolean literals
-
There are two Boolean literals: true and false
- Boolean operations
-
There are the usual boolean operations:
not, and, or, implies, and iff
SpecWeb Index
Specs