sig
  type graph
  and node
  val iter_nodes :
    (Avl_tarjan.GRAPH.node -> unit) -> Avl_tarjan.GRAPH.graph -> unit
  val iter_successors :
    (Avl_tarjan.GRAPH.node -> unit) -> Avl_tarjan.GRAPH.node -> unit
  val get : Avl_tarjan.GRAPH.node -> int
  val set : Avl_tarjan.GRAPH.node -> int -> unit
end