type 'a node = Leaf of 'a  | Node of {
  element: 'a;
  left: 'a node; (* left sub-tree *)
  right: 'a node; (* right sub-tree *)
};;

type 'a tree = {size: int; tree: 'a node};;

type 'a t = 'a tree list;;