pub fn raw_constrain_equal<F: Field>( region: &mut Region<'_, F>, left: Cell, right: Cell, )
Constrain two physical cells to be equal.