Function wrapping_shr Copy item path

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

{ x >> (shift % 8u32) }