let
pointer_type pt =
Fol
.
PTexternal
([pt] ,
"pointer"
)