Stable.V2
type t = Mina_wire_types.Mina_base.Zkapp_precondition.Account.V2.t = {
balance : Currency.Balance.Stable.V1.t Numeric.Stable.V1.t; |
nonce : Mina_numbers.Account_nonce.Stable.V1.t Numeric.Stable.V1.t; |
receipt_chain_hash : Receipt.Chain_hash.Stable.V1.t Hash.Stable.V1.t; |
delegate : Signature_lib.Public_key.Compressed.Stable.V1.t Eq_data.Stable.V1.t; |
state : Zkapp_basic.F.Stable.V1.t Eq_data.Stable.V1.t Zkapp_state.V.Stable.V1.t; |
sequence_state : Zkapp_basic.F.Stable.V1.t Eq_data.Stable.V1.t; |
proved_state : bool Eq_data.Stable.V1.t; |
is_new : bool Eq_data.Stable.V1.t; |
}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val bin_size_t : t Core_kernel.Bin_prot.Size.sizer
val bin_write_t : t Core_kernel.Bin_prot.Write.writer
val bin_writer_t : t Core_kernel.Bin_prot.Type_class.writer
val __bin_read_t__ : ( int -> t ) Core_kernel.Bin_prot.Read.reader
val bin_read_t : t Core_kernel.Bin_prot.Read.reader
val bin_reader_t : t Core_kernel.Bin_prot.Type_class.reader
val bin_t : t Core_kernel.Bin_prot.Type_class.t
val to_hlist :
t ->
( unit,
Currency.Balance.Stable.V1.t Numeric.Stable.V1.t ->
Mina_numbers.Account_nonce.Stable.V1.t Numeric.Stable.V1.t ->
Receipt.Chain_hash.Stable.V1.t Hash.Stable.V1.t ->
Signature_lib.Public_key.Compressed.Stable.V1.t Eq_data.Stable.V1.t ->
Zkapp_basic.F.Stable.V1.t Eq_data.Stable.V1.t Zkapp_state.V.Stable.V1.t ->
Zkapp_basic.F.Stable.V1.t Eq_data.Stable.V1.t ->
bool Eq_data.Stable.V1.t ->
bool Eq_data.Stable.V1.t ->
unit )
H_list.t
val of_hlist :
( unit,
Currency.Balance.Stable.V1.t Numeric.Stable.V1.t ->
Mina_numbers.Account_nonce.Stable.V1.t Numeric.Stable.V1.t ->
Receipt.Chain_hash.Stable.V1.t Hash.Stable.V1.t ->
Signature_lib.Public_key.Compressed.Stable.V1.t Eq_data.Stable.V1.t ->
Zkapp_basic.F.Stable.V1.t Eq_data.Stable.V1.t Zkapp_state.V.Stable.V1.t ->
Zkapp_basic.F.Stable.V1.t Eq_data.Stable.V1.t ->
bool Eq_data.Stable.V1.t ->
bool Eq_data.Stable.V1.t ->
unit )
H_list.t ->
t
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val hash_fold_t :
Ppx_hash_lib.Std.Hash.state ->
t ->
Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val is_new : t -> bool Eq_data.Stable.V1.t
val proved_state : t -> bool Eq_data.Stable.V1.t
val sequence_state : t -> Zkapp_basic.F.Stable.V1.t Eq_data.Stable.V1.t
val state :
t ->
Zkapp_basic.F.Stable.V1.t Eq_data.Stable.V1.t Zkapp_state.V.Stable.V1.t
val delegate :
t ->
Signature_lib.Public_key.Compressed.Stable.V1.t Eq_data.Stable.V1.t
val receipt_chain_hash : t -> Receipt.Chain_hash.Stable.V1.t Hash.Stable.V1.t
val nonce : t -> Mina_numbers.Account_nonce.Stable.V1.t Numeric.Stable.V1.t
val balance : t -> Currency.Balance.Stable.V1.t Numeric.Stable.V1.t
module Fields : sig ... end