Scc.ARG
type t
type node
val children : t -> node -> node Iter.t
module Node_tbl : Hashtbl.S with type key = node