module Nativeint: Nativeintval zero : nativeint本地整数 0。
val one : nativeint本地整数 1。
val minus_one : nativeint本地整数 -1。
val neg : nativeint -> nativeint一元取反。
val add : nativeint -> nativeint -> nativeint加法。
val sub : nativeint -> nativeint -> nativeint减法。
val mul : nativeint -> nativeint -> nativeint乘法。
val div : nativeint -> nativeint -> nativeint整数除法。此除法将参数的真实商四舍五入为零，如 (/) 所指定。
Division_by_zero 如果第二个参数为零。val unsigned_div : nativeint -> nativeint -> nativeint与 Nativeint.div 相同，只是参数和结果被解释为无符号本地整数。
val rem : nativeint -> nativeint -> nativeint整数余数。如果 y 不为零，则 Nativeint.rem x y 的结果满足以下属性：Nativeint.zero <= Nativeint.rem x y < Nativeint.abs y 以及 x = Nativeint.add (Nativeint.mul (Nativeint.div x y) y)。如果
(Nativeint.rem x y)y = 0，则 Nativeint.rem x y 会引发 Division_by_zero。
val unsigned_rem : nativeint -> nativeint -> nativeint与 Nativeint.rem 相同，只是参数和结果被解释为无符号本地整数。
val succ : nativeint -> nativeint后继。 Nativeint.succ x 是 Nativeint.add x Nativeint.one。
val pred : nativeint -> nativeint前驱。 Nativeint.pred x 是 Nativeint.sub x Nativeint.one。
val abs : nativeint -> nativeintabs x 是 x 的绝对值。在 min_int 上，这本身就是 min_int，因此仍然为负。
val size : int本地整数的位大小。在 32 位平台上等于 32，在 64 位平台上等于 64。
val max_int : nativeint最大的可表示本地整数，在 32 位平台上为 231 - 1，在 64 位平台上为 263 - 1。
val min_int : nativeint最小的可表示本地整数，在 32 位平台上为 -231，在 64 位平台上为 -263。
val logand : nativeint -> nativeint -> nativeint按位逻辑与。
val logor : nativeint -> nativeint -> nativeint按位逻辑或。
val logxor : nativeint -> nativeint -> nativeint按位逻辑异或。
val lognot : nativeint -> nativeint按位逻辑取反。
val shift_left : nativeint -> int -> nativeintNativeint.shift_left x y 将 x 左移 y 位。如果 y < 0 或 y >= bitsize，则结果未定义，其中 bitsize 在 32 位平台上为 32，在 64 位平台上为 64。
val shift_right : nativeint -> int -> nativeintNativeint.shift_right x y 将 x 右移 y 位。这是一个算术移位：x 的符号位被复制并插入到空位中。如果 y < 0 或 y >= bitsize，则结果未定义。
val shift_right_logical : nativeint -> int -> nativeintNativeint.shift_right_logical x y 将 x 右移 y 位。这是一个逻辑移位：无论 x 的符号如何，零都会插入到空位中。如果 y < 0 或 y >= bitsize，则结果未定义。
val of_int : int -> nativeint将给定的整数（类型 int）转换为本地整数（类型 nativeint）。
val to_int : nativeint -> int将给定的本地整数（类型 nativeint）转换为整数（类型 int）。在转换过程中会丢失高位。
val unsigned_to_int : nativeint -> int option与 Nativeint.to_int 相同，但将参数解释为无符号整数。如果参数的无符号值不能放入 int 中，则返回 None。
val of_float : float -> nativeint将给定的浮点数转换为本地整数，丢弃小数部分（截断为 0）。如果截断的浮点数超出范围 [Nativeint.min_int，Nativeint.max_int]，则不会引发异常，并且会返回一个未定义的、平台相关的整数。
val to_float : nativeint -> float将给定的本地整数转换为浮点数。
val of_int32 : int32 -> nativeint将给定的 32 位整数（类型 int32）转换为本地整数。
val to_int32 : nativeint -> int32将给定的本地整数转换为 32 位整数（类型 int32）。在 64 位平台上，64 位本地整数被取模 232，即顶部的 32 位被丢失。在 32 位平台上，转换是精确的。
val of_string : string -> nativeint将给定的字符串转换为本地整数。字符串以十进制（默认情况下，或如果字符串以 0u 开头）或十六进制、八进制或二进制（如果字符串分别以 0x、0o 或 0b 开头）读取。
前缀 0u 将输入读取为范围在 [0, 2*Nativeint.max_int+1] 内的无符号整数。如果输入超过 Nativeint.max_int，它将被转换为带符号整数 Int64.min_int + input - Nativeint.max_int - 1。
Failure 如果给定的字符串不是整数的有效表示，或者表示的整数超出类型 nativeint 中可表示的整数范围。val of_string_opt : string -> nativeint option与 of_string 相同，但返回 None 而不是引发异常。
val to_string : nativeint -> string以十进制形式返回其参数的字符串表示形式。
typet =nativeint
类型本地整数的别名。
val compare : t -> t -> int
val unsigned_compare : t -> t -> int与 Nativeint.compare 相同，只是参数被解释为无符号本地整数。
val equal : t -> t -> bool本地整数的相等函数。
val min : t -> t -> t返回两个参数中较小的一个。
val max : t -> t -> t返回两个参数中较大的一个。
val seeded_hash : int -> t -> int本地整数的带种子哈希函数，具有与 Hashtbl.seeded_hash 相同的输出值。此函数允许将此模块作为参数传递给函子 Hashtbl.MakeSeeded。
val hash : t -> int本地整数的无种子哈希函数，具有与 Hashtbl.hash 相同的输出值。此函数允许将此模块作为参数传递给函子 Hashtbl.Make。