-- Definition d'un type entier comprenant toutes les nombres 1,2,3,4,5 en intersection avec a 2,4.
MonType ::= INTEGER ((1|2|3|4|5) INTERSECTION (2|4))
Voir aussi
EXCEPT pour faire la soustraction de deux ensembles de valeurs.
UNION pour faire l'union de deux ensembles de valeurs.