pub open spec fn signed_crop(x: int) -> i64Expand description
{
if (x % (0x1_0000_0000_0000_0000 as int)) > (<i64>::MAX as int) {
((x % (0x1_0000_0000_0000_0000 as int)) - 0x1_0000_0000_0000_0000) as i64
} else {
(x % (0x1_0000_0000_0000_0000 as int)) as i64
}
}