Function wrapping_shl Copy item path

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

{ x << (shift % 16u32) }