module Tarjan

: sig

module Run : functor (G : sig

type node

val n : int

val index : node -> int

val successors : (node -> unit) -> node -> unit

val iter : (node -> unit) -> unit

end

) -> sig

val representative : G.node -> G.node

val scc : G.node -> G.node list

val iter : (G.node -> G.node list -> unit) -> unit

end