Module Syntax.Bool

Booleans.

val v : bool -> bool value

v b is the literal boolean b.

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.