Function awint_internals::widen_mul_add

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

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.