For_tests.Update_states_spectype t = {fee : Currency.Fee.t; |
sender : Signature_lib.Keypair.t * Mina_base.Account.Nonce.t; |
fee_payer : (Signature_lib.Keypair.t * Mina_base.Account.Nonce.t) option; |
receivers : (Signature_lib.Keypair.t * Currency.Amount.t) list; |
amount : Currency.Amount.t; |
zkapp_account_keypairs : Signature_lib.Keypair.t list; |
memo : Mina_base.Signed_command_memo.t; |
new_zkapp_account : bool; |
snapp_update : Mina_base.Account_update.Update.t; |
current_auth : Mina_base.Permissions.Auth_required.t; |
sequence_events : Snark_params.Tick.Field.t array list; |
events : Snark_params.Tick.Field.t array list; |
call_data : Snark_params.Tick.Field.t; |
preconditions : Mina_base.Account_update.Preconditions.t option; |
}