Mnt6_80.Pairing
module G1_precomputation : sig ... end
module G2_precomputation : sig ... end
val final_exponentiation : Fq6.t -> Fq6.t
val miller_loop : G1_precomputation.t -> G2_precomputation.t -> Fq6.t
val unreduced_pairing : G1.t -> G2.t -> Fq6.t
val reduced_pairing : G1.t -> G2.t -> Fq6.t