tezos-plonk
Plonk.Evaluations_map
tezos-plonk.aggregation
tezos-plonk.distribution
module type Evaluations_sig = sig ... end
module Make (E : sig ... end) : Evaluations_sig with type scalar = E.scalar and type domain = E.domain and type polynomial = E.polynomial and type t = E.t