State_topological.G
Minimal graph signature to provide. Sub-signature of Sig.G.
Sig
type t
val iter_vertex : ( State.t -> unit ) -> t -> unit
val iter_succ : ( State.t -> unit ) -> t -> State.t -> unit
val in_degree : t -> State.t -> int