V1.Mavryk_bls12_381module Fr = Mavryk_bls12_381.Frmodule G1 = Mavryk_bls12_381.G1module G2 = Mavryk_bls12_381.G2module Fq12 : sig ... endmodule Gt = Fq12val gt_to_fq12 : Mavryk_bls12_381.GT.t -> Fq12.tval final_exponentiation_opt : Mavryk_bls12_381.Fq12.t -> Fq12.t optionval pairing : Mavryk_bls12_381.G1.t -> Mavryk_bls12_381.G2.t -> Fq12.tval miller_loop :
(Mavryk_bls12_381.G1.t * Mavryk_bls12_381.G2.t) list ->
Mavryk_bls12_381.Fq12.t