variants polymorphes et sous-typage

−
−
I
I
∗ ∗
−
−
−
−

I
I
I
I
I
I
< >
I
I
I
−
−

I
I
∈ ∧ ∈
I
∈ ∧ ∈ ∈
I
I
∗ ∗
−
−
∗ ∗
−
−
I
I
∀x∈:x=∨x=
− −
− −
− −

I<
I>−
I>
<
I
I
I
− −
−
− −
−
−
∗ ∗
∗ ∗
∗ ∗
− −
−

I
v
w v
w
Iv w
v w
I
∗
∗
∗
∗ − ∗
Ic
g
It c
g t
It t t
c g
t