This library defines the datatype Bool and several functions and forms for using them.
The boolean datatype.
(if test-expr c-expr alt-expr)
A syntactic form that expands to the inductive eliminator for Bool. This form is currently non-dependent—
the branches do not know that test-expr is equal to true or false.
Negates the boolean x.
A meta-procedure, provided at phase 1, that converts syntax representing a Bool literal into a Racket (meta-level) boolean?.
A meta-procedure, provided at phase 1, that converts a Racket (meta-level) boolean? into syntax representing a Bool.