i32_diff
If lhs >= rhs returns Ok(lhs - rhs) else returns Err(2**32 + lhs - rhs).
Fully qualified path: core::integer::i32_diff
pub extern fn i32_diff(lhs: i32, rhs: i32) -> Result<u32, u32> implicits(RangeCheck) nopanic;If lhs >= rhs returns Ok(lhs - rhs) else returns Err(2**32 + lhs - rhs).
Fully qualified path: core::integer::i32_diff
pub extern fn i32_diff(lhs: i32, rhs: i32) -> Result<u32, u32> implicits(RangeCheck) nopanic;