u64_overflowing_sub

Fully qualified path: core::integer::u64_overflowing_sub

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