Module Bool
: sigend
Boolean values.
Since 4.08
Booleanstypet = 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.
valnot : bool->boolnotb is the boolean negation of b .
val(&&) : bool->bool->boole0&&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->boole0||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.
Predicatesandcomparisonsvalequal : bool->bool->boolequalb0b1 is true if and only if b0 and b1 are both true or both false .
valcompare : bool->bool->intcompareb0b1 is a total order on boolean values. false is smaller than true .
Convertingvalto_int : bool->intto_intb is 0 if b is false and 1 if b is true .
valto_float : bool->floatto_floatb is 0. if b is false and 1. if b is true .
valto_string : bool->stringto_stringb is "true" if b is true and "false" if b is false .
valseeded_hash : int->bool->int
A seeded hash function for booleans, with the same output value as Hashtbl.seeded_hash . This function
allows this module to be passed as argument to the functor Hashtbl.MakeSeeded .
Since 5.1
valhash : bool->int
An unseeded hash function for booleans, with the same output value as Hashtbl.hash . This function allows
this module to be passed as argument to the functor Hashtbl.Make .
Since 5.1
OCamldoc 2025-06-12 Bool(3o)