Js_of_ocaml_compiler.Strongly_connected_components
Kosaraju's algorithm for strongly connected components.
module type S = sig ... end
module Make (Id : sig ... end) : S with module Id = Id