Make.1-G
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