Ada Reference Manual (Ada 2022) — Legal Information

# 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.

Ada 2005 and 2012 Editions sponsored in part by Ada-Europe