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.