3.5.3 Типы Boolean

Существует предопределенный тип перечисления, именуемый Boolean, объявленный во видимой части пакета Standard. Он имеет два литерала перечисления False и True, упорядоченных с отношением False < True. Любой потомок предопределенного типа Boolean называется булевым типом.