Module `Const.Rat`

A module for rational constant symbols that occur in terms.

val rat : string -> t

Rational literals

val minus : t

Rational unary minus/negation.

val add : t

Rational addition.

val sub : t

Rational subtraction.

val mul : t

Rational multiplication.

val div_e : t

Rational euclidian division quotient.

val div_t : t

Truncation of the rational division.

val div_f : t

Floor of the rational divison.

val rem_e : t

Euclidian division remainder.

val rem_t : t

Remainder of the rational division.

val rem_f : t

Floor of the rational division.

val lt : t

Rational "less than" comparison.

val le : t

Rational "less or equal" comparison.

val gt : t

Rational "greater than" comparison.

val ge : t

Rational "greater or equal" comparison.

val floor : t

Rational floor function.

val ceiling : t

Rational ceiling function.

val truncate : t

Rational truncation function.

val round : t

Rational rounding function.

val is_int : t

Integer testing.

val is_rat : t

Rationality testing.