let mk_shift_pointer p _ty i = Wp_parameters.debug ~level:3 "[M2.mk_shift_pointer] shift (%a, %a)@." pp_exp2 p pp_exp2 i; Fol.Tdata (E2shift (p, i))