Stable.V2module T : sig ... endinclude module type of struct include T endtype t =
( G.Affine.Stable.V1.t, Fq.Stable.V1.t, Fq.Stable.V1.t array )
Pickles_types.Plonk_types.Proof.Stable.V2.tval _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_orval hash_fold_t :
Ppx_hash_lib.Std.Hash.state ->
t ->
Ppx_hash_lib.Std.Hash.stateval hash : t -> Ppx_hash_lib.Std.Hash.hash_valuetype 'a creator =
messages:G.Affine.t Pickles_types.Plonk_types.Messages.Stable.V2.t ->
openings:
( G.Affine.t, Fq.t, Fq.t array )
Pickles_types.Plonk_types.Openings.Stable.V2.t ->
'ainclude Allocation_functor.Intf.Output.Full_intf
with type t := t
and type 'a creator := 'a creatorinclude Allocation_functor.Intf.Partial.Bin_io_intf with type t := tval bin_size_t : t Bin_prot.Size.sizerval bin_write_t : t Bin_prot.Write.writerval bin_read_t : t Bin_prot.Read.readerval __bin_read_t__ : ( int -> t ) Bin_prot.Read.readerval bin_writer_t : t Bin_prot.Type_class.writerval bin_reader_t : t Bin_prot.Type_class.readerval bin_t : t Bin_prot.Type_class.tinclude Allocation_functor.Intf.Partial.Sexp_intf with type t := tval t_of_sexp : Sexplib0__.Sexp.t -> tval sexp_of_t : t -> Sexplib0__.Sexp.tinclude Allocation_functor.Intf.Partial.Yojson_intf with type t := tval to_yojson : t -> Yojson.Safe.tval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or