Make_fp3.Info
val non_residue : Fp.t
val frobenius_coeffs_c1 : Fp.t array
val frobenius_coeffs_c2 : Fp.t array