let
valid_pointer x =
Fol
.
Papp
(
"valid_pointer"
, [x])