Contents   Index   Search   Previous   Next


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.

Contents   Index   Search   Previous   Next   Legal