^

Opérateur. Intersection.

Syntaxe

^

Description

L'opérateur ^ est équivalent à l'instruction INTERSECTION.

Exemple

-- 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) ^ (2|4))

Voir aussi

::=, @, |, <, ., .., ..., :, !, &, {}, [], [[]] pour connaître des autres opérateurs.