Checked (mina_base.Mina_base.Transaction_union_payload.Payload

type value = t

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

val constant : value -> t