Stable.V2type 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.tval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_orval _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_orval bin_size_t : t Core_kernel.Bin_prot.Size.sizerval bin_write_t : t Core_kernel.Bin_prot.Write.writerval bin_writer_t : t Core_kernel.Bin_prot.Type_class.writerval __bin_read_t__ : ( int -> t ) Core_kernel.Bin_prot.Read.readerval bin_read_t : t Core_kernel.Bin_prot.Read.readerval bin_reader_t : t Core_kernel.Bin_prot.Type_class.readerval bin_t : t Core_kernel.Bin_prot.Type_class.tval 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.tval 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 ->
tval t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tval sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.tval hash_fold_t :
Ppx_hash_lib.Std.Hash.state ->
t ->
Ppx_hash_lib.Std.Hash.stateval hash : t -> Ppx_hash_lib.Std.Hash.hash_valueval is_new : t -> bool Eq_data.Stable.V1.tval proved_state : t -> bool Eq_data.Stable.V1.tval sequence_state : t -> Zkapp_basic.F.Stable.V1.t Eq_data.Stable.V1.tval state :
t ->
Zkapp_basic.F.Stable.V1.t Eq_data.Stable.V1.t Zkapp_state.V.Stable.V1.tval delegate :
t ->
Signature_lib.Public_key.Compressed.Stable.V1.t Eq_data.Stable.V1.tval receipt_chain_hash : t -> Receipt.Chain_hash.Stable.V1.t Hash.Stable.V1.tval nonce : t -> Mina_numbers.Account_nonce.Stable.V1.t Numeric.Stable.V1.tval balance : t -> Currency.Balance.Stable.V1.t Numeric.Stable.V1.tmodule Fields : sig ... end