Function snarkvm_utilities::biginteger::arithmetic::adc

pub fn adc(a: &mut u64, b: u64, carry: u64) -> u64

Calculate a + b + carry, returning the sum and modifying the carry value.