`Bls12_381`

`module Fr : sig ... end`

`module type CURVE = sig ... end`

`module Fq12 : sig ... end`

Represents the field extension constructed as described here. The interface does not provide the full requirements to be a field (like the addition).

`module G1 : sig ... end`

Elliptic curve built over the field `Fq`

and the equation `y^2 = x^3 + 4`

`module G2 : sig ... end`

Elliptic curve built over the field `Fq^2`

and the equation ```
y^2 = x^3 + 4(u
+ 1)
```

`module Pairing : sig ... end`

Provides routines to compute the pairing over `G1 x G2 -> GT`