Модуль Bool

module Bool: sig .. end

Булевы значения.

Since 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 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.