Make_mcsat.Term
type t
The type of terms
val equal : t -> t -> bool
Equality over terms.
val hash : t -> int
Hashing function for terms. Should be such that two terms equal according to equal have the same hash.
equal
val pp : t Msat.Solver_intf.printer
Printing function used among other for debugging.