u64_overflowing_add

Fully qualified path: core::integer::u64_overflowing_add

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