Module Imperative.Digraph


module Digraph: sig  end
Imperative Directed Graphs

module Concrete: functor (V : Sig.COMPARABLE) -> sig  end
Imperative Directed Unlabeled Graphs
module Abstract: functor (V : sig  end) -> sig  end
Abstract Imperative Directed Unlabeled Graphs
module ConcreteLabeled: functor (V : Sig.COMPARABLE) ->
functor (E : Sig.ORDERED_TYPE_DFT) -> sig end
Imperative Directed Labeled Graphs
module AbstractLabeled: functor (V : sig  end) -> functor (E : Sig.ORDERED_TYPE_DFT) -> sig  end
Abstract Imperative Directed Labeled Graphs