au niveau du prédicat p prenant deux entiers en paramètres et renvoyant un bool , je voudrais savoir quel est le prédicat utilisé car j'arrive pas à récupèrer la hauteur des sous arbres à gauche et à droite ;
voici le code que j'ai :
let p t1 t2 =
let rec t = match t with
|Empty -> false
|Bin(r,Empty,d)->false
|Bin(r,g,Empty)->false
|Bin(r,g,d)->
let t1 = btree_height g in
let t2 = btree_height d in
t1=t2 ;;
on me renvoi syntax error