^
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.