Function wrapping_shr Copy item path

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

{ x >> (shift % 16u32) }