Fix.GRAPH
type t
val foreach_root : (t -> unit) -> unit
val foreach_successor : t -> (t -> unit) -> unit