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