let aux_iter_one_dir ?(rev=false) f v =
    To.iter (fun v' lbl -> f (if rev then (v', lbl, v) else (v, lbl, v' : E.t)))