3.5.3 Типы Boolean

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