Digraph (ocamlgraph.Graph.Imperative.Digraph)

module Concrete : functor (V : Sig.COMPARABLE) -> sig ... end

module Abstract : functor (V : Sig.ANY_TYPE) -> sig ... end

module ConcreteLabeled : functor (V : Sig.COMPARABLE) -> functor (E : Sig.ORDERED_TYPE_DFT) -> sig ... end

module AbstractLabeled : functor (V : Sig.ANY_TYPE) -> functor (E : Sig.ORDERED_TYPE_DFT) -> sig ... end

module ConcreteBidirectional : functor (V : Sig.COMPARABLE) -> sig ... end

module ConcreteBidirectionalLabeled : functor (V : Sig.COMPARABLE) -> functor (E : Sig.ORDERED_TYPE_DFT) -> sig ... end