let
generic_pointer_type () = pointer_type (
Fol
.
PTvar
"a"
)