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.