signed_crop

Function signed_crop 

Source
pub open spec fn signed_crop(x: int) -> i8
Expand description
{
    if (x % (0x100 as int)) > (<i8>::MAX as int) {
        ((x % (0x100 as int)) - 0x100) as i8
    } else {
        (x % (0x100 as int)) as i8
    }
}