Function awint_internals::widen_mul_add

pub const fn widen_mul_add(x: Digit, y: Digit, z: Digit) -> (Digit, Digit)

Computes (x * y) + z. This cannot overflow, because it returns the value widened into a tuple, where the first element is the least significant part of the integer and the second is the most significant.