package tezos-bls12-381-polynomial

  1. Overview
  2. Docs

Parameters

module K : Ff_sig.PRIME
module UPoly : Univariate.UNIVARIATE with type scalar = K.t

Signature

type scalar = K.t
module UPoly = UPoly
type spec = scalar StringMap.t
module Monomial : sig ... end
module type MONOMIAL_MAP = sig ... end
module MonomialMap : MONOMIAL_MAP with type key = Monomial.t
module Polynomial : sig ... end