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