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