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