Function wrapping_shl Copy item path

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

{ x << (shift % 32u32) }