package tezos-bls12-381-polynomial

  1. Overview
  2. Docs
module Utils : sig ... end
type natural_with_infinity =
  1. | Natural of int
  2. | Infinity
module type UNIVARIATE = sig ... end
module DomainEvaluation (R : Ff_sig.PRIME) : sig ... end
val generate_evaluation_domain : (module Ff_sig.PRIME with type t = 'a) -> int -> 'a0 -> 'a1 array
val inverse_domain_values : 'a array -> 'b array
module Make (R : Ff_sig.PRIME) : UNIVARIATE with type scalar = R.t