This module provides operations on the type int of
integers. Values of this type may be either 31 bits on 32-bit
processors or 63 bits on 64-bit processors. All arithmetic
operations over int are taken modulo 2number of bits.

modulo a b computes the remainder of the integer
division of a by b. This is defined only if b <> 0.

The result of modulo a b is a number m between
0 and abs ( b - 1 ) if a >= 0 or between ~- ( abs ( b - 1 ) )
if a < 0 and such that a * k + (abs b) = m,
for some k.

val pow : int -> int -> int

pow a b computes ab

val ( ** ) : int -> int -> int

a ** b computes ab

val (<>) : int -> int -> bool

val (>) : int -> int -> bool

val (<) : int -> int -> bool

val (>=) : int -> int -> bool

val (<=) : int -> int -> bool

val (=) : int -> int -> bool

val min_num : int

The greatest representable integer, which is either 230-1 or 262-1.

val max_num : int

The smallest representable integer, -230 or 262.

val succ : int -> int

Successor. Int.succ x is Int.add x Int.one.

val pred : int -> int

Predecessor. Int.pred x is Int.sub x Int.one.

val abs : int -> int

Return the absolute value of its argument.

val of_float : float -> int

Convert the given floating-point number to integer integer,
discarding the fractional part (truncate towards 0).
The result of the conversion is undefined if, after truncation,
the number is outside the range [Int.min_int, Int.max_int].

val to_float : int -> float

Convert the given integer to a floating-point number.

val of_string : string -> int

Convert the given string to an integer
The string is read in decimal (by default) or in hexadecimal,
octal or binary if the string begins with 0x, 0o or 0b
respectively.
Raise Invalid_argument "int_of_string" if the given string is not
a valid representation of an integer, or if the integer represented
exceeds the range of integers representable in type int.

The comparison function for integers, with the same specification as
Pervasives.compare. Along with the type t, this function compare
allows the module Int to be passed as argument to the functors
Set.Make and Map.Make.