Function shift_right

pub fn shift_right(a: impl Operand, b: impl Operand) -> Result<Expr>

a >> b of two integers, sign-extending (C++ right_shift, prim.right_shift).