Function shift_left

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

a << b of two integers; two constants fold when the result is a value of their type (C++ left_shift, prim.left_shift).