pub fn range_check<F: WithSmallOrderMulGroup<3> + Ord>(
word: Expression<F>,
range: u8,
) -> Expression<F>Expand description
Checks that an expression is in the small range [0..range), i.e. 0 ≤ word < range.
pub fn range_check<F: WithSmallOrderMulGroup<3> + Ord>(
word: Expression<F>,
range: u8,
) -> Expression<F>Checks that an expression is in the small range [0..range), i.e. 0 ≤ word < range.