pub fn shift_right_at( a: impl Operand, b: impl Operand, loc: impl Into<Location>, ) -> Result<Expr>
shift_right at loc.
shift_right
loc