Module Fq6.Params

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