let translate_pred_in_decl
    (do_pred: '-> 'd d_pred)
    (d: '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 ;
  }