module Nativeint: BatNativeinttypet =nativeint
An alias for the type of native integers.
val zero : nativeintThe native integer 0.
val one : nativeintThe native integer 1.
val minus_one : nativeintThe native integer -1.
val neg : nativeint -> nativeintUnary negation.
val add : nativeint -> nativeint -> nativeintAddition.
val sub : nativeint -> nativeint -> nativeintSubtraction.
val mul : nativeint -> nativeint -> nativeintMultiplication.
val div : nativeint -> nativeint -> nativeintInteger division.
Division_by_zero if the second
argument is zero. This division rounds the real quotient of
its arguments towards zero, as specified for Pervasives.(/).val unsigned_div : nativeint -> nativeint -> nativeintSame as BatNativeint.div, except that arguments and result are interpreted as unsigned native integers.
val rem : nativeint -> nativeint -> nativeintInteger remainder. If y is not zero, the result
of Nativeint.rem x y satisfies the following properties:
Nativeint.zero <= Nativeint.rem x y < Nativeint.abs 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.
val unsigned_rem : nativeint -> nativeint -> nativeintSame as BatNativeint.rem, except that arguments and result are interpreted as unsigned native integers.
val succ : nativeint -> nativeintSuccessor.
Nativeint.succ x is Nativeint.add x Nativeint.one.
val pred : nativeint -> nativeintPredecessor.
Nativeint.pred x is Nativeint.sub x Nativeint.one.
val abs : nativeint -> nativeintReturn the absolute value of its argument.
val size : intThe 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.
val max_int : nativeintThe greatest representable native integer, either 231 - 1 on a 32-bit platform, or 263 - 1 on a 64-bit platform.
val min_int : nativeintThe greatest representable native integer, either -231 on a 32-bit platform, or -263 on a 64-bit platform.
val logand : nativeint -> nativeint -> nativeintBitwise logical and.
val logor : nativeint -> nativeint -> nativeintBitwise logical or.
val logxor : nativeint -> nativeint -> nativeintBitwise logical exclusive or.
val lognot : nativeint -> nativeintBitwise logical negation
val shift_left : nativeint -> int -> nativeintNativeint.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.
val shift_right : nativeint -> int -> nativeintNativeint.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.
val shift_right_logical : nativeint -> int -> nativeintNativeint.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.
val (--) : t -> t -> t BatEnum.tEnumerate an interval.
5n -- 10n is the enumeration 5n,6n,7n,8n,9n,10n.
10n -- 5n is the empty enumeration
val (---) : t -> t -> t BatEnum.tEnumerate an interval.
5n -- 10n is the enumeration 5n,6n,7n,8n,9n,10n.
10n -- 5n is the enumeration 10n,9n,8n,7n,6n,5n.
val of_int : int -> nativeintConvert the given integer (type int) to a native integer
(type nativeint).
val to_int : nativeint -> intConvert the given native integer (type nativeint) to an
integer (type int). The high-order bit is lost during
the conversion.
val unsigned_to_int : nativeint -> int optionSame as BatNativeint.to_int, but interprets the argument as an unsigned integer.
Returns None if the unsigned value of the argument cannot fit into an
int.
val of_float : float -> nativeintConvert 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].
val to_float : nativeint -> floatConvert the given native integer to a floating-point number.
val of_int32 : int32 -> nativeintConvert the given 32-bit integer (type int32)
to a native integer.
val to_int32 : nativeint -> int32Convert the given native integer to a
32-bit integer (type int32). On 64-bit platforms,
the 64-bit native integer is taken modulo 232,
i.e. the top 32 bits are lost. On 32-bit platforms,
the conversion is exact.
val of_int64 : int64 -> nativeintConvert the given 64-bit integer (type int64)
to a native integer. On 32-bit platforms, the top
32 bits are lost.
val to_int64 : nativeint -> int64Convert the given native integer to a
64-bit integer (type int64).
val of_string : string -> nativeintConvert 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.
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 nativeint.val of_string_opt : string -> nativeint optionSame as of_string, but return None instead of raising.
val to_string : nativeint -> stringReturn the string representation of its argument, in decimal.
val compare : t -> t -> intThe comparison function for native integers, with the same specification as
Pervasives.compare. Along with the type t, this function compare
allows the module Nativeint to be passed as argument to the functors
Set.Make and Map.Make.
val min : t -> t -> tReturn the smaller of the two.
val max : t -> t -> tReturn the greater of the two.
val unsigned_compare : t -> t -> intSame as BatNativeint.compare, except that arguments are interpreted as unsigned
native integers.
val equal : t -> t -> boolEquality function for 64-bit integers, useful for HashedType.
val ord : t -> t -> BatOrd.order
val modulo : nativeint -> nativeint -> nativeint
val pow : nativeint -> nativeint -> nativeint
val min_num : bounded
val max_num : bounded
val (+) : t -> t -> t
val (-) : t -> t -> t
val ( * ) : t -> t -> t
val (/) : t -> t -> t
val ( ** ) : t -> t -> t
val operations : t BatNumber.numeric
include BatNumber.Bounded
module Infix:BatNumber.Infixwith type bat__infix_t = t
module Compare:BatNumber.Comparewith type bat__compare_t = t
val print : (t, 'a) BatIO.printer