Tipos Enumeráveis

A definição de tipo enumeráveis possibilita a especificação de um conjunto de literais enumeráveis. Os tipos enumeráveis simplificam a declaração de constantes numéricas, uma vez que cada literal enumerável é associado a um valor numérico. Um literal enumerável também pode ser um identificador ou um literal caracter. A sintaxe de um tipo enumerável é dada por:
::= ( {,})

Cada especificação de literal enumerável está associada a uma posição dentro do conjunto. Por exemplo, o enumerável abaixo possui cinco literais enumeráveis com posições 0,1,2,3 e 4:

(Segunda, Terça, Quarta,Quinta,Sexta)

Isto e, o literal enumerável Segunda tem a posição 0, e Sexta tem a posição 4.

Veja um exemplo mais completo:
Subtype Dias is Integer range 1 .. 31;
Type Tipos_De_Despesas
Is (Alimentacao, Transporte, Moradia);
Os dois tipos supracitados nos permitem declarar uma matriz de forma mais robusta, e ao menos tempo, explicativa:

Despesas: array(Dias, Tipos_De_Despesas) of Float;