let
iter_succ f
(*g*)
id =
Iset
.iter f (get_local_depends id)