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.