Functor Components.Make


module Make: functor (G : G) -> sig  end
Parameters:
G : Components.G

val scc : Components.G.t -> G.V.t -> int
scc g computes the strongly connected components of g. The result is a function f such that f u = f v if and only if u and v are in the same component. Beware: to be used efficiently, scc must be applied to a single argument (the graph).