3.5.3 Boolean Types
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.
descendant of the predefined type Boolean is called a boolean
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe