Parameter Run.G

type node
val n : int
val index : node -> int
val successors : (node -> unit) -> node -> unit
val iter : (node -> unit) -> unit