octez-proto-libs.protocol-environment
Make.Bls12_381
tezos_protocol_environment_sigs
tezos_protocol_environment_sigs_internals
tezos_protocol_environment_structs
module Fr : S.PRIME_FIELD with type t = Bls12_381.Fr.t
module G1 : S.CURVE with type Scalar.t = Fr.t
module G2 : S.CURVE with type Scalar.t = Fr.t
val pairing_check : (G1.t * G2.t) list -> bool