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