wrapping_sub

vstd::wrapping::isize_specs

Function wrapping_sub 

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