Module choice 

Macros

bitle 🔒

Bitwise less-than-or equal: returns 1 if x <= y, and otherwise returns 0.

bitlt 🔒

Bitwise less-than: returns 1 if x < y, and otherwise returns 0.

bitnz 🔒

Bitwise non-zero: returns 1 if x != 0, and otherwise returns 0.

Structs

Choice

Constant-time analogue of bool providing a “best effort” optimization barrier.