For_tests (transaction_snark.Transaction_snark.For

module Deploy_snapp_spec : sig ... end

val deploy_snapp : 
  ?no_auth:bool ->
  ?default_permissions:bool ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  Deploy_snapp_spec.t ->
  Mina_base.Zkapp_command.t

module Update_states_spec : sig ... end

val update_states : 
  ?receiver_auth:Mina_base.Control.Tag.t ->
  ?zkapp_prover:
    ( unit,
      unit,
      unit,
      Mina_base.Zkapp_statement.t,
      (unit
       * unit
       * ( Pickles_types.Nat.N2.n, Pickles_types.Nat.N2.n ) Pickles.Proof.t)
        Async.Deferred.t )
      Pickles.Prover.t ->
  ?empty_sender:bool ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  Update_states_spec.t ->
  Mina_base.Zkapp_command.t Async.Deferred.t

val create_trivial_predicate_snapp : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  ?protocol_state_predicate:Mina_base.Zkapp_precondition.Protocol_state.t ->
  snapp_kp:Signature_lib.Keypair.t ->
  Mina_transaction_logic.For_tests.Transaction_spec.t ->
  Mina_ledger.Ledger.t ->
  Mina_base.Zkapp_command.t Async.Deferred.t

val trivial_zkapp_account : 
  ?permissions:Mina_base.Permissions.t ->
  vk:
    ( Mina_base.Side_loaded_verification_key.t, Snark_params.Tick.Field.t )
      With_hash.t ->
  Mina_base.Account.key ->
  Mina_base.Account.t

val create_trivial_zkapp_account : 
  ?permissions:Mina_base.Permissions.t ->
  vk:
    ( Mina_base.Side_loaded_verification_key.t, Snark_params.Tick.Field.t )
      With_hash.t ->
  ledger:Mina_ledger.Ledger.t ->
  Mina_base.Account.key ->
  unit

val create_trivial_snapp : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  unit ->
  [> `VK of
       ( Mina_base.Side_loaded_verification_key.t, Snark_params.Tick.Field.t )
         With_hash.t ]
  * [> `Prover of
         ( unit,
           unit,
           unit,
           Mina_base.Zkapp_statement.t,
           (unit
            * unit
            * ( Pickles_types.Nat.N2.n, Pickles_types.Nat.N2.n )
                Pickles.Proof.t)
             Async.Deferred.t )
           Pickles.Prover.t ]

module Multiple_transfers_spec : sig ... end

val multiple_transfers : Multiple_transfers_spec.t -> Mina_base.Zkapp_command.t