Inputs (mina_transaction_logic.Mina_transaction_logic.Zkapp_command

val with_label : label:string -> ( unit -> 'a ) -> 'a

module Bool : Bool_intf

module Field : Iffable with type bool := Bool.t

module Amount : Amount_intf with type bool := Bool.t

module Balance : 
  Balance_intf
    with type bool := Bool.t
     and type amount := Amount.t
     and type signed_amount := Amount.Signed.t

module Public_key : Iffable with type bool := Bool.t

module Token_id : Token_id_intf with type bool := Bool.t

module Account_id : 
  Account_id_intf
    with type bool := Bool.t
     and type public_key := Public_key.t
     and type token_id := Token_id.t

module Set_or_keep : Set_or_keep_intf with type bool := Bool.t

module Protocol_state_precondition : Protocol_state_precondition_intf

module Controller : Controller_intf with type bool := Bool.t

module Global_slot : Global_slot_intf with type bool := Bool.t

module Nonce : sig ... end

module State_hash : Iffable with type bool := Bool.t

module Timing : 
  Timing_intf with type bool := Bool.t and type global_slot := Global_slot.t

module Verification_key : Iffable with type bool := Bool.t

module Zkapp_uri : Iffable with type bool := Bool.t

module Token_symbol : Iffable with type bool := Bool.t

module Opt : Opt_intf with type bool := Bool.t

module Receipt_chain_hash : 
  Receipt_chain_hash_intf
    with type bool := Bool.t
     and type transaction_commitment := Transaction_commitment.t
     and type index := Index.t

module Account : 
  Account_intf
    with type Permissions.controller := Controller.t
     and type timing := Timing.t
     and type balance := Balance.t
     and type receipt_chain_hash := Receipt_chain_hash.t
     and type bool := Bool.t
     and type global_slot := Global_slot.t
     and type field := Field.t
     and type verification_key := Verification_key.t
     and type zkapp_uri := Zkapp_uri.t
     and type token_symbol := Token_symbol.t
     and type public_key := Public_key.t
     and type nonce := Nonce.t
     and type state_hash := State_hash.t
     and type token_id := Token_id.t
     and type account_id := Account_id.t

module Sequence_events : 
  Sequence_events_intf with type bool := Bool.t and type field := Field.t

module Account_update : 
  Account_update_intf
    with type signed_amount := Amount.Signed.t
     and type protocol_state_precondition := Protocol_state_precondition.t
     and type token_id := Token_id.t
     and type bool := Bool.t
     and type account := Account.t
     and type public_key := Public_key.t
     and type nonce := Nonce.t
     and type account_id := Account_id.t
     and type Update.timing := Timing.t
     and type 'a Update.set_or_keep := 'a Set_or_keep.t
     and type Update.field := Field.t
     and type Update.verification_key := Verification_key.t
     and type Update.sequence_events := Sequence_events.t
     and type Update.zkapp_uri := Zkapp_uri.t
     and type Update.token_symbol := Token_symbol.t
     and type Update.state_hash := State_hash.t
     and type Update.permissions := Account.Permissions.t

module Nonce_precondition : sig ... end

module Ledger : 
  Ledger_intf
    with type bool := Bool.t
     and type account := Account.t
     and type account_update := Account_update.t
     and type token_id := Token_id.t
     and type public_key := Public_key.t

module Call_forest : 
  Call_forest_intf
    with type t = Account_update.call_forest
     and type bool := Bool.t
     and type account_update := Account_update.t
     and module Opt := Opt

module Stack_frame : 
  Stack_frame_intf
    with type bool := Bool.t
     and type call_forest := Call_forest.t
     and type caller := Token_id.t

module Call_stack : 
  Call_stack_intf
    with type stack_frame := Stack_frame.t
     and type bool := Bool.t
     and module Opt := Opt

module Transaction_commitment : sig ... end

module Index : sig ... end

module Local_state : sig ... end

module Global_state : sig ... end