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