package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.14.0

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (70)

Authors

  1. Xavier Leroy

Maintainers

  1. David Allsopp
  2. F
    Florian Angeletti <florian.angeletti@inria.fr>

Sources

4.14.0.tar.gz
sha256=39f44260382f28d1054c5f9d8bf4753cb7ad64027da792f7938344544da155e8

doc/stdlib/Stdlib/Bool/index.html

Module Stdlib.BoolSource

Boolean values.

  • since 4.08

Booleans

Sourcetype t = bool =
  1. | false
  2. | 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.

Sourceval not : bool -> bool

not b is the boolean negation of b.

Sourceval (&&) : 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.

Sourceval (||) : 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

Sourceval equal : bool -> bool -> bool

equal b0 b1 is true if and only if b0 and b1 are both true or both false.

Sourceval compare : bool -> bool -> int

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

Converting

Sourceval to_int : bool -> int

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

Sourceval to_float : bool -> float

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

Sourceval to_string : bool -> string

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