Function wrapping_shl Copy item path

pub open spec fn wrapping_shl(x: isize, shift: u32) -> isize

{ x << (shift % usize::BITS) }