package tezos-bls12-381-polynomial

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

tezos-bls12-381-polynomial
- Library tezos-bls12-381-polynomial
  - Bls12_381_polynomial
    
    Carray
    
    Fr
    
    Stubs
    
    Carray
    
    Domain
    
    Fr
    
    Stubs
    
    Domain_impl
    
    Domain_sig
    
    Domain_unsafe_sig
    
    Domain_unsafe
    
    Evaluations_c
    
    Fr
    
    Stubs
    
    Evaluations_c_sig
    
    Evaluations_c_impl
    
    Domain_c
    
    Domain
    
    Polynomial
    
    Fr_generation
    
    Make
    
    Multivariate
    
    StringMap
    
    MultiPoly_sig
    
    UPoly
    
    Monomial
    
    MonomialOperators
    
    MONOMIAL_MAP
    
    MonomialMap
    
    Polynomial
    
    PolynomialOperators
    
    MultiPoly
    
    UPoly
    
    Monomial
    
    MonomialOperators
    
    MONOMIAL_MAP
    
    MonomialMap
    
    Polynomial
    
    PolynomialOperators
    
    Polynomial
    
    S
    
    Domain
    
    Polynomial
    
    Evaluations
    
    Srs
    
    M
    
    Domain
    
    Polynomial
    
    Evaluations
    
    Srs
    
    Domain
    
    Polynomial
    
    Evaluations
    
    Srs
    
    Univariate
    
    Multivariate
    
    Polynomial_c
    
    Fr
    
    Stubs
    
    Polynomial_impl
    
    Polynomial_sig
    
    Polynomial_unsafe_sig
    
    Polynomial_unsafe
    
    Srs
    
    Stubs
    
    S
    
    M
    
    Univariate
    
    Utils
    
    UNIVARIATE
    
    DomainEvaluation
    
    Make
- Sources
  - tezos-bls12-381-polynomial
    
    bls12_381_polynomial.ml
    
    carray.ml
    
    domain.ml
    
    evaluations_c.ml
    
    fr_generation.ml
    
    multivariate.ml
    
    polynomial.ml
    
    polynomial_c.ml
    
    srs.ml
    
    univariate.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Multivariate.MultiPoly`Source

Parameters

module K : Ff_sig.PRIME

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

Signature

Sourcetype scalar = K.t

Sourcemodule UPoly = UPoly

Sourcetype spec = scalar StringMap.t

Sourcemodule Monomial : sig ... end

Sourcemodule type MONOMIAL_MAP = sig ... end

Sourcemodule MonomialMap : MONOMIAL_MAP with type key = Monomial.t

Sourcemodule Polynomial : sig ... end

package tezos-bls12-381-polynomial

Module Multivariate.MultiPolySource

Parameters

Signature

Module `Multivariate.MultiPoly`Source