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