let translate_data_in_pred (do_data: 'a -> 'b d_term) (p: 'a d_pred) : 'b d_pred = let do_exp e = translate_data_in_term do_data e in let quantif_do_exp f_exp _ = f_exp in change_exp_in_pred do_exp quantif_do_exp p