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