sig
type res =
Ty of Logtk.Ind_ty.t
| Cstor of Logtk.Ind_ty.constructor * Logtk.Ind_ty.t
| Inductive_cst of Ind_cst.t option
| Projector of Logtk.ID.t
| DefinedCst of int * Logtk.Statement.definition
| Parameter of int
| Skolem
| Other
val classify : Logtk.ID.t -> Classify_cst.res
val id_is_cstor : Logtk.ID.t -> bool
val id_is_projector : Logtk.ID.t -> bool
val id_is_defined : Logtk.ID.t -> bool
val pp_res : Classify_cst.res CCFormat.printer
val pp_signature : Logtk.Signature.t CCFormat.printer
val prec_constr : [ `partial ] Logtk.Precedence.Constr.t
val weight_fun : Logtk.Precedence.weight_fun
end