T (mina_ledger.Mina_ledger.Sparse

module Transaction_applied : sig ... end

module Global_state : sig ... end

val apply_user_command : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  txn_global_slot:Mina_transaction_logic.Global_slot.t ->
  L.t ->
  Mina_base.Signed_command.With_valid_signature.t ->
  Transaction_applied.Signed_command_applied.t Core_kernel.Or_error.t

val apply_user_command_unchecked : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  txn_global_slot:Mina_transaction_logic.Global_slot.t ->
  L.t ->
  Mina_base.Signed_command.t ->
  Transaction_applied.Signed_command_applied.t Core_kernel.Or_error.t

val update_sequence_state : 
  Snark_params.Tick.Field.t Pickles_types.Vector.Vector_5.t ->
  Mina_base.Zkapp_account.Sequence_events.t ->
  txn_global_slot:Mina_transaction_logic.Global_slot.t ->
  last_sequence_slot:Mina_transaction_logic.Global_slot.t ->
  Snark_params.Tick.Field.t Pickles_types.Vector.Vector_5.t
  * Mina_transaction_logic.Global_slot.t

val apply_zkapp_command_unchecked : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  state_view:Mina_base.Zkapp_precondition.Protocol_state.View.t ->
  L.t ->
  Mina_base.Zkapp_command.t ->
  (Transaction_applied.Zkapp_command_applied.t
   * (( Mina_base.Stack_frame.value,
        Mina_base.Stack_frame.value list,
        Mina_base.Token_id.t,
        Currency.Amount.Signed.t,
        L.t,
        bool,
        Mina_base.Zkapp_command.Transaction_commitment.t,
        Mina_numbers.Index.t,
        Mina_base.Transaction_status.Failure.Collection.t )
        Mina_transaction_logic.Zkapp_command_logic.Local_state.t
      * Currency.Amount.Signed.t))
    Core_kernel.Or_error.t

val apply_zkapp_command_unchecked_aux : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  state_view:Mina_base.Zkapp_precondition.Protocol_state.View.t ->
  init:'acc ->
  f:
    ( 'acc ->
      (Global_state.t
       * ( Mina_base.Stack_frame.value,
           Mina_base.Stack_frame.value list,
           Mina_base.Token_id.t,
           Currency.Amount.Signed.t,
           L.t,
           bool,
           Mina_base.Zkapp_command.Transaction_commitment.t,
           Mina_numbers.Index.t,
           Mina_base.Transaction_status.Failure.Collection.t )
           Mina_transaction_logic.Zkapp_command_logic.Local_state.t) ->
      'acc ) ->
  ?fee_excess:Currency.Amount.Signed.t ->
  ?supply_increase:Currency.Amount.Signed.t ->
  L.t ->
  Mina_base.Zkapp_command.t ->
  (Transaction_applied.Zkapp_command_applied.t * 'acc) Core_kernel.Or_error.t

val apply_fee_transfer : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  txn_global_slot:Mina_transaction_logic.Global_slot.t ->
  L.t ->
  Mina_base.Fee_transfer.t ->
  Transaction_applied.Fee_transfer_applied.t Core_kernel.Or_error.t

val apply_coinbase : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  txn_global_slot:Mina_transaction_logic.Global_slot.t ->
  L.t ->
  Mina_base.Coinbase.t ->
  Transaction_applied.Coinbase_applied.t Core_kernel.Or_error.t

val apply_transaction : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  txn_state_view:Mina_base.Zkapp_precondition.Protocol_state.View.t ->
  L.t ->
  Mina_transaction.Transaction.t ->
  Transaction_applied.t Core_kernel.Or_error.t

val has_locked_tokens : 
  global_slot:Mina_transaction_logic.Global_slot.t ->
  account_id:Mina_base.Account_id.t ->
  L.t ->
  bool Core_kernel.Or_error.t

module For_tests : sig ... end