wrapping_add_unsigned

vstd::wrapping::i128_specs

Function wrapping_add_unsigned 

Source 
pub open spec fn wrapping_add_unsigned(x: i128, y: u128) -> i128
Expand description
{
    if x + y > <i128>::MAX {
        (x + y - 0x1_0000_0000_0000_0000_0000_0000_0000_0000) as i128
    } else {
        (x + y) as i128
    }
}