type arbre_binaire =

Noeud of int * arbre_binaire option * arbre_binaire option

let rec existe x a : int -> arbre_binaire -> bool

match arbre with
| Fin -> false
| Noeud(elt, gauche, droite) ->
if x = elt then
true
else if x < elt then
existe x gauche
else
existe x droite