let
tau_of_loc =
Formula
.
ADT
(
"pointer"
,[])