1-Backend.Pairingmodule G1_precomputation : sig ... endmodule G2_precomputation : sig ... endval final_exponentiation : Fq_target.t -> Fq_target.tval miller_loop : G1_precomputation.t -> G2_precomputation.t -> Fq_target.tval unreduced_pairing : G1.t -> G2.t -> Fq_target.tval reduced_pairing : G1.t -> G2.t -> Fq_target.t