Tenho um tipotree definido da seguinte forma

type 'a tree = Leaf of 'a | Node of 'a * 'a tree * 'a tree ;;

Tenho uma função para encontrar a profundidade da árvore da seguinte forma

let rec depth = function 
    | Leaf x -> 0
    | Node(_,left,right) -> 1 + (max (depth left) (depth right))
;;

Esta função não é recursiva da cauda. Existe uma maneira de escrever essa função de maneira recursiva de caud