Module Mina_base.Account_update

module Impl = Pickles.Impls.Step
module Digest = Random_oracle.Digest
module type Type = sig ... end
module Authorization_kind : sig ... end
module Call_type : sig ... end
module Update : sig ... end
module Events = Zkapp_account.Events
module Sequence_events = Zkapp_account.Sequence_events
module Account_precondition : sig ... end
module Preconditions : sig ... end
module Body : sig ... end
module T : sig ... end
module Fee_payer : sig ... end
include module type of struct include T end
module Graphql_repr = T.Graphql_repr
module Simple = T.Simple
module Wire = T.Wire
module Stable = T.Stable
type t = Stable.Latest.t = {
body : Body.t;
authorization : Control.t;
}

A account_update to a zkApp transaction

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 t_fields_annots : string -> (string * string option) list
val t_toplevel_annots : unit -> (string * string option) list
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val equal : t -> t -> bool
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 compare : t -> t -> int
val authorization : t -> Control.t
val body : t -> Body.t
module Fields = T.Fields
val of_graphql_repr : Graphql_repr.t -> t
val to_graphql_repr : t -> call_depth:int -> Graphql_repr.t
val gen : Token_id.t -> t Core_kernel.Quickcheck.Generator.t
val to_wire : t -> Call_type.t -> Wire.t
val digest : t -> Random_oracle.Digest.t
module Checked = T.Checked
val account_id : t -> Account_id.t
val verification_key_update_to_option : t -> ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t option Zkapp_basic.Set_or_keep.t
val of_fee_payer : Fee_payer.t -> t
val balance_change : t -> Currency.Amount.Signed.t

The change in balance to apply to the target account of this account_update. When this is negative, the amount will be withdrawn from the account and made available to later zkapp_command in the same transaction. When this is positive, the amount will be deposited into the account from the funds made available by previous zkapp_command in the same transaction.

val protocol_state_precondition : t -> Zkapp_precondition.Protocol_state.t
val token_id : t -> Token_id.t
val use_full_commitment : t -> bool
val increment_nonce : t -> bool