Модуль Int

Тип для целочисленных значений.

zero — это целое число 0.

one — это целое число 1.

minus_one — это целое число -1.

neg x — это ~-x.

add x y — это сложение x + y.

sub x y — это вычитание x - y.

mul x y — это умножение x * y.

div x y — это деление x / y. Подробности см. в (/).

rem x y — это остаток от деления x mod y. Подробности см. в (mod).

succ x — это add x 1.

pred x — это sub x 1.

abs x — это абсолютное значение x. То есть x если x положительно и neg x если x отрицательно. Предупреждение. Может быть отрицательным, если аргумент равен Int.min_int.

max_int — это наибольшее представимое целое число, 2{^[Sys.int_size - 1]} - 1.

min_int — это наименьшее представимое целое число, -2{^[Sys.int_size - 1]}.

logand x y — это побитовая логическая конъюнкция x и y.

logor x y — это побитовая логическая дизъюнкция x и y.

logxor x y — это побитовая логическая исключающая дизъюнкция x и y.

lognot x — это побитовое логическое отрицание x.

shift_left x n сдвигает x влево на n бит. Результат неопределен, если n < 0 или n > Sys.int_size.

shift_right x n сдвигает x вправо на n бит. Это арифметический сдвиг: бит знака x дублируется и вставляется в освободившиеся биты. Результат неопределен, если n < 0 или n > Sys.int_size.

shift_right x n сдвигает x вправо на n бит. Это логический сдвиг: нули вставляются в освободившиеся биты независимо от знака x. Результат неопределен, если n < 0 или n > Sys.int_size.

equal x y равно true тогда и только тогда, когда x = y.

compare x y — это compare x y, но более эффективно.

Возвращает меньшее из двух аргументов.

Возвращает большее из двух аргументов.

to_float x — это x как число с плавающей точкой.

of_float x отбрасывает дробную часть x до целого числа. Результат неопределён, если аргумент равен nan или выходит за пределы диапазона представимых целых чисел.

to_string x — это строковое представление x в десятичной системе.