sig   type t   val iter_vertex : (State.t -> unit) -> State_topological.G.t -> unit   val iter_succ :     (State.t -> unit) -> State_topological.G.t -> State.t -> unit   val in_degree : State_topological.G.t -> State.t -> int end