wrapping_add_signed

vstd::wrapping::usize_specs

Function wrapping_add_signed 

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