pub fn group_test<C, ConstraintF, GG>() -> Result<(), SynthesisError>where
C: CurveGroup,
ConstraintF: PrimeField,
GG: CurveVar<C, ConstraintF>,
for<'a> &'a GG: GroupOpsBounds<'a, C, GG>,
pub fn group_test<C, ConstraintF, GG>() -> Result<(), SynthesisError>where
C: CurveGroup,
ConstraintF: PrimeField,
GG: CurveVar<C, ConstraintF>,
for<'a> &'a GG: GroupOpsBounds<'a, C, GG>,