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