Parameter Make_fp6.5-Info

val non_residue : Fp.t
val frobenius_coeffs_c1 : Fp.t array