(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-11 00:12:27 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-13 18:46:18 CET by Kim Nguyen>
*)
(** Implementation of documents as binary trees *)
type t
(** The type of trees *)
+ val size : t -> int
+ (** Return the number of nodes *)
+
val nil : node
(** Nil node, denoting the first/second child of a leaf or the parent of
the root *)