SEQUENCE
ContrainteOption OF
NomDUnType
SEQUENCE
permet de spécifier que le type correspondant à une liste d'objets respectant un certain ordre.
Cela correspond à l'instruction Liste
en Up ! 5GL.
La contrainte exprimée entre les mots-clé SEQUENCE
et OF
porte sur le type liste alors que la contrainte qui suit le type d'éléments de la liste porte sur ce dernier.
-- Definition d'une liste d'entiers.
MonType ::= SEQUENCE OF INTEGER