fn slice_range_check_u16(
        &mut self,
        input: &[impl Into<Self::Expr> + Copy],
        mult: impl Into<Self::Expr> + Clone,
    ) {
        input.iter().for_each(|limb| {
            self.send_byte(
                Self::Expr::from_canonical_u8(ByteOpcode::U16Range as u8),
                *limb,
                Self::Expr::zero(),
                Self::Expr::zero(),
                mult.clone(),
            );
        });
    }
Check that each limb of the given slice is a u16.
crates/core/machine/src/air/word.rs