let translate_pred_in_item
    (do_pred: '-> 'd d_pred)
    (d: 'Formula.item) :
    ('d d_pred) Formula.item =
  match d with
    | Formula.Name k -> Formula.Name k
    | Formula.Cons k -> Formula.Cons k
    | Formula.Type n -> Formula.Type n
    | Formula.Function (tl, t) -> Formula.Function (tl, t)
    | Formula.Predicate tl -> Formula.Predicate tl
    | Formula.Axiom p -> Formula.Axiom (do_pred p)