Make.Digraphmodule Concrete (V : Sig.COMPARABLE) : sig ... endmodule ConcreteBidirectional (V : Sig.COMPARABLE) : sig ... endmodule ConcreteLabeled (V : Sig.COMPARABLE) (Edge : Sig.ORDERED_TYPE_DFT) : sig ... endmodule ConcreteBidirectionalLabeled (V : Sig.COMPARABLE) (Edge : Sig.ORDERED_TYPE_DFT) : sig ... endmodule Abstract (V : Sig.VERTEX) : sig ... endmodule AbstractLabeled (V : Sig.VERTEX) (E : Sig.ORDERED_TYPE_DFT) : sig ... end