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