Source file `bls12_381_legacy.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
(* generated by dune *)

(** @canonical Bls12_381_legacy.Bls12_381 *)
module Bls12_381 = Bls12_381_legacy__Bls12_381

(** @canonical Bls12_381_legacy.Fq12 *)
module Fq12 = Bls12_381_legacy__Fq12

(** @canonical Bls12_381_legacy.Fr *)
module Fr = Bls12_381_legacy__Fr

(** @canonical Bls12_381_legacy.G1 *)
module G1 = Bls12_381_legacy__G1

(** @canonical Bls12_381_legacy.G2 *)
module G2 = Bls12_381_legacy__G2

(** @canonical Bls12_381_legacy.Pairing *)
module Pairing = Bls12_381_legacy__Pairing

(** @canonical Bls12_381_legacy.Rustc_bls12_381_bindings *)
module Rustc_bls12_381_bindings = Bls12_381_legacy__Rustc_bls12_381_bindings

(** @canonical Bls12_381_legacy.Rustc_bls12_381_stubs *)
module Rustc_bls12_381_stubs = Bls12_381_legacy__Rustc_bls12_381_stubs