Module assert_less_than

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)