Make.2-Tree
type t
module V : sig ... end
module E : Sig.EDGE with type vertex = V.t with type label = unit
Edges are ORDERED_TYPE.
ORDERED_TYPE
val create : ?size:int -> unit -> t
val add_vertex : t -> V.t -> unit
val add_edge_e : t -> E.t -> unit