Module PairingSource

Sourcemodule Pairing_stubs : sig ... end
Sourcemodule Raw_Stubs : sig ... end
include sig ... end
Sourceexception FailToComputeFinalExponentiation of Fq12.t
Sourceval miller_loop : (G1.t * G2.t) list -> Fq12.t
Sourceval miller_loop_simple : G1.t -> G2.t -> Fq12.t
Sourceval pairing : G1.t -> G2.t -> Fq12.t
Sourceval final_exponentiation_opt : Fq12.t -> Fq12.t option
Sourceval final_exponentiation_exn : Fq12.t -> Fq12.t