Prépa Code Connexion Inscription

Écrire une fonction récursive recherche_abr : 'a arbre -> 'a -> bool qui renvoie true si la valeur est présente dans un arbre binaire de recherche (ABR), false sinon.

Dans un ABR, pour chaque nœud de valeur v : toutes les valeurs du sous-arbre gauche sont strictement inférieures à v, et toutes celles du sous-arbre droit sont supérieures ou égales à v. Exploitez cette propriété pour une recherche efficace.