Transaction_union_payload (mina_base.Mina_base.Transaction_union

module Tag = Transaction_union_tag

module Body : sig ... end

module Payload_common : sig ... end

type t = ( Payload_common.t, Body.t ) Signed_command_payload.Poly.t

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

type payload = t

val payload_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> payload

val sexp_of_payload : payload -> Ppx_sexp_conv_lib.Sexp.t

val of_user_command_payload : Signed_command_payload.t -> t

val gen : 
  ( Signed_command_payload.Common.t,
    ( Tag.t,
      Signature_lib.Public_key.Compressed.t,
      Account_id.Digest.t,
      Currency.Amount.Stable.Latest.t,
      Core_kernel__.Import.bool )
      Body.t_ )
    Signed_command_payload.Poly.t
    Core_kernel__Quickcheck.Generator.t

type var = ( Payload_common.Checked.t, Body.var ) Signed_command_payload.Poly.t

type payload_var = var

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

val payload_typ : ( var, t ) Snark_params.Tick.Typ.t

module Checked : sig ... end

val to_input_legacy : 
  t ->
  ( Snark_params.Tick.Field.t, bool ) Random_oracle.Input.Legacy.t

val excess : t -> Currency.Amount.Signed.t

val fee_excess : 
  t ->
  ( Account_id.Digest.t, Currency.Fee.Signed.t ) Fee_excess.poly

val expected_supply_increase : payload -> Currency.Amount.t