Function kimchi_msm::ffa::interpreter::constrain_ff_addition
source · pub fn constrain_ff_addition<F: PrimeField, Env: ColAccessCap<F, FFAColumn> + LookupCap<F, FFAColumn, LookupTable>>(
env: &mut Env
)