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