let mk_access_pointer term ty = access ty term