Module type Containers_scc.S

module A : ARG
val scc : A.t -> A.node list -> A.node list list