模組 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 為 true 若且唯若 b0 和 b1 皆為 true 或皆為 false。

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 相同的輸出值。此函式允許將此模組作為 functor Hashtbl.MakeSeeded 的引數傳遞。

val hash : bool -> int

布林值的非種子雜湊函式，具有與 Hashtbl.hash 相同的輸出值。此函式允許將此模組作為 functor Hashtbl.Make 的引數傳遞。