Module Expr_intf.S.Term

module Term: sig .. end

McSat Terms

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 Expr_intf.S.equal have the same hash.

val print : Format.formatter -> t -> unit

Printing function used among other for debugging.