3.5.3 Типы Boolean

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