Module Stable.V2

type 'g t = {
max_proofs_verified : Proofs_verified.Stable.V1.t;
actual_wrap_domain_size : Proofs_verified.Stable.V1.t;
wrap_index : 'g Pickles_types.Plonk_verification_key_evals.Stable.V2.t;
}
val to_yojson : ( 'g -> Yojson.Safe.t ) -> 'g t -> Yojson.Safe.t
val of_yojson : ( Yojson.Safe.t -> 'g Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> 'g t Ppx_deriving_yojson_runtime.error_or
include Ppx_sexp_conv_lib.Sexpable.S1 with type 'g t := 'g t
val t_of_sexp : ( Sexplib0__.Sexp.t -> 'a ) -> Sexplib0__.Sexp.t -> 'a t
val sexp_of_t : ( 'a -> Sexplib0__.Sexp.t ) -> 'a t -> Sexplib0__.Sexp.t
val equal : ( 'g -> 'g -> bool ) -> 'g t -> 'g t -> bool
val compare : ( 'g -> 'g -> int ) -> 'g t -> 'g t -> int
include Pickles_types.Sigs.Binable.S1 with type 'a t := 'a t
val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_t : ( 'a, 'a t ) Bin_prot.Size.sizer1
val bin_write_t : ( 'a, 'a t ) Bin_prot.Write.writer1
val bin_read_t : ( 'a, 'a t ) Bin_prot.Read.reader1
val __bin_read_t__ : ( 'a, int -> 'a t ) Bin_prot.Read.reader1
val bin_writer_t : ( 'a, 'a t ) Bin_prot.Type_class.S1.writer
val bin_reader_t : ( 'a, 'a t ) Bin_prot.Type_class.S1.reader
val bin_t : ( 'a, 'a t ) Bin_prot.Type_class.S1.t
val __versioned__ : unit