let env_post_f ~pre ~post = { e_cur = Here; e_pre = pre; e_old = Some pre; e_post = Some post; e_here = post; }