Containers_scc (containers.Containers

type 'a iter = ( 'a -> unit ) -> unit

module type ARG = sig ... end

module type S = sig ... end

module Make (A : ARG) : S with module A = A

val scc : 
  tbl:(module Stdlib.Hashtbl.S with type key = 'node) ->
  graph:'graph ->
  children:( 'graph -> 'node -> 'node iter ) ->
  nodes:'node list ->
  unit ->
  'node list list