Zkapp_command_logic (mina_transaction_logic.Mina_transaction_logic.Zkapp_command

module type Iffable = sig ... end

module type Bool_intf = sig ... end

module type Balance_intf = sig ... end

module type Receipt_chain_hash_intf = sig ... end

module type Amount_intf = sig ... end

module type Account_id_intf = sig ... end

module type Global_slot_intf = sig ... end

module type Timing_intf = sig ... end

module type Token_id_intf = sig ... end

module type Sequence_events_intf = sig ... end

module type Protocol_state_precondition_intf = sig ... end

module Local_state : sig ... end

module type Set_or_keep_intf = sig ... end

module type Account_update_intf = sig ... end

module type Opt_intf = sig ... end

module type Stack_intf = sig ... end

module type Call_forest_intf = sig ... end

module type Stack_frame_intf = sig ... end

module type Call_stack_intf = sig ... end

module type Ledger_intf = sig ... end

module type Controller_intf = sig ... end

module type Account_intf = sig ... end

module Eff : sig ... end

type 'e handler = {

perform : 'r. ( 'r, 'e ) Eff.t -> 'r;

}

module type Inputs_intf = sig ... end

module Start_data : sig ... end

module Make (Inputs : Inputs_intf) : sig ... end