Booleans
type t = bool =
| false
| true
The type of booleans (truth values).
The constructors
false
andtrue
are included here so that they have paths, but they are not intended to be used in user-defined data types.
val (&&) : bool -> bool -> bool
e0 && e1
is the lazy boolean conjunction of expressionse0
ande1
. Ife0
evaluates tofalse
,e1
is not evaluated. Right-associative operator at precedence level 3/11.
val (||) : bool -> bool -> bool
e0 || e1
is the lazy boolean disjunction of expressionse0
ande1
. Ife0
evaluates totrue
,e1
is not evaluated. Right-associative operator at precedence level 2/11.
Predicates and comparisons
val compare : bool -> bool -> int
compare b0 b1
is a total order on boolean values.false
is smaller thantrue
.