kimchi_msm::ffa::interpreter

Function constrain_ff_addition

Source 
pub fn constrain_ff_addition<F: PrimeField, Env: ColAccessCap<F, FFAColumn> + LookupCap<F, FFAColumn, LookupTable>>(
    env: &mut Env,
)