signed_crop

vstd::wrapping::i128_specs

Function signed_crop 

Source 
pub open spec fn signed_crop(x: int) -> i128
Expand description
{
    if (x % (0x1_0000_0000_0000_0000_0000_0000_0000_0000 as int)) > (<i128>::MAX as int)
    {
        ((x % (0x1_0000_0000_0000_0000_0000_0000_0000_0000 as int))
            - 0x1_0000_0000_0000_0000_0000_0000_0000_0000) as i128
    } else {
        (x % (0x1_0000_0000_0000_0000_0000_0000_0000_0000 as int)) as i128
    }
}