pub fn range_check<F: FieldExt>(
    word: Expression<F>,
    range: usize
) -> Expression<F>
Expand description

Check that an expression is in the small range [0..range), i.e. 0 ≤ word < range.