Function shiftleft 

pub fn shiftleft(value: Expr, shift: Expr) -> Expr

Shifts the bits of the first argument left by the number of positions specified by the second argument. If the shift amount is negative or greater than or equal to the bit width, it is normalized to the bit width (i.e., pmod(shift, bit_width)).