Evaluations_map (mavkit-libs.Plonk.Evaluations

module SMap = Kzg.SMap

module type Evaluations_sig = sig ... end

module Make
  (E : Mavkit_bls12_381_polynomial.Evaluations_sig) : 
  Evaluations_sig
    with type scalar = E.scalar
     and type domain = E.domain
     and type polynomial = E.polynomial
     and type t = E.t