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位元邏輯 AND。
val logor : nativeint -> nativeint -> nativeint位元邏輯 OR。
val logxor : nativeint -> nativeint -> nativeint位元邏輯 XOR (互斥或)。
val lognot : nativeint -> nativeint位元邏輯 NOT (反相)。
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。