Source file `bls12_381_gen.ml`

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

(** @canonical Bls12_381_gen.Elliptic_curve_sig *)
module Elliptic_curve_sig = Bls12_381_gen__Elliptic_curve_sig

(** @canonical Bls12_381_gen.Fq12 *)
module Fq12 = Bls12_381_gen__Fq12

(** @canonical Bls12_381_gen.Fr *)
module Fr = Bls12_381_gen__Fr

(** @canonical Bls12_381_gen.G1 *)
module G1 = Bls12_381_gen__G1

(** @canonical Bls12_381_gen.G2 *)
module G2 = Bls12_381_gen__G2

(** @canonical Bls12_381_gen.Pairing *)
module Pairing = Bls12_381_gen__Pairing

(** @canonical Bls12_381_gen.S *)
module S = Bls12_381_gen__S