模块 Bool

module Bool: sig .. end

布尔值。

布尔值

type t = bool =

`\|`	`false`
`\|`	`true`

布尔值（真值）的类型。

构造函数 false 和 true 包含在此处是为了它们有路径，但它们不打算在用户定义的数据类型中使用。

val not : bool -> bool

not b 是 b 的布尔值否定。

val (&&) : bool -> bool -> bool

e0 && e1 是表达式 e0 和 e1 的懒惰布尔值合取。如果 e0 评估为 false，则不会评估 e1。右结合运算符，优先级为 3/11。

val (||) : bool -> bool -> bool

e0 || e1 是表达式 e0 和 e1 的懒惰布尔值析取。如果 e0 评估为 true，则不会评估 e1。右结合运算符，优先级为 2/11。

val equal : bool -> bool -> bool

equal b0 b1 当且仅当 b0 和 b1 均为 true 或均为 false 时为 true。

val compare : bool -> bool -> int

compare b0 b1 是布尔值上的一个全序关系。 false 小于 true。

val to_int : bool -> int

to_int b 如果 b 为 false 则为 0，如果 b 为 true 则为 1。

val to_float : bool -> float

to_float b 如果 b 为 false 则为 0.，如果 b 为 true 则为 1.。

val to_string : bool -> string

to_string b 如果 b 为 true 则为 "true"，如果 b 为 false 则为 "false"。

val seeded_hash : int -> bool -> int

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

val hash : bool -> int

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