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.