Miroir d'un arbre

let rec miroir a =
  match a with
  | Vide -> Vide
  | Noeud (g, x, d) -> Noeud (miroir d, x, miroir g)

Le miroir de l'arbre vide est vide ; sinon on garde l'étiquette et on échange les deux sous-arbres après les avoir eux-mêmes mis en miroir. La fonction renvoie un nouvel arbre, sans modifier l'original (les valeurs sont immuables).