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