sig
type t = Cover_set.case
val equal : Cover_set.Case.t -> Cover_set.Case.t -> bool
val compare : Cover_set.Case.t -> Cover_set.Case.t -> int
val hash : Cover_set.Case.t -> int
val pp : Cover_set.Case.t CCFormat.printer
val is_rec : Cover_set.Case.t -> bool
val is_base : Cover_set.Case.t -> bool
val to_term : Cover_set.Case.t -> Cover_set.term
val to_lit : Cover_set.Case.t -> Logtk.Literal.t
val same_cst : Cover_set.Case.t -> Cover_set.Case.t -> bool
val sub_constants : Cover_set.Case.t -> Cover_set.cst list
val skolems : Cover_set.Case.t -> (Logtk.ID.t * Logtk.Type.t) list
end