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