let translate_pred_in_item
(do_pred: 'p -> 'd d_pred)
(d: 'p 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)