pub fn test_fixed_sel<F: PrimeField, Env: ColAccessCap<F, TestColumn> + ColWriteCap<F, TestColumn>>(
    env: &mut Env,
    a: F
)
Expand description

Circuit generator function for A_0 + B_0 - FIXED_SEL_1.