package volgo
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=2714935a34417be2151736a4765431746c9348db5a3b4f0eaacaf74dfaefeabb
sha512=0eba27395125ae928fd53561029d9653094d822b2907cb9afc18f412b46ef47cf880ba80d1bf17212add4e68e6a55e2792176303e2b0bcee08940e25731b4738
doc/volgo.stdlib/Volgo_stdlib/Bool/index.html
Module Volgo_stdlib.BoolSource
include module type of struct include Bool end
Booleans
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.
not b is the boolean negation of b.
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.
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.
logand b1 b2 is true if and only if b1 and b2 are both true.
logor b1 b2 is true if and only if either b1 or b2 is true.
logxor b1 b2 is true if exactly one of b1 and b2 is true.
Predicates and comparisons
equal b0 b1 is true if and only if b0 and b1 are both true or both false.
compare b0 b1 is a total order on boolean values. false is smaller than true.
Converting
to_int b is 0 if b is false and 1 if b is true.
to_float b is 0. if b is false and 1. if b is true.
to_string b is "true" if b is true and "false" if b is false.
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.
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.