package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.08.0

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Xavier Leroy

Maintainers

Sources

4.08.0.tar.gz

sha256=c8ff78d010cb037ac6d6729e40ebdbee109218899007ef23a20b8f459ac186d6

md5=42ed24e9a7c0e3998cab7d5e7c9f7618

doc/stdlib/Stdlib/Bool/index.html

Module `Stdlib.Bool`

Boolean values.

since 4.08

Booleans

type t = bool =

| false
| true
(*
The type of booleans (truth values).
The constructors false and true are included here so that they have paths, but they are not intended to be used in user-defined data types.
*)

val not : bool -> bool

not b is the boolean negation of b.

val (&&) : bool -> bool -> bool

e0 && e1 is the lazy boolean conjunction of expressions e0 and e1. If e0 evaluates to false, e1 is not evaluated. Right-associative operator at precedence level 3/11.

val (||) : bool -> bool -> bool

e0 || e1 is the lazy boolean disjunction of expressions e0 and e1. If e0 evaluates to true, e1 is not evaluated. Right-associative operator at precedence level 2/11.

Predicates and comparisons

val equal : bool -> bool -> bool

equal b0 b1 is true iff b0 and b1 are both either true or false.

val compare : bool -> bool -> int

compare b0 b1 is a total order on boolean values. false is smaller than true.

Converting

val to_int : bool -> int

to_int b is 0 if b is false and 1 if b is true.

val to_float : bool -> float

to_float b is 0. if b is false and 1. if b is true.

val to_string : bool -> string

to_string b is "true" if b is true and "false" if b is false.

On This Page

Booleans
Predicates and comparisons
Converting