Skip to main content

wrapping_shr

Function wrapping_shr 

Source
pub open spec fn wrapping_shr(x: i8, shift: u32) -> i8
Expand description
{ x >> (shift % 8u32) }