Integer values.

Integers areSys.int_size bits wide and use two's complement representation. All operations are taken modulo 2^Sys.int_size. They do not fail on overflow.

The type for integer values.

zero is the integer0.

one is the integer1.

minus_one is the integer-1.

neg x is~-x.

add x y is the additionx + y.

sub x y is the subtractionx - y.

mul x y is the multiplicationx * y.

div x y is the divisionx / y. See(/) for details.

rem x y is the remainderx mod y. See(mod) for details.

succ x isadd x 1.

pred x issub x 1.

abs x is the absolute value ofx. That isx ifx is positive andneg x ifx is negative.Warning. This may be negative if the argument isInt.min_int.

max_int is the greatest representable integer,2Sys.int_size - 1-1.

min_int is the smallest representable integer,-2Sys.int_size - 1.

logand x y is the bitwise logical and ofx andy.

logor x y is the bitwise logical or ofx andy.

logxor x y is the bitwise logical exclusive or ofx andy.

lognot x is the bitwise logical negation ofx.

shift_left x n shiftsx to the left byn bits. The result is unspecified ifn < 0 orn > Sys.int_size.

shift_right x n shiftsx to the right byn bits. This is an arithmetic shift: the sign bit ofx is replicated and inserted in the vacated bits. The result is unspecified ifn < 0 orn > Sys.int_size.

shift_right x n shiftsx to the right byn bits. This is a logical shift: zeroes are inserted in the vacated bits regardless of the sign ofx. The result is unspecified ifn < 0 orn > Sys.int_size.

equal x y istrue if and only ifx = y.

compare x y iscompare x y but more efficient.

Return the smaller of the two arguments.

Return the greater of the two arguments.

to_float x isx as a floating point number.

of_float x truncatesx to an integer. The result is unspecified if the argument isnan or falls outside the range of representable integers.

to_string x is the written representation ofx in decimal.

A seeded hash function for ints, with the same output value asHashtbl.seeded_hash. This function allows this module to be passed as argument to the functorHashtbl.MakeSeeded.

An unseeded hash function for ints, with the same output value asHashtbl.hash. This function allows this module to be passed as argument to the functorHashtbl.Make.