package tezos-bls12-381-polynomial

  1. Overview
  2. Docs

Module Bls12_381_polynomial.UnivariateSource

Sourcemodule Utils : sig ... end
Sourcetype natural_with_infinity =
  1. | Natural of int
  2. | Infinity
Sourcemodule type UNIVARIATE = sig ... end
Sourcemodule DomainEvaluation (R : Ff_sig.PRIME) : sig ... end
Sourceval generate_evaluation_domain : (module Ff_sig.PRIME with type t = 'a) -> int -> 'a -> 'a array
Sourceval inverse_domain_values : 'a array -> 'a array
Sourcemodule Make (R : Ff_sig.PRIME) : UNIVARIATE with type scalar = R.t
OCaml

Innovation. Community. Security.