Existe un tipo enumerado llamado Boolean cuyos valores son: False y True (False < True).
La entrada/salida de valores de tipo Boolean se realiza usando el paquete Ada.Text_IO.Enumeration_IO.
Estado : Boolean; Verdad : constant Boolean := True;