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