Module Make_cdcl_t.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.

val pp : t Msat.Solver_intf.printer

Printing function used among other for debugging.