Type Interval
Les types Interval sont utilisés pour restreindre la plage de valeurs autorisée des variables. A cet effet, les limites inférieure et supérieure admissibles sont simplement spécifiées, la limite supérieure, bien entendu, ne pouvant être inférieure à la limite inférieure. Les deux limites doivent avoir le même type de données, qui doit être un type dit ordinal (entier). Ces types sont Entier, Énuméré et les types prédéfinis char et booléen Voici quelques exemples:
type
Index = 1 .. 10;
Minuscule = 'a' .. 'z';
Couleur = Rouge .. Jaune;
onlyFalse = false .. false; {assez inutile, mais légal }