Module assert_less_than

Source

Structs§

AssertLessThanIo
The IO is typically provided with T = AB::Expr as external context.
AssertLtSubAir
This is intended for use as a SubAir, not as a standalone Air.
LessThanAuxCols
These columns are owned by the SubAir. Typically used with T = AB::Var. AUX_LEN is the number of AUX columns we have that AUX_LEN = max_bits.div_ceil(bus.range_max_bits)