模組 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 的參數傳遞。