let
env_pre_f ~init = {
e_cur =
Here
;
e_pre = init; e_here = init;
e_post =
None
; e_old =
None
;
}