sig
  type res =
      Ty of Libzipperposition.Ind_ty.t
    | Cstor of Libzipperposition.Ind_ty.constructor *
        Libzipperposition.Ind_ty.t
    | Inductive_cst of Ind_cst.cst option
    | Projector of Libzipperposition.ID.t
    | DefinedCst of int
    | Other
  val classify : Libzipperposition.ID.t -> Classify_cst.res
  val prec_constr : [ `partial ] Libzipperposition.Precedence.Constr.t
end