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