User_command (mina_base.Mina_base.User

module Poly : sig ... end

type ('u, 's) t_ = ( 'u, 's ) Poly.Stable.Latest.t =

| Signed_command of 'u

| Zkapp_command of 's

module Gen_make (C : Signed_command_intf.Gen_intf) : sig ... end

module Gen : sig ... end

val gen_signed : 
  ( Signed_command_payload.Stable.V2.t,
    Mina_base_import.Public_key.Stable.V1.t,
    Signature.Stable.V1.t )
    Mina_wire_types.Mina_base.Signed_command.Poly.V1.t
    Core_kernel__Quickcheck.Generator.t

val gen : 
  ( ( Signed_command_payload.Stable.V2.t,
      Mina_base_import.Public_key.Stable.V1.t,
      Signature.Stable.V1.t )
      Mina_wire_types.Mina_base.Signed_command.Poly.V1.t,
    'a )
    t_
    Core_kernel.Quickcheck.Generator.t

module Stable : sig ... end

type t = Stable.Latest.t

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val compare : t -> t -> int

val equal : t -> t -> bool

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

val to_base64 : t -> string

val of_base64 : string -> t Core_kernel.Or_error.t

module Zero_one_or_two : sig ... end

module Verifiable : sig ... end

val to_verifiable : 
  t ->
  ledger:'a ->
  get:( 'b -> 'c -> Account.t option ) ->
  location_of_account:( 'b -> Account_id.t -> 'c option ) ->
  Verifiable.t Core_kernel.Or_error.t

val of_verifiable : Verifiable.t -> t

val fee : t -> Currency.Fee.t

val minimum_fee : Currency.Fee.Stable.Latest.t

val has_insufficient_fee : t -> bool

val accounts_accessed : 
  t ->
  Transaction_status.t ->
  Account_id.t Core_kernel.List.t

val accounts_referenced : t -> Account_id.t Core_kernel.List.t

val fee_payer : t -> Account_id.t

val applicable_at_nonce : t -> Mina_numbers.Account_nonce.t

The application nonce is the nonce of the fee payer at which a user command can be applied.

val expected_target_nonce : t -> Account.Nonce.t

val target_nonce_on_success : t -> Account.Nonce.t

The target nonce is what the nonce of the fee payer will be after a user command is successfully applied.

val fee_token : t -> Token_id.t

val valid_until : t -> Mina_numbers.Global_slot.t

module Valid : sig ... end

val check : 
  ledger:'a ->
  get:( 'b -> 'c -> Account.t option ) ->
  location_of_account:( 'b -> Account_id.t -> 'c option ) ->
  t ->
  Valid.t Core_kernel.Or_error.t

val forget_check : Valid.t -> t

val to_valid_unsafe : 
  t ->
  [> `If_this_is_used_it_should_have_a_comment_justifying_it of
       ( Signed_command.With_valid_signature.t, Zkapp_command.Valid.t ) t_ ]

val filter_by_participant : 
  t list ->
  Signature_lib.Public_key.Compressed.t ->
  t list

val weight : t -> int

val fee_per_wu : Stable.Latest.t -> Currency.Fee_rate.t

val valid_size : 
  genesis_constants:Genesis_constants.t ->
  ( 'a, Zkapp_command.t ) t_ ->
  ( unit, Core_kernel__.Error.t ) Core_kernel._result