Transaction_union (mina_transaction.Mina_transaction.Transaction

module Tag = Mina_base.Transaction_union_tag

module Payload = Mina_base.Transaction_union_payload

type ('payload, 'pk, 'signature) t_ = {

payload : 'payload;

signer : 'pk;

signature : 'signature;

}

val equal_t_ : 
  'payload 'pk 'signature. ( 'payload -> 'payload -> bool ) ->
  ( 'pk -> 'pk -> bool ) ->
  ( 'signature -> 'signature -> bool ) ->
  ( 'payload, 'pk, 'signature ) t_ ->
  ( 'payload, 'pk, 'signature ) t_ ->
  bool

val t__of_sexp : 
  'payload 'pk 'signature. ( Ppx_sexp_conv_lib.Sexp.t -> 'payload ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'pk ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'signature ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'payload, 'pk, 'signature ) t_

val sexp_of_t_ : 
  'payload 'pk 'signature. ( 'payload -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'pk -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'signature -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'payload, 'pk, 'signature ) t_ ->
  Ppx_sexp_conv_lib.Sexp.t

val hash_fold_t_ : 
  'payload 'pk 'signature. ( Ppx_hash_lib.Std.Hash.state ->
                             'payload ->
                             Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'pk -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'signature -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'payload, 'pk, 'signature ) t_ ->
  Ppx_hash_lib.Std.Hash.state

val t__to_hlist : 
  ( 'payload, 'pk, 'signature ) t_ ->
  ( unit, 'payload -> 'pk -> 'signature -> unit ) H_list.t

val t__of_hlist : 
  ( unit, 'payload -> 'pk -> 'signature -> unit ) H_list.t ->
  ( 'payload, 'pk, 'signature ) t_

type t = ( Payload.t, Signature_lib.Public_key.t, Mina_base.Signature.t ) t_

type var =
  ( Payload.var, Signature_lib.Public_key.var, Mina_base.Signature.var ) t_

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

val of_transaction : Mina_base.Signed_command.t Transaction.Poly.t -> t

For SNARK purposes, we inject Transaction.ts into a single-variant 'tagged-union' record capable of representing all the variants. We interpret the fields of this union in different ways depending on the value of the payload.body.tag field, which represents which variant of Transaction.t the value corresponds to.

Sometimes we interpret fields in surprising ways in different cases to save as much space in the SNARK as possible (e.g., payload.body.public_key is interpreted as the recipient of a payment, the new delegate of a stake delegation command, and a fee transfer recipient for both coinbases and fee-transfers.

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

val expected_supply_increase : t -> Currency.Amount.t