Run.1-G
type node
val n : int
val index : node -> int
val successors : ( node -> unit ) -> node -> unit
val iter : ( node -> unit ) -> unit