ext_field_add

openvm_recursion_circuit::utils

Function ext_field_add 

Source 
pub fn ext_field_add<FA>(
    x: [impl Into<FA>; 4],
    y: [impl Into<FA>; 4],
) -> [FA; 4]
where
    FA: PrimeCharacteristicRing,