Next: , Previous: 3.5.2, Up: 3.5


3.5.3 Boolean Types

Static Semantics

1
There is a predefined enumeration type named Boolean, declared in the visible part of package Standard. It has the two enumeration literals False and True ordered with the relation False < True. Any descendant of the predefined type Boolean is called a boolean type.