3-Fq3.Params
val non_residue : Fq.Unchecked.t
val frobenius_coeffs_c1 : Fq.Unchecked.t array
val frobenius_coeffs_c2 : Fq.Unchecked.t array