Body (mina_base.Mina_base.Transaction_union

type ('tag, 'public_key, 'token_id, 'amount, 'bool) t_ = {

tag : 'tag;

source_pk : 'public_key;

receiver_pk : 'public_key;

token_id : 'token_id;

amount : 'amount;

token_locked : 'bool;

}

val t__of_sexp : 
  'tag 'public_key 'token_id 'amount 'bool. ( Ppx_sexp_conv_lib.Sexp.t ->
                                              'tag ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'public_key ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'token_id ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'amount ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'bool ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'tag, 'public_key, 'token_id, 'amount, 'bool ) t_

val sexp_of_t_ : 
  'tag 'public_key 'token_id 'amount 'bool. ( 'tag ->
                                              Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'public_key -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'token_id -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'amount -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'bool -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'tag, 'public_key, 'token_id, 'amount, 'bool ) t_ ->
  Ppx_sexp_conv_lib.Sexp.t

val t__to_hlist : 
  ( 'tag, 'public_key, 'token_id, 'amount, 'bool ) t_ ->
  ( unit,
    'tag ->
    'public_key ->
    'public_key ->
    'token_id ->
    'amount ->
    'bool ->
    unit )
    H_list.t

val t__of_hlist : 
  ( unit,
    'tag ->
    'public_key ->
    'public_key ->
    'token_id ->
    'amount ->
    'bool ->
    unit )
    H_list.t ->
  ( 'tag, 'public_key, 'token_id, 'amount, 'bool ) t_

type t =
  ( Tag.t,
    Signature_lib.Public_key.Compressed.t,
    Token_id.t,
    Currency.Amount.t,
    bool )
    t_

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val of_user_command_payload_body : 
  Signed_command_payload.Body.t ->
  ( Tag.t,
    Mina_base_import.Public_key.Compressed.Stable.V1.t,
    Account_id.Digest.t,
    Currency.Amount.Stable.V1.t,
    bool )
    t_

val gen : 
  fee:Currency.Fee.t ->
  ( Tag.t,
    Signature_lib.Public_key.Compressed.t,
    Account_id.Digest.t,
    Currency.Amount.Stable.Latest.t,
    Core_kernel__.Import.bool )
    t_
    Core_kernel__Quickcheck.Generator.t

type var =
  ( Tag.Unpacked.var,
    Signature_lib.Public_key.Compressed.var,
    Token_id.Checked.t,
    Currency.Amount.var,
    Snark_params.Tick.Boolean.var )
    t_

val typ : 
  ( ( Tag.Unpacked.var,
      Signature_lib.Public_key.Compressed.var,
      Account_id.Digest.Checked.t,
      Currency.Amount.var,
      Snark_params.Tick.Boolean.var )
      t_,
    ( Tag.t,
      Signature_lib.Public_key.Compressed.t,
      Account_id.Digest.t,
      Currency.Amount.Stable.Latest.t,
      Snark_params.Tick.Boolean.value )
      t_ )
    Snark_params.Tick.Typ.t

module Checked : sig ... end

val to_input_legacy : 
  ( Tag.t,
    Signature_lib.Public_key.Compressed.t,
    Mina_wire_types.Mina_base.Account_id.Digest.V1.t,
    Currency.Amount.Stable.Latest.t,
    bool )
    t_ ->
  ( Snark_params.Tick.Field.t, bool ) Random_oracle.Input.Legacy.t