let
fold_succ_e f g = fold_e_one_dir f g.d_graph