functor (G : G) -> sig val recursive_scc : WeakTopological.G.t -> G.V.t -> G.V.t WeakTopological.t end