Zkapp_command_builderval mk_forest :
( Mina_base.Account_update.Body.Simple.t, unit, unit )
Mina_wire_types.Mina_base.Zkapp_command.Call_forest.Tree.V1.t
list ->
( Mina_base.Account_update.Body.Simple.t, unit, unit )
Mina_base.Zkapp_command.Call_forest.tval mk_node :
Mina_base.Account_update.Body.Simple.t ->
( Mina_base.Account_update.Body.Simple.t, unit, unit )
Mina_wire_types.Mina_base.Zkapp_command.Call_forest.Tree.V1.t
list ->
( Mina_base.Account_update.Body.Simple.t, unit, unit )
Mina_base.Zkapp_command.Call_forest.Tree.tval mk_account_update_body :
Mina_wire_types.Mina_base.Account_update.Authorization_kind.V1.t ->
Mina_base__Account_update.Call_type.Stable.V1.t ->
Signature_lib.Keypair.t ->
Mina_base.Token_id.t ->
Core_kernel.Int.t ->
Mina_base.Account_update.Body.Simple.tval mk_zkapp_command :
?memo:string ->
fee:int ->
fee_payer_pk:Signature_lib.Public_key.Compressed.t ->
fee_payer_nonce:Mina_numbers.Account_nonce.t ->
( ( Mina_base.Account_update.Body.Simple.t, 'a, 'b )
Mina_base.Zkapp_command.Call_forest.Tree.t,
'b )
Mina_base.With_stack_hash.t
list ->
Mina_base.Zkapp_command.tval get_transaction_commitments :
Mina_base.Zkapp_command.t ->
Mina_base.Zkapp_command.Transaction_commitment.t * Random_oracle.Digest.tval replace_authorizations :
?prover:
( ?handler:
( Snarky_backendless.Request.request ->
Snarky_backendless.Request.response ) ->
Mina_base.Zkapp_statement.t ->
(unit * unit * Pickles.Side_loaded.Proof.t) Async_kernel__Deferred.t ) ->
keymap:
Signature_lib.Schnorr.Chunked.Private_key.t
Signature_lib.Public_key.Compressed.Map.t ->
Mina_base.Zkapp_command.t ->
Mina_base.Zkapp_command.t Async_kernel.Deferred.t