Types somme IV
Les motifs
M
sont définis ainsi:
M
::=
C
|
C
M
| (
M
,...,
M
)
|
true
|
false
|
i
|
x
|
_
où:
C
est un constructeur de type
i
désigne un entier
x
, une variable
