模块 Stdlib.Int64

module Int64: Int64

val zero : int64

64 位整数 0。

val one : int64

64 位整数 1。

val minus_one : int64

64 位整数 -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 位整数。

从 4.08

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 位整数。

从 4.08

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 -> int64

abs x 是 x 的绝对值。在 min_int 上，这是 min_int 本身，因此仍然为负。

val max_int : int64

可表示的最大 64 位整数，2⁶³ - 1。

val min_int : int64

可表示的最小 64 位整数，-2⁶³。

val logand : int64 -> int64 -> int64

按位逻辑与。

val logor : int64 -> int64 -> int64

按位逻辑或。

val logxor : int64 -> int64 -> int64

按位逻辑异或。

val lognot : int64 -> int64

按位逻辑非。

val shift_left : int64 -> int -> int64

Int64.shift_left x y 将 x 左移 y 位。如果 y < 0 或 y >= 64，则结果未定义。

val shift_right : int64 -> int -> int64

Int64.shift_right x y 将 x 右移 y 位。这是一个算术移位：x 的符号位被复制并插入到空出的位中。如果 y < 0 或 y >= 64，则结果未定义。

val shift_right_logical : int64 -> int -> int64

Int64.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 位整数取模 2⁶³，即最高位在转换过程中丢失。在 32 位平台上，64 位整数取模 2³¹，即最高 33 位在转换过程中丢失。

val unsigned_to_int : int64 -> int option

与 Int64.to_int 相同，但将实参解释为无符号整数。如果实参的无符号值无法放入 int 中，则返回 None。

从 4.08

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 位整数取模 2³²，即最高 32 位在转换过程中丢失。

val of_nativeint : nativeint -> int64

将给定的本地整数（类型 nativeint）转换为 64 位整数（类型 int64）。

val to_nativeint : int64 -> nativeint

将给定的 64 位整数（类型 int64）转换为本地整数。在 32 位平台上，64 位整数取模 2³²。在 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。

_（下划线）字符可以出现在字符串中的任何位置，并且会被忽略。

引发 Failure 如果给定的字符串不是整数的有效表示，或者如果表示的整数超过类型 int64 中可表示的整数范围。

val of_string_opt : string -> int64 option

与 of_string 相同，但返回 None 而不是引发。

从 4.05

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 的浮点数。

type t = int64

64 位整数类型的别名。

val compare : t -> t -> int

64 位整数的比较函数，具有与 compare 相同的规范。与类型 t 一起，此函数 compare 允许将模块 Int64 作为参数传递给函子 Set.Make 和 Map.Make。

val unsigned_compare : t -> t -> int

与 Int64.compare 相同，除了实参被解释为无符号 64 位整数。

从 4.08

val equal : t -> t -> bool

int64 的相等函数。

从 4.03

val min : t -> t -> t

返回两个实参中较小的一个。

从 4.13

val max : t -> t -> t

返回两个实参中较大的一个。

从 4.13

val seeded_hash : int -> t -> int

64 位整数的带种子哈希函数，具有与 Hashtbl.seeded_hash 相同的输出值。此函数允许将此模块作为参数传递给函子 Hashtbl.MakeSeeded。

从 5.1

val hash : t -> int

64 位整数的无种子哈希函数，具有与 Hashtbl.hash 相同的输出值。此函数允许将此模块作为参数传递给函子 Hashtbl.Make。

从 5.1