Function kimchi_msm::test::test_circuit::interpreter::test_addition

pub fn test_addition<F: PrimeField, Ff: PrimeField, Env: ColAccessCap<F, TestColumn> + ColWriteCap<F, TestColumn>>(
    env: &mut Env,
    a: Ff,
    b: Ff
)

Circuit generator function for A + B - C, with D = 0.