Function vstd::atomic::wrapping_add_u16

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