Module type Scc.S

module A : ARG
val sccs : graph:A.t -> nodes:A.node list -> A.node list A.Node_tbl.t