Module Imandrakit.Scc

Strongly connected components.

module type ARG = sig ... end
module type S = sig ... end
module Make (A : ARG) : S with module A = A