Make.G
type t = M.key
val foreach_root : (t -> unit) -> unit
val foreach_successor : t -> (t -> unit) -> unit