Module Rel_query.Bool

Booleans.

val v : bool -> bool value

v b is the literal boolean b.

val true' : bool value

true' is v true.

val false' : bool value

false' is v false.

val equal : bool value -> bool value -> bool value

equal x y is boolean equality.

val (=) : bool value -> bool value -> bool value

x = y is boolean equality.

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

x && y is logical conjunction.

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

x || y is logical disjunction.

val not : bool value -> bool value

not x is the logical negation of x.