28
type 'a tree = 'a * 'a t (** a tree is a root with the forest of its childs *)
29
type 'a leaf = 'a (** a leaf is a tree without childs *)
28
type 'a tree = 'a * 'a t (** a tree is a root with the forest of its children *)
29
type 'a leaf = 'a (** a leaf is a tree without children *)