let
ptr (p:
D1
.pointer) :
D1
.pointer =
D1
.e_app1
"ptr"
p