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