let
update ~(at:mem) ~(here:mem) p =
L
.subst at.x_store here.store
(
L
.subst at.x_alloc here.alloc p)