Module Oug_tarjan


module Oug_tarjan: sig .. end
Implementation of Tarjan's algorithm to get Strongly connected components.
See also the algorithmed used.

module Partition: Set.S  with type elt = Oug_types.Elt_set.t
val tarjan : Oug_mod.t -> Partition.t