let
access ty addr =
Why_ops
.
M3
.mem_access (
Lazy
.force cur_mem) (
Fol
.
Tdata
(
E3type
ty)) addr