Type Definition G1Projective
Other items inark_cp6_782::g1
type G1Projective = GroupProjective<Parameters>;