u256_overflow_sub

Fully qualified path: core::integer::u256_overflow_sub

pub fn u256_overflow_sub(lhs: u256, rhs: u256) -> (u256, bool) implicits(RangeCheck) nopanic