let
fold_succ f g = fold_one_dir f g.d_graph