Stable.V1
type 'proof t = 'proof Mina_wire_types.Network_pool.Priced_proof.V1.t = {
proof : 'proof; |
fee : Mina_base.Fee_with_prover.Stable.V1.t; |
}
val to_yojson :
'proof. ( 'proof -> Yojson.Safe.t ) ->
'proof t ->
Yojson.Safe.t
val of_yojson :
'proof. ( Yojson.Safe.t -> 'proof Ppx_deriving_yojson_runtime.error_or ) ->
Yojson.Safe.t ->
'proof t Ppx_deriving_yojson_runtime.error_or
val _ :
( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
Yojson.Safe.t ->
'a t Ppx_deriving_yojson_runtime.error_or
val bin_size_t :
'proof. 'proof Core_kernel.Bin_prot.Size.sizer ->
'proof t Core_kernel.Bin_prot.Size.sizer
val bin_write_t :
'proof. 'proof Core_kernel.Bin_prot.Write.writer ->
'proof t Core_kernel.Bin_prot.Write.writer
val bin_writer_t :
'a Core_kernel.Bin_prot.Type_class.writer ->
'b t Core_kernel.Bin_prot.Type_class.writer
val __bin_read_t__ :
'proof. 'proof Core_kernel.Bin_prot.Read.reader ->
( int -> 'proof t ) Core_kernel.Bin_prot.Read.reader
val bin_read_t :
'proof. 'proof Core_kernel.Bin_prot.Read.reader ->
'proof t Core_kernel.Bin_prot.Read.reader
val bin_reader_t :
'a Core_kernel.Bin_prot.Type_class.reader ->
'b t Core_kernel.Bin_prot.Type_class.reader
val bin_t :
'a Core_kernel.Bin_prot.Type_class.t ->
'b t Core_kernel.Bin_prot.Type_class.t
val fee : 'a t -> Mina_base.Fee_with_prover.Stable.V1.t
val proof : 'a t -> 'b
module Fields : sig ... end
val t_of_sexp :
'proof. ( Ppx_sexp_conv_lib.Sexp.t -> 'proof ) ->
Ppx_sexp_conv_lib.Sexp.t ->
'proof t
val sexp_of_t :
'proof. ( 'proof -> Ppx_sexp_conv_lib.Sexp.t ) ->
'proof t ->
Ppx_sexp_conv_lib.Sexp.t
val hash_fold_t :
'proof. ( Ppx_hash_lib.Std.Hash.state ->
'proof ->
Ppx_hash_lib.Std.Hash.state ) ->
Ppx_hash_lib.Std.Hash.state ->
'proof t ->
Ppx_hash_lib.Std.Hash.state