les types Somme
La déclaration
type foo = C | C1 of t1 | C2 of t2
introduit des
-
constructeurs de valeurs du type foo :
-
une constante
C : foo
- deux fonctions
-
C1 : t1 -> foo
- C2 : t2 -> foo
qui allouent de nouvelles valeurs du type foo
- motifs lexicaux de filtrage des valeurs de type foo :
-
un motif C qui filtre cette valeur,
- deux motifs C1 _ et C2 _ qui filtrent les autres.
qui n'allouent pas mais introduisent des noms