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