module type S = sig ... endmodule M : sig ... endinclude S with type scalar = Bls12_381.Fr.ttype scalar = Bls12_381.Fr.tmodule Domain : Domain.Domain_sig with type scalar = scalarmodule Polynomial : Polynomial_c.Polynomial_sig with type scalar = scalarThis library implements polynomials of Bls12_381.Fr as arrays of contiguous memory in C, allowing much better performances for algorithms that scan the polynomials.
module Evaluations :
Evaluations_c.Evaluations_c_sig
with type scalar = scalar
and type domain = Domain.t
and type polynomial = Polynomial.tmodule Srs_g1 :
Srs.S with type polynomial = Polynomial.t and type elt = Bls12_381.G1.tmodule Srs_g2 :
Srs.S with type polynomial = Polynomial.t and type elt = Bls12_381.G2.tmodule Srs : sig ... endmodule Univariate = Univariatemodule Multivariate = Multivariate