wrapping_sub

vstd::wrapping::u128_specs

Function wrapping_sub 

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