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 : Srs.S with type polynomial = Polynomial.tmodule Univariate = Univariatemodule Multivariate = Multivariate