- SYNOPSIS
-
The type `:bool`.
- DESCRIPTION
-
This name is bound to the HOL type :bool.
- FAILURE CONDITIONS
-
Not applicable.
- USES
-
Exploiting the very common type :bool inside derived rules without the
inefficiency or inconvenience of calling a quotation parser or explicit
constructor.
- SEE ALSO
-
aty, bty.