module Int64: Int64val zero : int6464 位元整數 0。
val one : int6464 位元整數 1。
val minus_one : int6464 位元整數 -1。
val neg : int64 -> int64一元負號。
val add : int64 -> int64 -> int64加法。
val sub : int64 -> int64 -> int64減法。
val mul : int64 -> int64 -> int64乘法。
val div : int64 -> int64 -> int64整數除法。
Division_by_zero 例外。此除法將其參數的真實商數朝零捨入，如 (/) 中所指定。val unsigned_div : int64 -> int64 -> int64與 Int64.div 相同，只是參數和結果被解釋為無符號 64 位元整數。
val rem : int64 -> int64 -> int64整數餘數。如果 y 不為零，則 Int64.rem x y 的結果滿足以下屬性：x = Int64.add (Int64.mul (Int64.div x y) y) (Int64.rem x y)。如果 y = 0，則 Int64.rem x y 引發 Division_by_zero 例外。
val unsigned_rem : int64 -> int64 -> int64與 Int64.rem 相同，只是參數和結果被解釋為無符號 64 位元整數。
val succ : int64 -> int64後繼者。Int64.succ x 為 Int64.add x Int64.one。
val pred : int64 -> int64前導者。Int64.pred x 為 Int64.sub x Int64.one。
val abs : int64 -> int64abs x 為 x 的絕對值。在 min_int 上，它本身是 min_int，因此仍為負數。
val max_int : int64可表示的最大 64 位元整數，263 - 1。
val min_int : int64可表示的最小 64 位元整數，-263。
val logand : int64 -> int64 -> int64按位元邏輯 AND。
val logor : int64 -> int64 -> int64按位元邏輯 OR。
val logxor : int64 -> int64 -> int64按位元邏輯 XOR。
val lognot : int64 -> int64按位元邏輯 NOT。
val shift_left : int64 -> int -> int64Int64.shift_left x y 將 x 向左移動 y 位元。如果 y < 0 或 y >= 64，則結果未指定。
val shift_right : int64 -> int -> int64Int64.shift_right x y 將 x 向右移動 y 位元。這是一個算術移位：x 的符號位被複製並插入空出的位元中。如果 y < 0 或 y >= 64，則結果未指定。
val shift_right_logical : int64 -> int -> int64Int64.shift_right_logical x y 將 x 向右移動 y 位元。這是一個邏輯移位：無論 x 的符號為何，都會在空出的位元中插入零。如果 y < 0 或 y >= 64，則結果未指定。
val of_int : int -> int64將給定的整數（類型 int）轉換為 64 位元整數（類型 int64）。
val to_int : int64 -> int將給定的 64 位元整數（類型 int64）轉換為整數（類型 int）。在 64 位元平台上，64 位元整數會以 263 為模數，也就是說，轉換期間會遺失高位元。在 32 位元平台上，64 位元整數會以 231 為模數，也就是說，轉換期間會遺失最高 33 位元。
val unsigned_to_int : int64 -> int option與 Int64.to_int 相同，但將參數解釋為無符號整數。如果參數的無符號值無法放入 int 中，則傳回 None。
val of_float : float -> int64將給定的浮點數轉換為 64 位元整數，捨棄小數部分（向 0 截斷）。如果截斷的浮點數超出 [Int64.min_int, Int64.max_int] 的範圍，則不會引發例外，並傳回未指定、平台相關的整數。
val to_float : int64 -> float將給定的 64 位元整數轉換為浮點數。
val of_int32 : int32 -> int64將給定的 32 位元整數（類型 int32）轉換為 64 位元整數（類型 int64）。
val to_int32 : int64 -> int32將給定的 64 位元整數（類型 int64）轉換為 32 位元整數（類型 int32）。64 位元整數會以 232 為模數，也就是說，轉換期間會遺失最高 32 位元。
val of_nativeint : nativeint -> int64將給定的原生整數（類型 nativeint）轉換為 64 位元整數（類型 int64）。
val to_nativeint : int64 -> nativeint將給定的 64 位元整數（類型 int64）轉換為原生整數。在 32 位元平台上，64 位元整數會以 232 為模數。在 64 位元平台上，轉換是精確的。
val of_string : string -> int64將給定的字串轉換為 64 位元整數。字串會以十進制（預設或如果字串以 0u 開頭）或十六進制、八進制或二進制讀取，如果字串分別以 0x、0o 或 0b 開頭。
0u 字首會將輸入讀取為 [0, 2*Int64.max_int+1] 範圍內的無符號整數。如果輸入超過 Int64.max_int，則會將其轉換為帶符號的整數 Int64.min_int + input - Int64.max_int - 1。
_（底線）字元可以出現在字串中的任何位置，並會被忽略。
int64 中可表示的整數範圍，則會引發 Failure 例外。val of_string_opt : string -> int64 option與 of_string 相同，但傳回 None 而不是引發例外。
val to_string : int64 -> string傳回其參數的字串表示法，以十進制表示。
val bits_of_float : float -> int64根據 IEEE 754 浮點「雙精度格式」位元配置，傳回給定浮點數的內部表示法。結果的位元 63 代表浮點數的符號；位元 62 到 52 代表（有偏差的）指數；位元 51 到 0 代表尾數。
val float_of_bits : int64 -> float傳回浮點數，其內部表示法（根據 IEEE 754 浮點「雙精度格式」位元配置）為給定的 int64。
typet =int64
64 位元整數類型的別名。
val compare : t -> t -> int
val unsigned_compare : t -> t -> int與 Int64.compare 相同，只是參數被解釋為無符號 64 位元整數。
val equal : t -> t -> boolint64 的相等函數。
val min : t -> t -> t傳回兩個參數中較小的一個。
val max : t -> t -> t傳回兩個參數中較大的一個。
val seeded_hash : int -> t -> int64 位元整數的種子雜湊函數，其輸出值與 Hashtbl.seeded_hash 相同。此函數允許將此模組作為函子 Hashtbl.MakeSeeded 的引數傳遞。
val hash : t -> int64 位元整數的非種子雜湊函數，其輸出值與 Hashtbl.hash 相同。此函數允許將此模組作為函子 Hashtbl.Make 的引數傳遞。