package msat

  1. Overview
  2. Docs
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.

Printing function used among other for debugging.


Innovation. Community. Security.