Make.Digraph
module ConcreteBidirectional (V : sig ... end) : sig ... end
module ConcreteLabeled (V : sig ... end) (Edge : sig ... end) : sig ... end
module ConcreteBidirectionalLabeled
(V : sig ... end)
(Edge : sig ... end) :
sig ... end
module AbstractLabeled (V : sig ... end) (E : sig ... end) : sig ... end