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