Module Fq6.Params

val non_residue : Fq.t
val frobenius_coeffs_c1 : Fq.t Core.Array.t