ext_field_add_scalar

openvm_recursion_circuit::utils

Function ext_field_add_scalar 

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