let
sub_pointer p1 p2 =
Fol
.
Tapp
(
"sub_ptr"
, [p1; p2])