u64_wrapping_sub

Fully qualified path: core::integer::u64_wrapping_sub

pub fn u64_wrapping_sub(lhs: u64, rhs: u64) -> u64 implicits(RangeCheck) nopanic