Pairing (snarkette.Snarkette.Bowe_gabizon.Make.1-Backend.Pairing)

module G1_precomputation : sig ... end

module G2_precomputation : sig ... end

val final_exponentiation : Fq_target.t -> Fq_target.t

val miller_loop : G1_precomputation.t -> G2_precomputation.t -> Fq_target.t

val unreduced_pairing : G1.t -> G2.t -> Fq_target.t

val reduced_pairing : G1.t -> G2.t -> Fq_target.t