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