Module Const.Real

A module for real constant symbols that occur in terms.

val real : string -> t

Real literals.

val minus : t

Real unary minus/negation.

val add : t

Real addition.

val sub : t

Real subtraction.

val mul : t

Real multiplication.

val pow : t

Real exponentiation.

val div : t

Real division.

val div_e : t

Real euclidian division quotient.

val div_t : t

Truncation of the real division.

val div_f : t

Floor of the real divison.

val rem_e : t

Real euclidian division remainder.

val rem_t : t

Remainder of the real division.

val rem_f : t

Floor of the real division.

val lt : t

Real "less than" comparison.

val le : t

Real "less or equal" comparison.

val gt : t

Real "greater than" comparison.

val ge : t

Real "greater or equal" comparison.

val floor : t

Real floor function.

val floor_to_int : t

Real floor to integer function.

val ceiling : t

Real ceiling function.

val truncate : t

Real truncation function.

val round : t

Real rounding function.

val is_int : t

Integer testing.

val is_rat : t

Rationality testing.