let translate_pred_in_decl
(do_pred: 'p -> 'd d_pred)
(d: 'p Formula.declaration) :
('d d_pred) Formula.declaration =
{
Formula.d_section = d.Formula.d_section ;
Formula.d_name = d.Formula.d_name ;
Formula.d_title = d.Formula.d_title ;
Formula.d_descr = d.Formula.d_descr ;
Formula.d_source = d.Formula.d_source ;
Formula.d_item = translate_pred_in_item do_pred d.Formula.d_item ;
}