Next: , Up: Types reference

4.9.1 Bool

Bool is a type synonym for a Domain including only the two constants false and true.1

4.9.1.1 Example

Here is an example bool type definition: 

     deftype "bool" bool

Footnotes

[1] false is encoded by the integer 1, and true by the integer 2 since false alphabetically precedes true.