Module `Bool.Non_short_circuiting`

Non-short circuiting and branch-free boolean operators.

The default versions of these infix operators are short circuiting, which requires branching instructions to implement. The operators below are instead branch-free, and therefore not short-circuiting.

val (&&) : t -> t -> t

val (||) : t -> t -> t