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.