Make.Digraphmodule ConcreteBidirectional (V : sig ... end) : sig ... endmodule ConcreteLabeled (V : sig ... end) (Edge : sig ... end) : sig ... endmodule ConcreteBidirectionalLabeled
(V : sig ... end)
(Edge : sig ... end) :
sig ... endmodule AbstractLabeled (V : sig ... end) (E : sig ... end) : sig ... end