module Nativeint = struct ... end
Functions |
neg
: nativeint -> nativeint |
add
: nativeint -> nativeint -> nativeint |
sub
: nativeint -> nativeint -> nativeint |
mul
: nativeint -> nativeint -> nativeint |
div
: nativeint -> nativeint -> nativeint |
Division_by_zero
if the second
argument is zero.
rem
: nativeint -> nativeint -> nativeint |
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 |
Nativeint.succ x
is Nativeint.add x Nativeint.one
.
pred
: nativeint -> nativeint |
Nativeint.pred x
is Nativeint.sub x Nativeint.one
.
abs
: nativeint -> nativeint |
logand
: nativeint -> nativeint -> nativeint |
logor
: nativeint -> nativeint -> nativeint |
logxor
: nativeint -> nativeint -> nativeint |
lognot
: nativeint -> nativeint |
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 |
int
) to a native integer
(type nativeint
).
to_int
: nativeint -> int |
nativeint
) to an
integer (type int
). The high-order bit is lost during
the conversion.
of_float
: float -> nativeint |
Nativeint.min_int, Nativeint.max_int
.
to_float
: nativeint -> float |
of_int32
: int32 -> nativeint |
int32
)
to a native integer.
to_int32
: nativeint -> int32 |
of_string
: string -> nativeint |
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 |
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,