let
mem_access m p =
Fol
.
Tapp
(
"acc"
, [m; p])