pub const fn fiat_p521_carry_add(arg1: &[u64; 9], arg2: &[u64; 9]) -> [u64; 9]
The function fiat_p521_carry_add adds two field elements.
Postconditions: eval out1 mod m = (eval arg1 + eval arg2) mod m