sig
  val truth : Term.term
  val falsity : Term.term
  val negation : Term.term
  val conjunction : Term.term
  val disjunction : Term.term
  val equivalence : Term.term
  val difference : Term.term
  val implication : Term.term
  val conditional : Term.term
  val k : Term.term
  val update : Term.term
  val mk_array : Term.term
  val select : Term.term
  val store : Term.term
  val unary_minus : Term.term
  val plus : Term.term
  val minus : Term.term
  val times : Term.term
  val divide : Term.term
  val less : Term.term
  val less_or_equal : Term.term
  val greater : Term.term
  val greater_or_equal : Term.term
  val equality : Term.term
  val ite : Term.term
  val is_boolean_constant : Term.term -> bool
  val is_logical_constant : Term.term -> bool
end

---

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