模块 Stdlib.Bool

module Bool: Bool

布尔值

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。