Strongly_connected_components
Kosaraju's algorithm for strongly connected components.
Warning: this module is unstable and part of compiler-libs.
module type S = sig ... end
module Make : functor (Id : Identifiable.S) -> S with module Id := Id