signed_crop

vstd::wrapping::isize_specs

Function signed_crop 

Source 
pub open spec fn signed_crop(x: int) -> isize
Expand description
{
    if (x % ((usize::MAX - usize::MIN + 1) as int)) > (<isize>::MAX as int) {
        ((x % ((usize::MAX - usize::MIN + 1) as int)) - (usize::MAX - usize::MIN + 1))
            as isize
    } else {
        (x % ((usize::MAX - usize::MIN + 1) as int)) as isize
    }
}