Module is_less_than

Re-exports

• pub use super::assert_less_than::LessThanAuxCols;

Structs

• IsLessThanIo
  The IO is typically provided with T = AB::Expr as external context.
• IsLtSubAir
  This is intended for use as a SubAir, not as a standalone Air.
• IsLtWhenTransitionAir
  The same subair as IsLtSubAir 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.