module type Stubs_sig = sig ... endmodule type EC_carray_sig = sig ... endmodule Make
(EC_point : Bls12_381.CURVE)
(EC_point_array : Carray.Carray_sig with type elt = EC_point.t)
(Stubs :
Stubs_sig
with type fr_array = Fr_carray.t
and type ec_array = EC_point_array.t) :
EC_carray_sig
with type elt = EC_point.t
and type domain = Domain.t
and type evaluations = Evaluations.tmodule G1 = Bls12_381.G1module G2 = Bls12_381.G2module G1_Elt : sig ... endmodule G2_Elt : sig ... endmodule G1_array_internal : sig ... endmodule G2_array_internal : sig ... endmodule Stubs_g1 : sig ... endmodule Stubs_g2 : sig ... endmodule G1_carray :
EC_carray_sig
with type elt = Bls12_381.G1.t
and type domain = Domain.t
and type evaluations = Evaluations.tmodule G2_carray :
EC_carray_sig
with type elt = Bls12_381.G2.t
and type domain = Domain.t
and type evaluations = Evaluations.t