Module Term.Abbrev

module Abbrev: sig .. end

val ?%@ : int -> Term.t
Prefix operator to create an numeral
val (!@) : Term.t -> Term.t
Prefix operator to create an Boolean negation
val (=>@) : Term.t -> Term.t -> Term.t
Infix operator to create a Boolean implication
val (&@) : Term.t -> Term.t -> Term.t
Infix operator to create a Boolean conjunction
val (|@) : Term.t -> Term.t -> Term.t
Infix operator to create a Boolean disjunction
val (=@) : Term.t -> Term.t -> Term.t
Infix operator to create an equality
val (~@) : Term.t -> Term.t
Prefix operator to create an integer or real negation
val (-@) : Term.t -> Term.t -> Term.t
Infix operator to create an integer or real difference
val (+@) : Term.t -> Term.t -> Term.t
Infix operator to create an integer or real sum
val ( *@ ) : Term.t -> Term.t -> Term.t
Infix operator to create an integer or real product
val (//@) : Term.t -> Term.t -> Term.t
Infix operator to create a real quotient
val (/%@) : Term.t -> Term.t -> Term.t
Infix operator to create an integer quotient
val (<=@) : Term.t -> Term.t -> Term.t
Infix operator to create a less-or-equal predicate
val (<@) : Term.t -> Term.t -> Term.t
Infix operator to create a less-than predicate
val (>=@) : Term.t -> Term.t -> Term.t
Infix operator to create a greater-or-equal predicate
val (>@) : Term.t -> Term.t -> Term.t
Infix operator to create a greater-than predicate