Module Nativeint


module Nativeint = struct ... end 
Simple values
zero nativeint
one nativeint
minus_one nativeint
The native integers 0, 1, -1.
size int
The size in bits of a native integer. This is equal to 32 on a 32-bit platform and to 64 on a 64-bit platform.
max_int nativeint
min_int nativeint

Functions

neg : nativeint -> nativeint
Unary negation.

add : nativeint -> nativeint -> nativeint
Addition.

sub : nativeint -> nativeint -> nativeint
Subtraction.

mul : nativeint -> nativeint -> nativeint
Multiplication.

div : nativeint -> nativeint -> nativeint
Integer division. Raise Division_by_zero if the second argument is zero.

rem : nativeint -> nativeint -> nativeint
Integer remainder. If x >= 0 and y > 0, the result of Nativeint.rem x y satisfies the following properties: 0 <= Nativeint.rem x y < y and x = Nativeint.add (Nativeint.mul (Nativeint.div x y) y) (Nativeint.rem x y). If y = 0, Nativeint.rem x y raises Division_by_zero. If x < 0 or y < 0, the result of Nativeint.rem x y is not specified and depends on the platform.

succ : nativeint -> nativeint
Successor. Nativeint.succ x is Nativeint.add x Nativeint.one.

pred : nativeint -> nativeint
Predecessor. Nativeint.pred x is Nativeint.sub x Nativeint.one.

abs : nativeint -> nativeint
Return the absolute value of its argument.

logand : nativeint -> nativeint -> nativeint
Bitwise logical and.

logor : nativeint -> nativeint -> nativeint
Bitwise logical or.

logxor : nativeint -> nativeint -> nativeint
Bitwise logical exclusive or.

lognot : nativeint -> nativeint
Bitwise logical negation

shift_left : nativeint -> int -> nativeint
Nativeint.shift_left x y shifts x to the left by y bits. The result is unspecified if y < 0 or y >= bitsize, where bitsize is 32 on a 32-bit platform and 64 on a 64-bit platform.

shift_right : nativeint -> int -> nativeint
Nativeint.shift_right x y shifts x to the right by y bits. This is an arithmetic shift: the sign bit of x is replicated and inserted in the vacated bits. The result is unspecified if y < 0 or y >= bitsize.

shift_right_logical : nativeint -> int -> nativeint
Nativeint.shift_right_logical x y shifts x to the right by y bits. This is a logical shift: zeroes are inserted in the vacated bits regardless of the sign of x. The result is unspecified if y < 0 or y >= bitsize.

of_int : int -> nativeint
Convert the given integer (type int) to a native integer (type nativeint).

to_int : nativeint -> int
Convert the given native integer (type nativeint) to an integer (type int). The high-order bit is lost during the conversion.

of_float : float -> nativeint
Convert the given floating-point number to a native integer, discarding the fractional part (truncate towards 0). The result of the conversion is undefined if, after truncation, the number is outside the range Nativeint.min_int, Nativeint.max_int.

to_float : nativeint -> float
Convert the given native integer to a floating-point number.

of_int32 : int32 -> nativeint
Convert the given 32-bit integer (type int32) to a native integer.

to_int32 : nativeint -> int32

of_string : string -> nativeint
Convert the given string to a native 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 Failure "int_of_string" if the given string is not a valid representation of an integer.

to_string : nativeint -> string
Return the string representation of its argument, in decimal.

format : string -> nativeint -> string
Nativeint.format fmt n return the string representation of the native integer n in the format specified by fmt. fmt is a Printf-style format containing exactly one %d, %i, %u, %x, %X or %o conversion specification. See the documentation of the Printf module for more information,