type 'a tree    = Leaf of 'a leaf_t
                | Node of 'a node_t
and  'a node_t = { elem : 'a; left: 'a tree; right: 'a tree }
and  'a leaf_t = { elem : 'a } ;;