sig
  val truth : Symbol.t
  val falsity : Symbol.t
  val equality : Symbol.t
  val negation : Symbol.t
  val disjunction : Symbol.t
  val conjunction : Symbol.t
  val difference : Symbol.t
  val equivalence : Symbol.t
  val implication : Symbol.t
  val conditional : Symbol.t
  val ite : Symbol.t
  val k : Symbol.t
  val update : Symbol.t
  val mk_array : Symbol.t
  val select : Symbol.t
  val store : Symbol.t
  val less : Symbol.t
  val less_or_equal : Symbol.t
  val greater : Symbol.t
  val greater_or_equal : Symbol.t
  val unary_minus : Symbol.t
  val plus : Symbol.t
  val minus : Symbol.t
  val times : Symbol.t
  val divide : Symbol.t
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.