Module Strongly_connected_components

module Strongly_connected_components: sig .. end

Kosaraju's algorithm for strongly connected components.

module type S = sig .. end

module Make:

functor (Id : Identifiable.S) -> S with module Id := Id