Module is_less_than_array

Structs

IsLtArrayAuxCols

IsLtArrayAuxColsMut

IsLtArrayAuxColsRef

IsLtArrayIo

IsLtArraySubAir

This SubAir constrains the boolean equal to 1 iff x < y (lexicographic comparison) assuming that all elements of both arrays x, y each have at most max_bits bits.

IsLtArrayWhenTransitionAir

The same subair as IsLtArraySubAir except that non-range check constraints are not imposed on the last row. Intended use case is for asserting less than between entries in adjacent rows.