functor (G : G) ->
  sig
    val fold : (G.V.t -> 'a -> 'a) -> Topological.G.t -> 'a -> 'a
    val iter : (G.V.t -> unit) -> Topological.G.t -> unit
  end