Module `Side_loaded_verification_key.Repr`

module Stable : sig ... end

type 'g t = 'g Stable.Latest.t = {

max_proofs_verified : Proofs_verified.t;

actual_wrap_domain_size : Proofs_verified.Stable.V1.t;

wrap_index : 'g Pickles_types.Plonk_verification_key_evals.t;

}