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 (Id : Identifiable.S) : S with module Id := Id