For_tests (mina_transaction_logic.Mina_transaction_logic.For

module Account_without_receipt_chain_hash : sig ... end

val min_init_balance : Core_kernel.Int64.t

val max_init_balance : Core_kernel.Int64.t

val num_accounts : int

val num_transactions : int

val depth : int

module Init_ledger : sig ... end

module Transaction_spec : sig ... end

module Test_spec : sig ... end

val command_send : Transaction_spec.t -> Mina_base.Signed_command.t

val account_update_send : 
  ?use_full_commitment:bool ->
  ?double_sender_nonce:bool ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  Transaction_spec.t ->
  Mina_base.Zkapp_command.t

val test_eq : 
  (module Mina_base.Ledger_intf.S with type t = 'l) ->
  Mina_base.Account_id.t list ->
  'l0 ->
  'l0 ->
  unit Core_kernel.Or_error.t

val txn_global_slot : Mina_numbers.Global_slot.t

val iter_err : 
  'a list ->
  f:( 'b -> ( 'c, 'd ) Core_kernel._result ) ->
  ( unit, 'e ) Core_kernel._result

val view : Mina_base.Zkapp_precondition.Protocol_state.View.t

val gen_zkapp_command_from_test_spec : 
  ( constraint_constants:Genesis_constants.Constraint_constants.t ->
    Mina_base.Zkapp_command.t )
    Core_kernel__Quickcheck.Generator.t