Module Imperative.Digraph


module Digraph: sig .. end
Imperative Directed Graphs.

include Imperative.S
module ConcreteBidirectional: 
functor (V : Sig.COMPARABLE) -> Sig.I with type V.t = V.t and type V.label = V.t and type E.t = V.t * V.t and type E.label = unit
Imperative Unlabeled, bidirectional graph (gives predecessors in constant time).