Module Make.Digraph

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