Plonk_types (pickles_types.Pickles_types.Plonk

val hash_fold_array : 'a Sigs.hashable -> 'a array Sigs.hashable

module Opt : sig ... end

module Poly_comm : sig ... end

module Columns_vec = Vector.Vector_15

module Columns = Nat.N15

module Permuts_vec = Vector.Vector_7

module Permuts = Nat.N7

module Permuts_minus_1 = Nat.N6

module Permuts_minus_1_vec = Vector.Vector_6

module Lookup_config : sig ... end

module Messages : sig ... end

module Evals : sig ... end

module Openings : sig ... end

module Proof : sig ... end

module All_evals : sig ... end

module Shifts : sig ... end