Module 1-Inputs.Account

type t
module Permissions : sig ... end
val timing : t -> Timing.t
val set_timing : t -> Timing.t -> t
val is_timed : t -> Bool.t
val set_token_id : t -> Token_id.t -> t
val balance : t -> Balance.t
val set_balance : Balance.t -> t -> t
val check_timing : txn_global_slot:Global_slot.t -> t -> [ `Invalid_timing of Bool.t | `Insufficient_balance of Bool.t ] * Timing.t
val receipt_chain_hash : t -> Receipt_chain_hash.t
val set_receipt_chain_hash : t -> Receipt_chain_hash.t -> t
val make_zkapp : t -> t

Fill the snapp field of the account if it's currently None

val unmake_zkapp : t -> t

If the current account has no snapp fields set, reset its snapp field to None.

val proved_state : t -> Bool.t
val set_proved_state : Bool.t -> t -> t
val set_app_state : Field.t Mina_base.Zkapp_state.V.t -> t -> t
val register_verification_key : t -> unit
val verification_key : t -> Verification_key.t
val set_verification_key : Verification_key.t -> t -> t
val last_sequence_slot : t -> Global_slot.t
val set_last_sequence_slot : Global_slot.t -> t -> t
val sequence_state : t -> Field.t Pickles_types.Vector.Vector_5.t
val set_sequence_state : Field.t Pickles_types.Vector.Vector_5.t -> t -> t
val zkapp_uri : t -> Zkapp_uri.t
val set_zkapp_uri : Zkapp_uri.t -> t -> t
val token_symbol : t -> Token_symbol.t
val set_token_symbol : Token_symbol.t -> t -> t
val public_key : t -> Public_key.t
val set_public_key : Public_key.t -> t -> t
val delegate : t -> Public_key.t
val set_delegate : Public_key.t -> t -> t
val nonce : t -> Nonce.t
val set_nonce : Nonce.t -> t -> t
val voting_for : t -> State_hash.t
val set_voting_for : State_hash.t -> t -> t
val permissions : t -> Permissions.t
val set_permissions : Permissions.t -> t -> t