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