Модуль Bool

module Bool: sig .. end

Логические значения.

Начиная с версии 4.08

Логические значения

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 logand : bool -> bool -> bool

logand b1 b2 равно true тогда и только тогда, когда оба значения b1 и b2 равны true.

val logor : bool -> bool -> bool

logor b1 b2 равно true тогда и только тогда, когда b1 или b2 равно true.

val logxor : bool -> bool -> bool

logxor b1 b2 равно true, если ровно одно из значений b1 и b2 равно true.

Предикаты и сравнения

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 равно 0, если b равно false, и 1, если b равно true.

val to_float : bool -> float

to_float b равно 0., если b равно false, и 1., если b равно true.

val to_string : bool -> string

to_string b равно "true", если b равно true, и "false", если b равно false.

val seeded_hash : int -> bool -> int

Функция хеширования логических значений с начальным значением, возвращающая тот же результат, что и Hashtbl.seeded_hash. Эта функция позволяет передавать данный модуль в качестве аргумента функтору Hashtbl.MakeSeeded.

Начиная с версии 5.1

val hash : bool -> int

Функция хеширования логических значений без начального значения, возвращающая тот же результат, что и Hashtbl.hash. Эта функция позволяет передавать данный модуль в качестве аргумента функтору Hashtbl.Make.

Начиная с версии 5.1