Function vstd::atomic::wrapping_sub_u32

source · 
pub open spec fn wrapping_sub_u32(a: int, b: int) -> int
Expand description
{
    if a - b < (<u32>::MIN as int) {
        a - b + ((<u32>::MAX as int) - (<u32>::MIN as int) + 1)
    } else {
        a - b
    }
}