Module Fq4.Params

val frobenius_coeffs_c1 : Fq.t array
val non_residue : Fq.t * Fq.t