ark_curve_constraint_tests::curves

Function te_test

Source 
pub fn te_test<P, GG>() -> Result<(), SynthesisError>
where
    P: TECurveConfig,
    GG: CurveVar<Projective<P>, <P::BaseField as Field>::BasePrimeField>,
    for<'a> &'a GG: GroupOpsBounds<'a, Projective<P>, GG>,