let translate_data_in_term (do_data:'a -> 'b d_term) (exp:'a d_term) : 'b d_term = change_in_exp (fun _v -> None) do_data exp