Mnt6_80.Pairing_info
val twist : Fq3.t
val loop_count : N.t
val is_loop_count_neg : bool
val final_exponent : N.t
val final_exponent_last_chunk_abs_of_w0 : N.t
val final_exponent_last_chunk_is_w0_neg : bool
val final_exponent_last_chunk_w1 : N.t