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.