Module Plonk_types.Evals

module Lookup : sig ... end
module In_circuit : sig ... end
type 'a t = {
w : 'a Columns_vec.t;
coefficients : 'a Columns_vec.t;
z : 'a;
s : 'a Permuts_minus_1_vec.t;
generic_selector : 'a;
poseidon_selector : 'a;
lookup : 'a Lookup.t option;
}
Iterators
val map : 'a t -> f:( 'a -> 'b ) -> 'b t
val map2 : 'a t -> 'b t -> f:( 'a -> 'b -> 'c ) -> 'c t
Converters
val to_in_circuit : 'a t -> ( 'a, 'bool ) In_circuit.t
val to_list : 'a t -> 'a list
val to_absorption_sequence : 'a t -> 'a list