Module Bls.PrimitiveSource

Module to access/expose the primitives of BLS12-381

Sourcemodule Fr : sig ... end
Sourcemodule G1 : sig ... end
Sourcemodule G2 : sig ... end
Sourceval pairing_check : (G1.t * G2.t) list -> bool