sig
  type t = private Reasoner.term
  val pp : t CCFormat.printer
  val to_string : t -> string
  val equal : t -> t -> bool
  val hash_fun : t -> CCHash.state -> CCHash.state
  val hash : t -> int
  val compare : t -> t -> int
  val __magic : Encoding.hoterm -> Encoding.EncodedClause.t
end