Module Const.Int

A module for integer constant symbols that occur in terms.

val int : string -> t

Integer literals.

val minus : t

Integer unary minus/negation.

val add : t

Integer addition.

val sub : t

Integer subtraction.

val mul : t

Integer multiplication.

val pow : t

Integer exponentiation.

val div_e : t

Integer euclidian division quotient.

val div_t : t

Truncation of the integer division.

val div_f : t

Floor of the integer divison.

val rem_e : t

Integer euclidian division remainder.

val rem_t : t

Remainder of the integer division.

val rem_f : t

Floor of the integer division.

val abs : t

Integer absolute value.

val lt : t

Integer "less than" comparison.

val le : t

Integer "less or equal" comparison.

val gt : t

Integer "greater than" comparison.

val ge : t

Integer "greater or equal" comparison.

val floor : t

Integer floor function.

val ceiling : t

Integer ceiling function.

val truncate : t

Integer truncation function.

val round : t

Integer rounding function.

val is_int : t

Integer testing.

val is_rat : t

Rationality testing.

val divisible : t

Arithmetic divisibility testing.