let
fold_succ f env n = fold_succ (
fun
v env
->
f env v) env.graph n env