Exp
Exp
Exp
.Exp
.Exp
Le rôle de ce type est d'avoir à disposition un noeud indéfini pour le pattern matching dans
les opérations de simplification.Exp
Exp cible
et modele
pour déterminer si les deux arbres sont
identiques (ou équivalents).Exp
Exp
Exp
Exp
.Exp
.Exp
Exp
left
et right
.Exp
Exp