Imandrakit.Scc
Strongly connected components.
module type ARG = sig ... end
module type S = sig ... end
module Make (A : ARG) : S with module A = A