> ## Documentation Index
> Fetch the complete documentation index at: https://docs.canton.network/llms.txt
> Use this file to discover all available pages before exploring further.

# Splice.Wallet.Install

> Documentation for Splice.Wallet.Install

## Templates

<div id="type-splice-wallet-install-walletappinstall-78445">
  **template** WalletAppInstall
</div>

> Signatory: endUserParty, validatorParty
>
> | Field          | Type                                                                                     | Description |
> | -------------- | ---------------------------------------------------------------------------------------- | ----------- |
> | dsoParty       | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
> | validatorParty | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
> | endUserName    | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        |             |
> | endUserParty   | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>
> * **Choice** Archive
>
>   Controller: endUserParty, validatorParty
>
>   Returns: ()
>
>   (no fields)
>
> * <div id="type-splice-wallet-install-walletappinstallacceptedtransferofferabort-68763">
>     **Choice** WalletAppInstall\_AcceptedTransferOffer\_Abort
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_AcceptedTransferOffer\_AbortResult
>
>   | Field  | Type                                                                                                                     | Description |
>   | ------ | ------------------------------------------------------------------------------------------------------------------------ | ----------- |
>   | cid    | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AcceptedTransferOffer |             |
>   | reason | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)                                        |             |
>
> * <div id="type-splice-wallet-install-walletappinstallacceptedtransferofferexpire-57521">
>     **Choice** WalletAppInstall\_AcceptedTransferOffer\_Expire
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_AcceptedTransferOffer\_ExpireResult
>
>   | Field | Type                                                                                                                     | Description |
>   | ----- | ------------------------------------------------------------------------------------------------------------------------ | ----------- |
>   | cid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AcceptedTransferOffer |             |
>
> * <div id="type-splice-wallet-install-walletappinstallacceptedtransferofferwithdraw-52092">
>     **Choice** WalletAppInstall\_AcceptedTransferOffer\_Withdraw
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_AcceptedTransferOffer\_WithdrawResult
>
>   | Field  | Type                                                                                                                     | Description |
>   | ------ | ------------------------------------------------------------------------------------------------------------------------ | ----------- |
>   | cid    | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AcceptedTransferOffer |             |
>   | reason | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)                                        |             |
>
> * <div id="type-splice-wallet-install-walletappinstallallocationfactoryallocate-87859">
>     **Choice** WalletAppInstall\_AllocationFactory\_Allocate
>   </div>
>
>   Controller: validatorParty
>
>   Returns: AllocationInstructionResult
>
>   | Field             | Type                                                                                                                 | Description |
>   | ----------------- | -------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | allocationFactory | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AllocationFactory |             |
>   | allocateArg       | AllocationFactory\_Allocate                                                                                          |             |
>
> * <div id="type-splice-wallet-install-walletappinstallallocationwithdraw-36167">
>     **Choice** WalletAppInstall\_Allocation\_Withdraw
>   </div>
>
>   Controller: validatorParty
>
>   Returns: Allocation\_WithdrawResult
>
>   | Field         | Type                                                                                                          | Description |
>   | ------------- | ------------------------------------------------------------------------------------------------------------- | ----------- |
>   | allocationCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Allocation |             |
>   | withdrawArg   | Allocation\_Withdraw                                                                                          |             |
>
> * <div id="type-splice-wallet-install-walletappinstallapppaymentrequestexpire-63657">
>     **Choice** WalletAppInstall\_AppPaymentRequest\_Expire
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_AppPaymentRequest\_ExpireResult
>
>   | Field | Type                                                                                                                 | Description |
>   | ----- | -------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AppPaymentRequest |             |
>
> * <div id="type-splice-wallet-install-walletappinstallapppaymentrequestreject-30597">
>     **Choice** WalletAppInstall\_AppPaymentRequest\_Reject
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_AppPaymentRequest\_RejectResult
>
>   | Field | Type                                                                                                                 | Description |
>   | ----- | -------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AppPaymentRequest |             |
>
> * <div id="type-splice-wallet-install-walletappinstallbuytrafficrequestcancel-57332">
>     **Choice** WalletAppInstall\_BuyTrafficRequest\_Cancel
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_BuyTrafficRequest\_CancelResult
>
>   | Field      | Type                                                                                                                 | Description |
>   | ---------- | -------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | requestCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) BuyTrafficRequest |             |
>   | reason     | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)                                    |             |
>
> * <div id="type-splice-wallet-install-walletappinstallbuytrafficrequestexpire-56287">
>     **Choice** WalletAppInstall\_BuyTrafficRequest\_Expire
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_BuyTrafficRequest\_ExpireResult
>
>   | Field      | Type                                                                                                                 | Description |
>   | ---------- | -------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | requestCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) BuyTrafficRequest |             |
>
> * <div id="type-splice-wallet-install-walletappinstallcreatebuytrafficrequest-33718">
>     **Choice** WalletAppInstall\_CreateBuyTrafficRequest
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_CreateBuyTrafficRequestResult
>
>   | Field          | Type                                                                                   | Description |
>   | -------------- | -------------------------------------------------------------------------------------- | ----------- |
>   | memberId       | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)      |             |
>   | synchronizerId | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)      |             |
>   | migrationId    | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)        |             |
>   | trafficAmount  | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)        |             |
>   | expiresAt      | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) |             |
>   | trackingId     | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)      |             |
>
> * <div id="type-splice-wallet-install-walletappinstallcreatetransferoffer-6821">
>     **Choice** WalletAppInstall\_CreateTransferOffer
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_CreateTransferOfferResult
>
>   | Field       | Type                                                                                     | Description |
>   | ----------- | ---------------------------------------------------------------------------------------- | ----------- |
>   | receiver    | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>   | amount      | PaymentAmount                                                                            |             |
>   | description | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        |             |
>   | expiresAt   | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)   |             |
>   | trackingId  | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        |             |
>
> * <div id="type-splice-wallet-install-walletappinstallexecutebatch-90628">
>     **Choice** WalletAppInstall\_ExecuteBatch
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_ExecuteBatchResult
>
>   | Field      | Type                   | Description |
>   | ---------- | ---------------------- | ----------- |
>   | context    | PaymentTransferContext |             |
>   | inputs     | \[TransferInput]       |             |
>   | operations | \[AmuletOperation]     |             |
>
> * <div id="type-splice-wallet-install-walletappinstallfeaturedapprightscancel-92504">
>     **Choice** WalletAppInstall\_FeaturedAppRights\_Cancel
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_FeaturedAppRights\_CancelResult
>
>   | Field | Type                                                                                                                | Description |
>   | ----- | ------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight |             |
>
> * <div id="type-splice-wallet-install-walletappinstallfeaturedapprightsselfgrant-7751">
>     **Choice** WalletAppInstall\_FeaturedAppRights\_SelfGrant
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_FeaturedAppRights\_SelfGrantResult
>
>   | Field          | Type                                                                                                           | Description |
>   | -------------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
>   | amuletRulesCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules |             |
>
> * <div id="type-splice-wallet-install-walletappinstallsubscriptionidlestatecancelsubscription-97037">
>     **Choice** WalletAppInstall\_SubscriptionIdleState\_CancelSubscription
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_SubscriptionIdleState\_CancelSubscriptionResult
>
>   | Field | Type                                                                                                                     | Description |
>   | ----- | ------------------------------------------------------------------------------------------------------------------------ | ----------- |
>   | cid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState |             |
>
> * <div id="type-splice-wallet-install-walletappinstallsubscriptionrequestreject-94073">
>     **Choice** WalletAppInstall\_SubscriptionRequest\_Reject
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_SubscriptionRequest\_RejectResult
>
>   | Field | Type                                                                                                                   | Description |
>   | ----- | ---------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionRequest |             |
>
> * <div id="type-splice-wallet-install-walletappinstalltransferfactorytransfer-23966">
>     **Choice** WalletAppInstall\_TransferFactory\_Transfer
>   </div>
>
>   Controller: validatorParty
>
>   Returns: TransferInstructionResult
>
>   | Field              | Type                                                                                                               | Description |
>   | ------------------ | ------------------------------------------------------------------------------------------------------------------ | ----------- |
>   | transferFactoryCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferFactory |             |
>   | transferArg        | TransferFactory\_Transfer                                                                                          |             |
>
> * <div id="type-splice-wallet-install-walletappinstalltransferinstructionaccept-23051">
>     **Choice** WalletAppInstall\_TransferInstruction\_Accept
>   </div>
>
>   Controller: validatorParty
>
>   Returns: TransferInstructionResult
>
>   | Field                  | Type                                                                                                                   | Description |
>   | ---------------------- | ---------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | transferInstructionCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferInstruction |             |
>   | acceptArg              | TransferInstruction\_Accept                                                                                            |             |
>
> * <div id="type-splice-wallet-install-walletappinstalltransferinstructionreject-1446">
>     **Choice** WalletAppInstall\_TransferInstruction\_Reject
>   </div>
>
>   Controller: validatorParty
>
>   Returns: TransferInstructionResult
>
>   | Field                  | Type                                                                                                                   | Description |
>   | ---------------------- | ---------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | transferInstructionCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferInstruction |             |
>   | rejectArg              | TransferInstruction\_Reject                                                                                            |             |
>
> * <div id="type-splice-wallet-install-walletappinstalltransferinstructionwithdraw-1151">
>     **Choice** WalletAppInstall\_TransferInstruction\_Withdraw
>   </div>
>
>   Controller: validatorParty
>
>   Returns: TransferInstructionResult
>
>   | Field                  | Type                                                                                                                   | Description |
>   | ---------------------- | ---------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | transferInstructionCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferInstruction |             |
>   | withdrawArg            | TransferInstruction\_Withdraw                                                                                          |             |
>
> * <div id="type-splice-wallet-install-walletappinstalltransferofferaccept-7295">
>     **Choice** WalletAppInstall\_TransferOffer\_Accept
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_TransferOffer\_AcceptResult
>
>   | Field | Type                                                                                                             | Description |
>   | ----- | ---------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferOffer |             |
>
> * <div id="type-splice-wallet-install-walletappinstalltransferofferexpire-5606">
>     **Choice** WalletAppInstall\_TransferOffer\_Expire
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_TransferOffer\_ExpireResult
>
>   | Field | Type                                                                                                             | Description |
>   | ----- | ---------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferOffer |             |
>
> * <div id="type-splice-wallet-install-walletappinstalltransferofferreject-96746">
>     **Choice** WalletAppInstall\_TransferOffer\_Reject
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_TransferOffer\_RejectResult
>
>   | Field | Type                                                                                                             | Description |
>   | ----- | ---------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferOffer |             |
>
> * <div id="type-splice-wallet-install-walletappinstalltransferofferwithdraw-19519">
>     **Choice** WalletAppInstall\_TransferOffer\_Withdraw
>   </div>
>
>   Controller: validatorParty
>
>   Returns: WalletAppInstall\_TransferOffer\_WithdrawResult
>
>   | Field  | Type                                                                                                             | Description |
>   | ------ | ---------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid    | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferOffer |             |
>   | reason | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)                                |             |

## Data Types

<div id="type-splice-wallet-install-amuletoperation-34848">
  **data** AmuletOperation
</div>

> <div id="constr-splice-wallet-install-coapppayment-62800">
>   CO\_AppPayment ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AppPaymentRequest)
> </div>
>
> <div id="constr-splice-wallet-install-cocompleteacceptedtransfer-10636">
>   CO\_CompleteAcceptedTransfer ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AcceptedTransferOffer)
> </div>
>
> <div id="constr-splice-wallet-install-cosubscriptionacceptandmakeinitialpayment-39374">
>   CO\_SubscriptionAcceptAndMakeInitialPayment ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionRequest)
> </div>
>
> <div id="constr-splice-wallet-install-cosubscriptionmakepayment-67209">
>   CO\_SubscriptionMakePayment ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState)
> </div>
>
> <div id="constr-splice-wallet-install-comergetransferinputs-20390">
>   CO\_MergeTransferInputs
> </div>
>
> <div id="constr-splice-wallet-install-cobuymembertraffic-66746">
>   CO\_BuyMemberTraffic
> </div>
>
> > | Field            | Type                                                                                                                                                                                                                         | Description |
> > | ---------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | trafficAmount    | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)                                                                                                                                              |             |
> > | memberId         | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)                                                                                                                                            |             |
> > | synchronizerId   | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)                                                                                                                                            |             |
> > | migrationId      | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)                                                                                                                                              |             |
> > | minTopupInterval | [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)                                                                                                                                  |             |
> > | topupStateCid    | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorTopUpState) |             |
>
> <div id="constr-splice-wallet-install-cocompletebuytrafficrequest-39331">
>   CO\_CompleteBuyTrafficRequest
> </div>
>
> > | Field             | Type                                                                                                                 | Description |
> > | ----------------- | -------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | trafficRequestCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) BuyTrafficRequest |             |
>
> <div id="constr-splice-wallet-install-cotap-54191">
>   CO\_Tap
> </div>
>
> > | Field     | Type                                                                                    | Description |
> > | --------- | --------------------------------------------------------------------------------------- | ----------- |
> > | tapAmount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) |             |
>
> <div id="constr-splice-wallet-install-extamuletoperation-64373">
>   ExtAmuletOperation
> </div>
>
> > | Field          | Type | Description                                                                                             |
> > | -------------- | ---- | ------------------------------------------------------------------------------------------------------- |
> > | dummyUnitField | ()   | Extension constructor (and field) to work around the current lack of upgrading for variants in Daml 3.0 |
>
> <div id="constr-splice-wallet-install-cocreateexternalpartysetupproposal-60911">
>   CO\_CreateExternalPartySetupProposal
> </div>
>
> > | Field                | Type                                                                                     | Description |
> > | -------------------- | ---------------------------------------------------------------------------------------- | ----------- |
> > | externalParty        | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
> > | preapprovalExpiresAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)   |             |
>
> <div id="constr-splice-wallet-install-coaccepttransferpreapprovalproposal-59253">
>   CO\_AcceptTransferPreapprovalProposal
> </div>
>
> > | Field                  | Type                                                                                                                           | Description |
> > | ---------------------- | ------------------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | preapprovalProposalCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapprovalProposal |             |
> > | expiresAt              | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)                                         |             |
>
> <div id="constr-splice-wallet-install-corenewtransferpreapproval-62183">
>   CO\_RenewTransferPreapproval
> </div>
>
> > | Field               | Type                                                                                                                   | Description |
> > | ------------------- | ---------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | previousApprovalCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval |             |
> > | newExpiresAt        | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)                                 |             |
>
> <div id="constr-splice-wallet-install-cotransferpreapprovalsend-6635">
>   CO\_TransferPreapprovalSend
> </div>
>
> > | Field                       | Type                                                                                                                                                                                                                      | Description |
> > | --------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | transferPreapprovalCid      | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval                                                                                                    |             |
> > | providerFeaturedAppRightCid | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight) |             |
> > | amount                      | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)                                                                                                                                   |             |
> > | description                 | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)                                     |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) AmuletOperation
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) AmuletOperation
>
> **instance** GetField "amount" AmuletOperation [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "description" AmuletOperation ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952))
>
> **instance** GetField "dummyUnitField" AmuletOperation ()
>
> **instance** GetField "expiresAt" AmuletOperation [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** GetField "externalParty" AmuletOperation [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "memberId" AmuletOperation [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** GetField "migrationId" AmuletOperation [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "minTopupInterval" AmuletOperation [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** GetField "newExpiresAt" AmuletOperation [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** GetField "operations" WalletAppInstall\_ExecuteBatch \[AmuletOperation]
>
> **instance** GetField "preapprovalExpiresAt" AmuletOperation [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** GetField "preapprovalProposalCid" AmuletOperation ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapprovalProposal)
>
> **instance** GetField "previousApprovalCid" AmuletOperation ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval)
>
> **instance** GetField "providerFeaturedAppRightCid" AmuletOperation ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight))
>
> **instance** GetField "synchronizerId" AmuletOperation [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** GetField "tapAmount" AmuletOperation [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "topupStateCid" AmuletOperation ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorTopUpState))
>
> **instance** GetField "trafficAmount" AmuletOperation [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "trafficRequestCid" AmuletOperation ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) BuyTrafficRequest)
>
> **instance** GetField "transferPreapprovalCid" AmuletOperation ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval)
>
> **instance** SetField "amount" AmuletOperation [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "description" AmuletOperation ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952))
>
> **instance** SetField "dummyUnitField" AmuletOperation ()
>
> **instance** SetField "expiresAt" AmuletOperation [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** SetField "externalParty" AmuletOperation [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "memberId" AmuletOperation [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "migrationId" AmuletOperation [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "minTopupInterval" AmuletOperation [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** SetField "newExpiresAt" AmuletOperation [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** SetField "operations" WalletAppInstall\_ExecuteBatch \[AmuletOperation]
>
> **instance** SetField "preapprovalExpiresAt" AmuletOperation [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** SetField "preapprovalProposalCid" AmuletOperation ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapprovalProposal)
>
> **instance** SetField "previousApprovalCid" AmuletOperation ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval)
>
> **instance** SetField "providerFeaturedAppRightCid" AmuletOperation ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight))
>
> **instance** SetField "synchronizerId" AmuletOperation [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "tapAmount" AmuletOperation [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "topupStateCid" AmuletOperation ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorTopUpState))
>
> **instance** SetField "trafficAmount" AmuletOperation [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "trafficRequestCid" AmuletOperation ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) BuyTrafficRequest)
>
> **instance** SetField "transferPreapprovalCid" AmuletOperation ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval)

<div id="type-splice-wallet-install-amuletoperationoutcome-52121">
  **data** AmuletOperationOutcome
</div>

> <div id="constr-splice-wallet-install-cooacceptedapppayment-45545">
>   COO\_AcceptedAppPayment ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AcceptedAppPayment)
> </div>
>
> <div id="constr-splice-wallet-install-coocompleteacceptedtransfer-44398">
>   COO\_CompleteAcceptedTransfer (TransferResult, TransferOfferTrackingInfo)
> </div>
>
> <div id="constr-splice-wallet-install-coosubscriptioninitialpayment-16470">
>   COO\_SubscriptionInitialPayment ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionInitialPayment)
> </div>
>
> <div id="constr-splice-wallet-install-coosubscriptionpayment-22077">
>   COO\_SubscriptionPayment ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionPayment)
> </div>
>
> <div id="constr-splice-wallet-install-coomergetransferinputs-47604">
>   COO\_MergeTransferInputs ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
> </div>
>
> <div id="constr-splice-wallet-install-coobuymembertraffic-30084">
>   COO\_BuyMemberTraffic ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic)
> </div>
>
> <div id="constr-splice-wallet-install-coocompletebuytrafficrequest-58397">
>   COO\_CompleteBuyTrafficRequest ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic, BuyTrafficRequestTrackingInfo)
> </div>
>
> <div id="constr-splice-wallet-install-cootap-14325">
>   COO\_Tap ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet)
> </div>
>
> <div id="constr-splice-wallet-install-cooerror-5538">
>   COO\_Error InvalidTransferReason
> </div>
>
> <div id="constr-splice-wallet-install-extamuletoperationoutcome-44318">
>   ExtAmuletOperationOutcome
> </div>
>
> > | Field          | Type | Description                                                                                             |
> > | -------------- | ---- | ------------------------------------------------------------------------------------------------------- |
> > | dummyUnitField | ()   | Extension constructor (and field) to work around the current lack of upgrading for variants in Daml 3.0 |
>
> <div id="constr-splice-wallet-install-coocreateexternalpartysetupproposal-75945">
>   COO\_CreateExternalPartySetupProposal ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartySetupProposal)
> </div>
>
> <div id="constr-splice-wallet-install-cooaccepttransferpreapprovalproposal-26799">
>   COO\_AcceptTransferPreapprovalProposal ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval)
> </div>
>
> <div id="constr-splice-wallet-install-coorenewtransferpreapproval-16241">
>   COO\_RenewTransferPreapproval ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval)
> </div>
>
> <div id="constr-splice-wallet-install-cootransferpreapprovalsend-96669">
>   COO\_TransferPreapprovalSend ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
> </div>
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) AmuletOperationOutcome
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) AmuletOperationOutcome
>
> **instance** GetField "dummyUnitField" AmuletOperationOutcome ()
>
> **instance** GetField "outcomes" WalletAppInstall\_ExecuteBatchResult \[AmuletOperationOutcome]
>
> **instance** SetField "dummyUnitField" AmuletOperationOutcome ()
>
> **instance** SetField "outcomes" WalletAppInstall\_ExecuteBatchResult \[AmuletOperationOutcome]

<div id="type-splice-wallet-install-executioncontext-4075">
  **data** ExecutionContext
</div>

> <div id="constr-splice-wallet-install-executioncontext-25706">
>   ExecutionContext
> </div>
>
> > | Field          | Type                                                                                     | Description |
> > | -------------- | ---------------------------------------------------------------------------------------- | ----------- |
> > | dso            | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
> > | endUser        | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
> > | validator      | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
> > | paymentContext | PaymentTransferContext                                                                   |             |
>
> **instance** GetField "dso" ExecutionContext [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "endUser" ExecutionContext [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "paymentContext" ExecutionContext PaymentTransferContext
>
> **instance** GetField "validator" ExecutionContext [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "dso" ExecutionContext [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "endUser" ExecutionContext [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "paymentContext" ExecutionContext PaymentTransferContext
>
> **instance** SetField "validator" ExecutionContext [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)

<div id="type-splice-wallet-install-walletappinstallacceptedtransferofferabortresult-76594">
  **data** WalletAppInstall\_AcceptedTransferOffer\_AbortResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallacceptedtransferofferabortresult-71839">
>   WalletAppInstall\_AcceptedTransferOffer\_AbortResult
> </div>
>
> > | Field        | Type                      | Description |
> > | ------------ | ------------------------- | ----------- |
> > | trackingInfo | TransferOfferTrackingInfo |             |
>
> **instance** GetField "trackingInfo" WalletAppInstall\_AcceptedTransferOffer\_AbortResult TransferOfferTrackingInfo
>
> **instance** SetField "trackingInfo" WalletAppInstall\_AcceptedTransferOffer\_AbortResult TransferOfferTrackingInfo
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_AcceptedTransferOffer\_Abort WalletAppInstall\_AcceptedTransferOffer\_AbortResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_AcceptedTransferOffer\_Abort WalletAppInstall\_AcceptedTransferOffer\_AbortResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_AcceptedTransferOffer\_Abort WalletAppInstall\_AcceptedTransferOffer\_AbortResult

<div id="type-splice-wallet-install-walletappinstallacceptedtransferofferexpireresult-73364">
  **data** WalletAppInstall\_AcceptedTransferOffer\_ExpireResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallacceptedtransferofferexpireresult-63931">
>   WalletAppInstall\_AcceptedTransferOffer\_ExpireResult
> </div>
>
> > | Field        | Type                      | Description |
> > | ------------ | ------------------------- | ----------- |
> > | trackingInfo | TransferOfferTrackingInfo |             |
>
> **instance** GetField "trackingInfo" WalletAppInstall\_AcceptedTransferOffer\_ExpireResult TransferOfferTrackingInfo
>
> **instance** SetField "trackingInfo" WalletAppInstall\_AcceptedTransferOffer\_ExpireResult TransferOfferTrackingInfo
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_AcceptedTransferOffer\_Expire WalletAppInstall\_AcceptedTransferOffer\_ExpireResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_AcceptedTransferOffer\_Expire WalletAppInstall\_AcceptedTransferOffer\_ExpireResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_AcceptedTransferOffer\_Expire WalletAppInstall\_AcceptedTransferOffer\_ExpireResult

<div id="type-splice-wallet-install-walletappinstallacceptedtransferofferwithdrawresult-30981">
  **data** WalletAppInstall\_AcceptedTransferOffer\_WithdrawResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallacceptedtransferofferwithdrawresult-50854">
>   WalletAppInstall\_AcceptedTransferOffer\_WithdrawResult
> </div>
>
> > | Field        | Type                      | Description |
> > | ------------ | ------------------------- | ----------- |
> > | trackingInfo | TransferOfferTrackingInfo |             |
>
> **instance** GetField "trackingInfo" WalletAppInstall\_AcceptedTransferOffer\_WithdrawResult TransferOfferTrackingInfo
>
> **instance** SetField "trackingInfo" WalletAppInstall\_AcceptedTransferOffer\_WithdrawResult TransferOfferTrackingInfo
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_AcceptedTransferOffer\_Withdraw WalletAppInstall\_AcceptedTransferOffer\_WithdrawResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_AcceptedTransferOffer\_Withdraw WalletAppInstall\_AcceptedTransferOffer\_WithdrawResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_AcceptedTransferOffer\_Withdraw WalletAppInstall\_AcceptedTransferOffer\_WithdrawResult

<div id="type-splice-wallet-install-walletappinstallapppaymentrequestexpireresult-40772">
  **data** WalletAppInstall\_AppPaymentRequest\_ExpireResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallapppaymentrequestexpireresult-9239">
>   WalletAppInstall\_AppPaymentRequest\_ExpireResult
> </div>
>
> > | Field                | Type                                                                                                                    | Description |
> > | -------------------- | ----------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | terminatedAppPayment | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedAppPayment |             |
>
> **instance** GetField "terminatedAppPayment" WalletAppInstall\_AppPaymentRequest\_ExpireResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedAppPayment)
>
> **instance** SetField "terminatedAppPayment" WalletAppInstall\_AppPaymentRequest\_ExpireResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedAppPayment)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_AppPaymentRequest\_Expire WalletAppInstall\_AppPaymentRequest\_ExpireResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_AppPaymentRequest\_Expire WalletAppInstall\_AppPaymentRequest\_ExpireResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_AppPaymentRequest\_Expire WalletAppInstall\_AppPaymentRequest\_ExpireResult

<div id="type-splice-wallet-install-walletappinstallapppaymentrequestrejectresult-13912">
  **data** WalletAppInstall\_AppPaymentRequest\_RejectResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallapppaymentrequestrejectresult-2323">
>   WalletAppInstall\_AppPaymentRequest\_RejectResult
> </div>
>
> > | Field                | Type                                                                                                                    | Description |
> > | -------------------- | ----------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | terminatedAppPayment | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedAppPayment |             |
>
> **instance** GetField "terminatedAppPayment" WalletAppInstall\_AppPaymentRequest\_RejectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedAppPayment)
>
> **instance** SetField "terminatedAppPayment" WalletAppInstall\_AppPaymentRequest\_RejectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedAppPayment)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_AppPaymentRequest\_Reject WalletAppInstall\_AppPaymentRequest\_RejectResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_AppPaymentRequest\_Reject WalletAppInstall\_AppPaymentRequest\_RejectResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_AppPaymentRequest\_Reject WalletAppInstall\_AppPaymentRequest\_RejectResult

<div id="type-splice-wallet-install-walletappinstallbuytrafficrequestcancelresult-7425">
  **data** WalletAppInstall\_BuyTrafficRequest\_CancelResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallbuytrafficrequestcancelresult-5910">
>   WalletAppInstall\_BuyTrafficRequest\_CancelResult
> </div>
>
> > | Field        | Type                          | Description |
> > | ------------ | ----------------------------- | ----------- |
> > | trackingInfo | BuyTrafficRequestTrackingInfo |             |
>
> **instance** GetField "trackingInfo" WalletAppInstall\_BuyTrafficRequest\_CancelResult BuyTrafficRequestTrackingInfo
>
> **instance** SetField "trackingInfo" WalletAppInstall\_BuyTrafficRequest\_CancelResult BuyTrafficRequestTrackingInfo
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_BuyTrafficRequest\_Cancel WalletAppInstall\_BuyTrafficRequest\_CancelResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_BuyTrafficRequest\_Cancel WalletAppInstall\_BuyTrafficRequest\_CancelResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_BuyTrafficRequest\_Cancel WalletAppInstall\_BuyTrafficRequest\_CancelResult

<div id="type-splice-wallet-install-walletappinstallbuytrafficrequestexpireresult-53806">
  **data** WalletAppInstall\_BuyTrafficRequest\_ExpireResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallbuytrafficrequestexpireresult-73389">
>   WalletAppInstall\_BuyTrafficRequest\_ExpireResult
> </div>
>
> > | Field        | Type                          | Description |
> > | ------------ | ----------------------------- | ----------- |
> > | trackingInfo | BuyTrafficRequestTrackingInfo |             |
>
> **instance** GetField "trackingInfo" WalletAppInstall\_BuyTrafficRequest\_ExpireResult BuyTrafficRequestTrackingInfo
>
> **instance** SetField "trackingInfo" WalletAppInstall\_BuyTrafficRequest\_ExpireResult BuyTrafficRequestTrackingInfo
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_BuyTrafficRequest\_Expire WalletAppInstall\_BuyTrafficRequest\_ExpireResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_BuyTrafficRequest\_Expire WalletAppInstall\_BuyTrafficRequest\_ExpireResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_BuyTrafficRequest\_Expire WalletAppInstall\_BuyTrafficRequest\_ExpireResult

<div id="type-splice-wallet-install-walletappinstallcreatebuytrafficrequestresult-63991">
  **data** WalletAppInstall\_CreateBuyTrafficRequestResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallcreatebuytrafficrequestresult-84558">
>   WalletAppInstall\_CreateBuyTrafficRequestResult
> </div>
>
> > | Field             | Type                                                                                                                 | Description |
> > | ----------------- | -------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | buyTrafficRequest | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) BuyTrafficRequest |             |
>
> **instance** GetField "buyTrafficRequest" WalletAppInstall\_CreateBuyTrafficRequestResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) BuyTrafficRequest)
>
> **instance** SetField "buyTrafficRequest" WalletAppInstall\_CreateBuyTrafficRequestResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) BuyTrafficRequest)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_CreateBuyTrafficRequest WalletAppInstall\_CreateBuyTrafficRequestResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_CreateBuyTrafficRequest WalletAppInstall\_CreateBuyTrafficRequestResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_CreateBuyTrafficRequest WalletAppInstall\_CreateBuyTrafficRequestResult

<div id="type-splice-wallet-install-walletappinstallcreatetransferofferresult-68160">
  **data** WalletAppInstall\_CreateTransferOfferResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallcreatetransferofferresult-22589">
>   WalletAppInstall\_CreateTransferOfferResult
> </div>
>
> > | Field         | Type                                                                                                             | Description |
> > | ------------- | ---------------------------------------------------------------------------------------------------------------- | ----------- |
> > | transferOffer | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferOffer |             |
>
> **instance** GetField "transferOffer" WalletAppInstall\_CreateTransferOfferResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferOffer)
>
> **instance** SetField "transferOffer" WalletAppInstall\_CreateTransferOfferResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferOffer)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_CreateTransferOffer WalletAppInstall\_CreateTransferOfferResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_CreateTransferOffer WalletAppInstall\_CreateTransferOfferResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_CreateTransferOffer WalletAppInstall\_CreateTransferOfferResult

<div id="type-splice-wallet-install-walletappinstallexecutebatchresult-15097">
  **data** WalletAppInstall\_ExecuteBatchResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallexecutebatchresult-44858">
>   WalletAppInstall\_ExecuteBatchResult
> </div>
>
> > | Field           | Type                                                                                                                                                                                         | Description |
> > | --------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | endUserName     | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)                                                                                                            |             |
> > | outcomes        | \[AmuletOperationOutcome]                                                                                                                                                                    |             |
> > | optEndUserParty | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) WalletAppInstall\_ExecuteBatchResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) WalletAppInstall\_ExecuteBatchResult
>
> **instance** GetField "endUserName" WalletAppInstall\_ExecuteBatchResult [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** GetField "optEndUserParty" WalletAppInstall\_ExecuteBatchResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932))
>
> **instance** GetField "outcomes" WalletAppInstall\_ExecuteBatchResult \[AmuletOperationOutcome]
>
> **instance** SetField "endUserName" WalletAppInstall\_ExecuteBatchResult [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "optEndUserParty" WalletAppInstall\_ExecuteBatchResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932))
>
> **instance** SetField "outcomes" WalletAppInstall\_ExecuteBatchResult \[AmuletOperationOutcome]
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_ExecuteBatch WalletAppInstall\_ExecuteBatchResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_ExecuteBatch WalletAppInstall\_ExecuteBatchResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_ExecuteBatch WalletAppInstall\_ExecuteBatchResult

<div id="type-splice-wallet-install-walletappinstallfeaturedapprightscancelresult-9581">
  **data** WalletAppInstall\_FeaturedAppRights\_CancelResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallfeaturedapprightscancelresult-72714">
>   WalletAppInstall\_FeaturedAppRights\_CancelResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_FeaturedAppRights\_Cancel WalletAppInstall\_FeaturedAppRights\_CancelResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_FeaturedAppRights\_Cancel WalletAppInstall\_FeaturedAppRights\_CancelResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_FeaturedAppRights\_Cancel WalletAppInstall\_FeaturedAppRights\_CancelResult

<div id="type-splice-wallet-install-walletappinstallfeaturedapprightsselfgrantresult-93142">
  **data** WalletAppInstall\_FeaturedAppRights\_SelfGrantResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallfeaturedapprightsselfgrantresult-62683">
>   WalletAppInstall\_FeaturedAppRights\_SelfGrantResult
> </div>
>
> > | Field            | Type                                                                                                                | Description |
> > | ---------------- | ------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | featuredAppRight | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight |             |
>
> **instance** GetField "featuredAppRight" WalletAppInstall\_FeaturedAppRights\_SelfGrantResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight)
>
> **instance** SetField "featuredAppRight" WalletAppInstall\_FeaturedAppRights\_SelfGrantResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_FeaturedAppRights\_SelfGrant WalletAppInstall\_FeaturedAppRights\_SelfGrantResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_FeaturedAppRights\_SelfGrant WalletAppInstall\_FeaturedAppRights\_SelfGrantResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_FeaturedAppRights\_SelfGrant WalletAppInstall\_FeaturedAppRights\_SelfGrantResult

<div id="type-splice-wallet-install-walletappinstallsubscriptionidlestatecancelsubscriptionresult-84496">
  **data** WalletAppInstall\_SubscriptionIdleState\_CancelSubscriptionResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallsubscriptionidlestatecancelsubscriptionresult-61435">
>   WalletAppInstall\_SubscriptionIdleState\_CancelSubscriptionResult
> </div>
>
> > | Field                  | Type                                                                                                                      | Description |
> > | ---------------------- | ------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | terminatedSubscription | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription |             |
>
> **instance** GetField "terminatedSubscription" WalletAppInstall\_SubscriptionIdleState\_CancelSubscriptionResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** SetField "terminatedSubscription" WalletAppInstall\_SubscriptionIdleState\_CancelSubscriptionResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_SubscriptionIdleState\_CancelSubscription WalletAppInstall\_SubscriptionIdleState\_CancelSubscriptionResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_SubscriptionIdleState\_CancelSubscription WalletAppInstall\_SubscriptionIdleState\_CancelSubscriptionResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_SubscriptionIdleState\_CancelSubscription WalletAppInstall\_SubscriptionIdleState\_CancelSubscriptionResult

<div id="type-splice-wallet-install-walletappinstallsubscriptionrequestrejectresult-88896">
  **data** WalletAppInstall\_SubscriptionRequest\_RejectResult
</div>

> <div id="constr-splice-wallet-install-walletappinstallsubscriptionrequestrejectresult-60059">
>   WalletAppInstall\_SubscriptionRequest\_RejectResult
> </div>
>
> > | Field                  | Type                                                                                                                      | Description |
> > | ---------------------- | ------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | terminatedSubscription | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription |             |
>
> **instance** GetField "terminatedSubscription" WalletAppInstall\_SubscriptionRequest\_RejectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** SetField "terminatedSubscription" WalletAppInstall\_SubscriptionRequest\_RejectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_SubscriptionRequest\_Reject WalletAppInstall\_SubscriptionRequest\_RejectResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_SubscriptionRequest\_Reject WalletAppInstall\_SubscriptionRequest\_RejectResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_SubscriptionRequest\_Reject WalletAppInstall\_SubscriptionRequest\_RejectResult

<div id="type-splice-wallet-install-walletappinstalltransferofferacceptresult-54230">
  **data** WalletAppInstall\_TransferOffer\_AcceptResult
</div>

> <div id="constr-splice-wallet-install-walletappinstalltransferofferacceptresult-12149">
>   WalletAppInstall\_TransferOffer\_AcceptResult
> </div>
>
> > | Field                 | Type                                                                                                                     | Description |
> > | --------------------- | ------------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | acceptedTransferOffer | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AcceptedTransferOffer |             |
>
> **instance** GetField "acceptedTransferOffer" WalletAppInstall\_TransferOffer\_AcceptResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AcceptedTransferOffer)
>
> **instance** SetField "acceptedTransferOffer" WalletAppInstall\_TransferOffer\_AcceptResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AcceptedTransferOffer)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_TransferOffer\_Accept WalletAppInstall\_TransferOffer\_AcceptResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_TransferOffer\_Accept WalletAppInstall\_TransferOffer\_AcceptResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_TransferOffer\_Accept WalletAppInstall\_TransferOffer\_AcceptResult

<div id="type-splice-wallet-install-walletappinstalltransferofferexpireresult-53807">
  **data** WalletAppInstall\_TransferOffer\_ExpireResult
</div>

> <div id="constr-splice-wallet-install-walletappinstalltransferofferexpireresult-15612">
>   WalletAppInstall\_TransferOffer\_ExpireResult
> </div>
>
> > | Field        | Type                      | Description |
> > | ------------ | ------------------------- | ----------- |
> > | trackingInfo | TransferOfferTrackingInfo |             |
>
> **instance** GetField "trackingInfo" WalletAppInstall\_TransferOffer\_ExpireResult TransferOfferTrackingInfo
>
> **instance** SetField "trackingInfo" WalletAppInstall\_TransferOffer\_ExpireResult TransferOfferTrackingInfo
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_TransferOffer\_Expire WalletAppInstall\_TransferOffer\_ExpireResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_TransferOffer\_Expire WalletAppInstall\_TransferOffer\_ExpireResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_TransferOffer\_Expire WalletAppInstall\_TransferOffer\_ExpireResult

<div id="type-splice-wallet-install-walletappinstalltransferofferrejectresult-95787">
  **data** WalletAppInstall\_TransferOffer\_RejectResult
</div>

> <div id="constr-splice-wallet-install-walletappinstalltransferofferrejectresult-23888">
>   WalletAppInstall\_TransferOffer\_RejectResult
> </div>
>
> > | Field        | Type                      | Description |
> > | ------------ | ------------------------- | ----------- |
> > | trackingInfo | TransferOfferTrackingInfo |             |
>
> **instance** GetField "trackingInfo" WalletAppInstall\_TransferOffer\_RejectResult TransferOfferTrackingInfo
>
> **instance** SetField "trackingInfo" WalletAppInstall\_TransferOffer\_RejectResult TransferOfferTrackingInfo
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_TransferOffer\_Reject WalletAppInstall\_TransferOffer\_RejectResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_TransferOffer\_Reject WalletAppInstall\_TransferOffer\_RejectResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_TransferOffer\_Reject WalletAppInstall\_TransferOffer\_RejectResult

<div id="type-splice-wallet-install-walletappinstalltransferofferwithdrawresult-71362">
  **data** WalletAppInstall\_TransferOffer\_WithdrawResult
</div>

> <div id="constr-splice-wallet-install-walletappinstalltransferofferwithdrawresult-55293">
>   WalletAppInstall\_TransferOffer\_WithdrawResult
> </div>
>
> > | Field        | Type                      | Description |
> > | ------------ | ------------------------- | ----------- |
> > | trackingInfo | TransferOfferTrackingInfo |             |
>
> **instance** GetField "trackingInfo" WalletAppInstall\_TransferOffer\_WithdrawResult TransferOfferTrackingInfo
>
> **instance** SetField "trackingInfo" WalletAppInstall\_TransferOffer\_WithdrawResult TransferOfferTrackingInfo
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) WalletAppInstall WalletAppInstall\_TransferOffer\_Withdraw WalletAppInstall\_TransferOffer\_WithdrawResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) WalletAppInstall WalletAppInstall\_TransferOffer\_Withdraw WalletAppInstall\_TransferOffer\_WithdrawResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) WalletAppInstall WalletAppInstall\_TransferOffer\_Withdraw WalletAppInstall\_TransferOffer\_WithdrawResult

<div id="type-splice-wallet-install-walletappinstalltransferpreapprovalproposalcreateresult-12514">
  **data** WalletAppInstall\_TransferPreapprovalProposal\_CreateResult
</div>

> <div id="constr-splice-wallet-install-walletappinstalltransferpreapprovalproposalcreateresult-3417">
>   WalletAppInstall\_TransferPreapprovalProposal\_CreateResult
> </div>
>
> > | Field                  | Type                                                                                                                           | Description |
> > | ---------------------- | ------------------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | preapprovalProposalCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapprovalProposal |             |
>
> **instance** GetField "preapprovalProposalCid" WalletAppInstall\_TransferPreapprovalProposal\_CreateResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapprovalProposal)
>
> **instance** SetField "preapprovalProposalCid" WalletAppInstall\_TransferPreapprovalProposal\_CreateResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapprovalProposal)

## Functions

<div id="function-splice-wallet-install-executeamuletoperationrec-79799">
  executeAmuletOperationRec
  : ExecutionContext -> \[TransferInput] -> \[AmuletOperationOutcome] -> \[AmuletOperation] -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) \[AmuletOperationOutcome]
</div>

<div id="function-splice-wallet-install-mkmergeamuletandrewardstransfer-3655">
  mkMergeAmuletAndRewardsTransfer
  : [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> \[TransferInput] -> Transfer
</div>

<div id="function-splice-wallet-install-unpackcid-65301">
  unpackCid
  : AnyValue -> AnyContractId
</div>