Make.6-Info
val twist : Fq_twist.t
val loop_count : Fq.Nat.t
val is_loop_count_neg : bool
val final_exponent_last_chunk_w1 : Fq.Nat.t
val final_exponent_last_chunk_is_w0_neg : bool
val final_exponent_last_chunk_abs_of_w0 : Fq.Nat.t