Gen (mina_base.Mina_base.User

val to_signed_command : 
  'a Core_kernel.Quickcheck.Generator.t ->
  ( 'b, 'c ) 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 ->
  ( Signed_command.t, 'a ) 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 ->
  ( Signed_command.t, 'a ) 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 ->
  ( Signed_command.t, 'a ) 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 ->
  ( Signed_command.t, 'a ) 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
   * Account_timing.t)
    array ->
  ( Signed_command.t, 'a ) t_ list Core_kernel.Quickcheck.Generator.t