u8_overflowing_sub

Fully qualified path: core::integer::u8_overflowing_sub

pub extern fn u8_overflowing_sub(lhs: u8, rhs: u8) -> Result<u8, u8> implicits(RangeCheck) nopanic;