Module `Graph.Components`

Strongly connected components.

module type G = sig ... end: Minimal graph signature required by Make. Sub-signature of Sig.G.

module Make : functor (G : G) -> sig ... end: Functor providing functions to compute strongly connected components of a graph.

module type U = sig ... end

module Undirected : functor (G : U) -> sig ... end