User_command_generators (mina_generators.Mina_generators.User_command

module Ledger = Mina_ledger.Ledger

include module type of struct include Mina_base.User_command.Gen end

val to_signed_command : 
  'a Core_kernel.Quickcheck.Generator.t ->
  ( 'b, 'c ) Mina_base.User_command.t_ Core_kernel.Quickcheck.Generator.t

val payment : 
  ?sign_type:[ `Fake | `Real ] ->
  key_gen:
    (Mina_base_import.Signature_keypair.t
     * Mina_base_import.Signature_keypair.t)
      Core_kernel.Quickcheck.Generator.t ->
  ?nonce:Mina_numbers.Account_nonce.t ->
  max_amount:int ->
  fee_range:int ->
  unit ->
  ( Mina_base.Signed_command.t, 'a ) Mina_base.User_command.t_
    Core_kernel.Quickcheck.Generator.t

val payment_with_random_participants : 
  ?sign_type:[ `Fake | `Real ] ->
  keys:Mina_base_import.Signature_keypair.t array ->
  ?nonce:Mina_numbers.Account_nonce.t ->
  max_amount:int ->
  fee_range:int ->
  unit ->
  ( Mina_base.Signed_command.t, 'a ) Mina_base.User_command.t_
    Core_kernel.Quickcheck.Generator.t

val stake_delegation : 
  key_gen:
    (Mina_base_import.Signature_keypair.t
     * Mina_base_import.Signature_keypair.t)
      Core_kernel.Quickcheck.Generator.t ->
  ?nonce:Mina_numbers.Account_nonce.t ->
  fee_range:int ->
  unit ->
  ( Mina_base.Signed_command.t, 'a ) Mina_base.User_command.t_
    Core_kernel.Quickcheck.Generator.t

val stake_delegation_with_random_participants : 
  keys:Mina_base_import.Signature_keypair.t array ->
  ?nonce:Mina_numbers.Account_nonce.t ->
  fee_range:int ->
  unit ->
  ( Mina_base.Signed_command.t, 'a ) Mina_base.User_command.t_
    Core_kernel.Quickcheck.Generator.t

val sequence : 
  ?length:int ->
  ?sign_type:[ `Fake | `Real ] ->
  (Signature_lib.Keypair.t
   * Currency.Amount.t
   * Mina_numbers.Account_nonce.t
   * Mina_base.Account_timing.t)
    array ->
  ( Mina_base.Signed_command.t, 'a ) Mina_base.User_command.t_ list
    Core_kernel.Quickcheck.Generator.t

val ledger_depth : int

val zkapp_command_with_ledger : 
  ?num_keypairs:int ->
  ?max_account_updates:int ->
  ?max_token_updates:int ->
  ?account_state_tbl:
    (Mina_base.Account.t * Zkapp_command_generators.role)
      Mina_base.Account_id.Table.t ->
  ?vk:
    ( Mina_base.Side_loaded_verification_key.t, Random_oracle.Digest.t )
      With_hash.t ->
  ?failure:Zkapp_command_generators.failure ->
  unit ->
  (( 'a, Mina_base.Zkapp_command.Valid.t ) Mina_base.User_command.t_
   * Signature_lib.Keypair.t
   * Signature_lib.Private_key.t Signature_lib.Public_key.Compressed.Map.t
   * Ledger.t)
    Core_kernel__Quickcheck.Generator.t

val sequence_zkapp_command_with_ledger : 
  ?max_account_updates:int ->
  ?max_token_updates:int ->
  ?length:Core_kernel__.Import.int ->
  ?vk:
    ( Mina_base.Side_loaded_verification_key.t, Random_oracle.Digest.t )
      With_hash.t ->
  ?failure:Zkapp_command_generators.failure ->
  unit ->
  ((( 'a, Mina_base.Zkapp_command.Valid.t ) Mina_base.User_command.t_
    * Signature_lib.Keypair.t
    * Signature_lib.Private_key.t Signature_lib.Public_key.Compressed.Map.t)
     list
   * Ledger.t)
    Core_kernel__Quickcheck.Generator.t