Module S.Tree

type t
module V : sig ... end
module E : Sig.EDGE with type vertex = V.t with type label = unit

Edges are ORDERED_TYPE.

val create : ?size:int -> unit -> t
val add_vertex : t -> V.t -> unit
val add_edge_e : t -> E.t -> unit