pub fn range_check<AB: InteractionBuilder>( builder: &mut AB, range_bus: usize, decomp: usize, bits: usize, into_expr: impl Into<AB::Expr>, count: impl Into<AB::Expr>, )