Module WeakTopological.Make

Parameters

module G : G

Signature

val recursive_scc : G.t -> G.V.t -> G.V.t t