package batteries

An alias for the type of integers.

The integer 0.

The integer 1.

The integer -1.

Unary negation.

Addition.

Addition.

Addition.

Subtraction.

Subtraction.

Subtraction.

Multiplication.

Multiplication.

Multiplication.

Integer division. This division rounds the real quotient of its arguments towards zero, as specified for Pervasives.(/).

• raises Division_by_zero

  if the second argument is zero.

Integer division. This division rounds the real quotient of its arguments towards zero, as specified for Pervasives.(/).

• raises Division_by_zero

  if the second argument is zero.

Integer division. This division rounds the real quotient of its arguments towards zero, as specified for Pervasives.(/).

• raises Division_by_zero

  if the second argument is zero.

Integer remainder. If y is not zero, the result of Int.rem x y satisfies the following property: x = Int.add (Int.mul (Int.div x y) y) (Int.rem x y).

• raises Division_by_zero

  if the second argument is zero.

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.

pow a b computes a^b.

• raises Invalid_argument

  when b is negative.

pow a b computes a^b.

• raises Invalid_argument

  when b is negative.

a ** b computes a^b

The smallest representable integer, -2³⁰ or -2⁶².

The greatest representable integer, which is either 2³⁰-1 or 2⁶²-1.

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

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

Return the absolute value of its argument, except when the argument is min_num. In that case, abs min_num = min_num.

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].

Convert the given integer to a floating-point number.

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.

• raises Failure

  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.

Return the string representation of its argument, in signed decimal.

The minimum of two integers. Faster than the polymorphic min from the standard library.

The maximum of two integers. Faster than the polymorphic min from the standard library.

Midpoint function; mid a b returns floor((a+b)/2), but done correctly to compensate for numeric overflows. The result is an integer that lies between a and b and is as equidistant from both as possible.

Returns the number of 1 bits set in the binary representation of the number. Maybe has problems with negative numbers

copysign n o multiplies o by the "sign" of n, i.e. it returns either:

• 0 if n=0
• o if n>0
• -o if n<0

• since 2.3.0

Enumerate an interval.

5 -- 10 is the enumeration 5,6,7,8,9,10. 10 -- 5 is the empty enumeration

Enumerate an interval.

5 --- 10 is the enumeration 5,6,7,8,9,10. 10 --- 5 is the enumeration 10,9,8,7,6,5.

prints as decimal string

prints as hex string

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.

Equality function for integers, useful for HashedType.

Safe operations on integers.