let part_of_item = function | Formula.Type _ -> 1 | Formula.Cons _ -> 2 | Formula.FunctionDef _ | Formula.PredicateDef _ | Formula.Function _ | Formula.Predicate _ -> 3 | Formula.Axiom _ -> 4 | Formula.Trecord _ -> 5