Payload_common (mina_base.Mina_base.Transaction_union_payload.Payload

module Poly : sig ... end

val to_signed_command_payload_common : 
  ( 'a, 'b, 'c, 'd, 'e, 'f ) Poly.t ->
  ( 'g, 'h, 'i, 'j, 'k ) Signed_command_payload.Common.Poly.t

type t =
  ( Currency.Fee.t,
    Signature_lib.Public_key.Compressed.t,
    Token_id.t,
    Mina_numbers.Account_nonce.t,
    Mina_numbers.Global_slot.t,
    Signed_command_memo.t )
    Poly.t

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

module Checked : sig ... end

val typ : ( Checked.t, t ) Snark_params.Tick.Typ.t