Function kimchi_msm::ffa::interpreter::ff_addition_circuit

pub fn ff_addition_circuit<F: PrimeField, Ff: PrimeField, Env: ColAccessCap<F, FFAColumn> + ColWriteCap<F, FFAColumn> + LookupCap<F, FFAColumn, LookupTable>>(
    env: &mut Env,
    a: Ff,
    b: Ff
)