> ## 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.Amulet > Documentation for Splice.Amulet The contracts representing the long-term state of Splice. ## Templates **template** Amulet > A amulet, which can be locked and whose amount expires over time. > > The expiry serves to charge an inactivity fee, and thereby ensures that the SVs can reclaim the corresponding storage space at some point in the future. > > Signatory: dso, owner > > | Field | Type | Description | > | - | - | - | > | dso | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | owner | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | amount | ExpiringAmount | | > > * **Choice** Amulet\_Expire > > Controller: dso > > Returns: Amulet\_ExpireResult > > | Field | Type | Description | > | - | - | - | > | roundCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) OpenMiningRound | | > > * **Choice** Amulet\_ExpireV2 > > Controller: dso > > Returns: Amulet\_ExpireV2Result > > | Field | Type | Description | > | - | - | - | > | externalPartyConfigState0Cid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) ExternalPartyConfigState | | > | externalPartyConfigState1Cid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) ExternalPartyConfigState | | > > * **Choice** Archive > > Controller: dso, owner > > Returns: () > > (no fields) > > * **interface instance** Holding **for** Amulet **template** AppRewardCoupon > A coupon for receiving app rewards proportional to the usage fee paid as part of a Amulet transfer coordinated by the app of a provider. > > Signatory: dso > > | Field | Type | Description | > | - | - | - | > | dso | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | provider | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | Application provider | > | featured | [Bool](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-bool-66265) | | > | amount | [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) | | > | round | Round | | > | beneficiary | [Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | The party that can mint this reward. If not set, this is the provider | > > * **Choice** AppRewardCoupon\_DsoExpire > > Controller: dso > > Returns: AppRewardCoupon\_DsoExpireResult > > | Field | Type | Description | > | - | - | - | > | closedRoundCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) ClosedMiningRound | | > > * **Choice** Archive > > Controller: dso > > Returns: () > > (no fields) **template** DevelopmentFundCoupon > A coupon recording an emission for the Development Fund under CIP-0082, which can be collected by the designated beneficiary. > > Signatory: dso > > | Field | Type | Description | > | - | - | - | > | dso | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | beneficiary | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | The owner of the `Amulet` to be minted. | > | fundManager | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | The party that executed the assignment of the coupon to the beneficiary so they can mint from the development fund. | > | amount | [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) | The total amount of `Amulet` to mint on collection. | > | expiresAt | [Time](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-time-63886) | Until when the minting can be completed. | > | reason | [Text](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-text-51952) | Reason for the emission of the coupon. | > > * **Choice** Archive > > Controller: dso > > Returns: () > > (no fields) > > * **Choice** DevelopmentFundCoupon\_DsoExpire > > Controller: dso > > Returns: DevelopmentFundCoupon\_DsoExpireResult > > (no fields) > > * **Choice** DevelopmentFundCoupon\_Reject > > Controller: beneficiary > > Returns: DevelopmentFundCoupon\_RejectResult > > | Field | Type | Description | > | - | - | - | > | reason | [Text](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-text-51952) | Reason for rejecting the coupon. | > > * **Choice** DevelopmentFundCoupon\_Withdraw > > Controller: fundManager > > Returns: DevelopmentFundCoupon\_WithdrawResult > > | Field | Type | Description | > | - | - | - | > | reason | [Text](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-text-51952) | Reason for withdrawing the coupon. | **template** FeaturedAppActivityMarker > A marker created by a featured application for activity generated from that app. This is used to record activity other than amulet transfers where regular AppRewardCoupons are not created directly. > > Will be converted to a AppRewardCoupon through automation run by the SVs and can then be minted as part of the normal minting process. > > Signatory: dso > > | Field | Type | Description | > | - | - | - | > | dso | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | provider | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | The featured app provider that created the activity marker. | > | beneficiary | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | The party that has the right to mint the reward. | > | weight | [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) | The weight of the marker. This is used to split the rewards for a single action, e.g., multiple parties collaborating to enable a transfer, by creating several FeaturedAppActivityMarkers with different beneficiaries such that the weights add up to 1.0. | > > * **Choice** Archive > > Controller: dso > > Returns: () > > (no fields) > > * **interface instance** FeaturedAppActivityMarker **for** FeaturedAppActivityMarker > > * **interface instance** FeaturedAppActivityMarker **for** FeaturedAppActivityMarker **template** FeaturedAppRight > The right for an application provider to earn featured app rewards. > > Signatory: dso > > | Field | Type | Description | > | - | - | - | > | dso | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | provider | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > > * **Choice** Archive > > Controller: dso > > Returns: () > > (no fields) > > * **Choice** FeaturedAppRight\_Cancel > > Controller: provider > > Returns: FeaturedAppRight\_CancelResult > > (no fields) > > * **Choice** FeaturedAppRight\_Withdraw > > Controller: dso > > Returns: FeaturedAppRight\_WithdrawResult > > | Field | Type | Description | > | - | - | - | > | reason | [Text](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-text-51952) | | > > * **interface instance** FeaturedAppRight **for** FeaturedAppRight > > * **interface instance** FeaturedAppRight **for** FeaturedAppRight **template** LockedAmulet > Signatory: (DA.Internal.Record.getField @"holders" lock), signatory amulet > > | Field | Type | Description | > | - | - | - | > | amulet | Amulet | | > | lock | TimeLock | | > > * **Choice** Archive > > Controller: (DA.Internal.Record.getField @"holders" lock), signatory amulet > > Returns: () > > (no fields) > > * **Choice** LockedAmulet\_ExpireAmulet > > Controller: (DA.Internal.Record.getField @"dso" amulet) > > Returns: LockedAmulet\_ExpireAmuletResult > > | Field | Type | Description | > | - | - | - | > | roundCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) OpenMiningRound | | > > * **Choice** LockedAmulet\_ExpireAmuletV2 > > Controller: (DA.Internal.Record.getField @"dso" amulet) > > Returns: LockedAmulet\_ExpireAmuletV2Result > > | Field | Type | Description | > | - | - | - | > | externalPartyConfigState0Cid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) ExternalPartyConfigState | | > | externalPartyConfigState1Cid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) ExternalPartyConfigState | | > > * **Choice** LockedAmulet\_OwnerExpireLock > > Controller: (DA.Internal.Record.getField @"owner" amulet) > > Returns: LockedAmulet\_OwnerExpireLockResult > > | Field | Type | Description | > | - | - | - | > | openRoundCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) OpenMiningRound | | > > * **Choice** LockedAmulet\_OwnerExpireLockV2 > > Controller: (DA.Internal.Record.getField @"owner" amulet) > > Returns: LockedAmulet\_OwnerExpireLockV2Result > > (no fields) > > * **Choice** LockedAmulet\_Unlock > > Controller: (DA.Internal.Record.getField @"owner" amulet) :: (DA.Internal.Record.getField @"holders" lock) > > Returns: LockedAmulet\_UnlockResult > > | Field | Type | Description | > | - | - | - | > | openRoundCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) OpenMiningRound | | > > * **Choice** LockedAmulet\_UnlockV2 > > Controller: (DA.Internal.Record.getField @"owner" amulet) :: (DA.Internal.Record.getField @"holders" lock) > > Returns: LockedAmulet\_UnlockV2Result > > (no fields) > > * **interface instance** Holding **for** LockedAmulet **template** SvRewardCoupon > A coupon for a beneficiary to receive part of the SV issuance for a specific SV node and round. > > Signatory: dso > > | Field | Type | Description | > | - | - | - | > | dso | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | sv | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | The party identifying the SV node for which the reward is issued. | > | beneficiary | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | The beneficiary allowed to receive the reward. | > | round | Round | | > | weight | [Int](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-int-37261) | Coupons receive a share of the SV issuance proportional to their weight. | > > * **Choice** Archive > > Controller: dso > > Returns: () > > (no fields) > > * **Choice** SvRewardCoupon\_ArchiveAsBeneficiary > > Controller: beneficiary > > Returns: SvRewardCoupon\_ArchiveAsBeneficiaryResult > > (no fields) > > * **Choice** SvRewardCoupon\_DsoExpire > > Controller: dso > > Returns: SvRewardCoupon\_DsoExpireResult > > | Field | Type | Description | > | - | - | - | > | closedRoundCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) ClosedMiningRound | | **template** UnclaimedActivityRecord > A record of activity that can be minted by the beneficiary. Note that these do not come out of the per-round issuance but are instead created by burning UnclaimedRewardCoupon as defined through a vote by the SVs. That's also why expiry is a separate time-based expiry instead of being tied to a round like the other activity records. > > Signatory: dso > > | Field | Type | Description | > | - | - | - | > | dso | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | beneficiary | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | The owner of the `Amulet` to be minted. | > | amount | [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) | The amount of `Amulet` to be minted. | > | reason | [Text](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-text-51952) | A reason to mint the `Amulet`. | > | expiresAt | [Time](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-time-63886) | Selected timestamp defining the lifetime of the contract. | > > * **Choice** Archive > > Controller: dso > > Returns: () > > (no fields) > > * **Choice** UnclaimedActivityRecord\_DsoExpire > > Controller: dso > > Returns: UnclaimedActivityRecord\_DsoExpireResult > > (no fields) **template** UnclaimedDevelopmentFundCoupon > A coupon recording an emission for the Development Fund from CIP-0082 that was not yet assigned to a specific beneficiary. > > Signatory: dso > > | Field | Type | Description | > | - | - | - | > | dso | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | amount | [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) | The total amount of `Amulet` to mint on collection. | > > * **Choice** Archive > > Controller: dso > > Returns: () > > (no fields) **template** UnclaimedReward > Rewards that have not been claimed and are thus at the disposal of the foundation. > > Signatory: dso > > | Field | Type | Description | > | - | - | - | > | dso | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | amount | [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) | | > > * **Choice** Archive > > Controller: dso > > Returns: () > > (no fields) **template** ValidatorRewardCoupon > A coupon for receiving validator rewards proportional to the usage fee paid by a user hosted by a validator operator. > > Signatory: dso > > | Field | Type | Description | > | - | - | - | > | dso | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | user | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | amount | [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) | | > | round | Round | | > > * **Choice** Archive > > Controller: dso > > Returns: () > > (no fields) > > * **Choice** ValidatorRewardCoupon\_ArchiveAsValidator > > This choice is used by validators to archive the burn receipt upon claiming its corresponding issuance. > > Controller: dso, validator > > Returns: ValidatorRewardCoupon\_ArchiveAsValidatorResult > > | Field | Type | Description | > | - | - | - | > | validator | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | rightCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) ValidatorRight | | > > * **Choice** ValidatorRewardCoupon\_DsoExpire > > Controller: dso > > Returns: ValidatorRewardCoupon\_DsoExpireResult > > | Field | Type | Description | > | - | - | - | > | closedRoundCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) ClosedMiningRound | | **template** ValidatorRight > The right to claim amulet issuances for a user's burns as their validator. > > Signatory: user, validator > > | Field | Type | Description | > | - | - | - | > | dso | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | user | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > | validator | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > > * **Choice** Archive > > Controller: user, validator > > Returns: () > > (no fields) > > * **Choice** ValidatorRight\_ArchiveAsUser > > Controller: user > > Returns: ValidatorRight\_ArchiveAsUserResult > > (no fields) > > * **Choice** ValidatorRight\_ArchiveAsValidator > > Controller: validator > > Returns: ValidatorRight\_ArchiveAsValidatorResult > > (no fields) ## Data Types **data** AmuletCreateSummary amuletContractId > Result of an operation that created a new amulet, e.g., by minting a fresh amulet, or by unlocking a locked amulet. > > AmuletCreateSummary > > > | Field | Type | Description | > > | - | - | - | > > | amulet | amuletContractId | The new amulet that was created | > > | amuletPrice | [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) | The amulet price at the round the amulet was created | > > | round | Round | Round for which this amulet was created. | > > **instance** [Eq](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-ghc-classes-eq-22713) amuletContractId => [Eq](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-ghc-classes-eq-22713) (AmuletCreateSummary amuletContractId) > > **instance** [Show](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-ghc-show-show-65360) amuletContractId => [Show](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-ghc-show-show-65360) (AmuletCreateSummary amuletContractId) > > **instance** GetField "amulet" (AmuletCreateSummary amuletContractId) amuletContractId > > **instance** GetField "amuletPrice" (AmuletCreateSummary amuletContractId) [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) > > **instance** GetField "amuletSum" LockedAmulet\_OwnerExpireLockResult (AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet)) > > **instance** GetField "amuletSum" LockedAmulet\_UnlockResult (AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet)) > > **instance** GetField "amuletSum" AmuletRules\_DevNet\_TapResult (AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet)) > > **instance** GetField "amuletSum" AmuletRules\_MintResult (AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet)) > > **instance** GetField "round" (AmuletCreateSummary amuletContractId) Round > > **instance** SetField "amulet" (AmuletCreateSummary amuletContractId) amuletContractId > > **instance** SetField "amuletPrice" (AmuletCreateSummary amuletContractId) [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) > > **instance** SetField "amuletSum" LockedAmulet\_OwnerExpireLockResult (AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet)) > > **instance** SetField "amuletSum" LockedAmulet\_UnlockResult (AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet)) > > **instance** SetField "amuletSum" AmuletRules\_DevNet\_TapResult (AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet)) > > **instance** SetField "amuletSum" AmuletRules\_MintResult (AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet)) > > **instance** SetField "round" (AmuletCreateSummary amuletContractId) Round **data** AmuletExpireSummary > AmuletExpireSummary > > > | Field | Type | Description | > > | - | - | - | > > | owner | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > > | round | Round | Round for which this expiry was registered. | > > | changeToInitialAmountAsOfRoundZero | [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) | | > > | changeToHoldingFeesRate | [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) | The change of total holding fees introduced by a amulet expiry. | > > **instance** [Eq](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-ghc-classes-eq-22713) AmuletExpireSummary > > **instance** [Show](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-ghc-show-show-65360) AmuletExpireSummary > > **instance** GetField "changeToHoldingFeesRate" AmuletExpireSummary [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) > > **instance** GetField "changeToInitialAmountAsOfRoundZero" AmuletExpireSummary [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) > > **instance** GetField "expireSum" Amulet\_ExpireResult AmuletExpireSummary > > **instance** GetField "expireSum" LockedAmulet\_ExpireAmuletResult AmuletExpireSummary > > **instance** GetField "owner" AmuletExpireSummary [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) > > **instance** GetField "round" AmuletExpireSummary Round > > **instance** SetField "changeToHoldingFeesRate" AmuletExpireSummary [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) > > **instance** SetField "changeToInitialAmountAsOfRoundZero" AmuletExpireSummary [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) > > **instance** SetField "expireSum" Amulet\_ExpireResult AmuletExpireSummary > > **instance** SetField "expireSum" LockedAmulet\_ExpireAmuletResult AmuletExpireSummary > > **instance** SetField "owner" AmuletExpireSummary [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) > > **instance** SetField "round" AmuletExpireSummary Round **data** AmuletExpireV2Summary > AmuletExpireV2Summary > > > | Field | Type | Description | > > | - | - | - | > > | owner | [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) | | > > **instance** [Eq](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-ghc-classes-eq-22713) AmuletExpireV2Summary > > **instance** [Show](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-ghc-show-show-65360) AmuletExpireV2Summary > > **instance** GetField "expireSum" Amulet\_ExpireV2Result AmuletExpireV2Summary > > **instance** GetField "expireSum" LockedAmulet\_ExpireAmuletV2Result AmuletExpireV2Summary > > **instance** GetField "owner" AmuletExpireV2Summary [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) > > **instance** SetField "expireSum" Amulet\_ExpireV2Result AmuletExpireV2Summary > > **instance** SetField "expireSum" LockedAmulet\_ExpireAmuletV2Result AmuletExpireV2Summary > > **instance** SetField "owner" AmuletExpireV2Summary [Party](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-party-57932) **data** Amulet\_ExpireResult > Amulet\_ExpireResult > > > | Field | Type | Description | > > | - | - | - | > > | expireSum | AmuletExpireSummary | | > > | meta | [Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) Metadata | | > > **instance** GetField "expireSum" Amulet\_ExpireResult AmuletExpireSummary > > **instance** GetField "meta" Amulet\_ExpireResult ([Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) Metadata) > > **instance** SetField "expireSum" Amulet\_ExpireResult AmuletExpireSummary > > **instance** SetField "meta" Amulet\_ExpireResult ([Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) Metadata) > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) Amulet Amulet\_Expire Amulet\_ExpireResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) Amulet Amulet\_Expire Amulet\_ExpireResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) Amulet Amulet\_Expire Amulet\_ExpireResult **data** Amulet\_ExpireV2Result > Amulet\_ExpireV2Result > > > | Field | Type | Description | > > | - | - | - | > > | expireSum | AmuletExpireV2Summary | | > > | meta | Metadata | | > > **instance** GetField "expireSum" Amulet\_ExpireV2Result AmuletExpireV2Summary > > **instance** GetField "meta" Amulet\_ExpireV2Result Metadata > > **instance** SetField "expireSum" Amulet\_ExpireV2Result AmuletExpireV2Summary > > **instance** SetField "meta" Amulet\_ExpireV2Result Metadata > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) Amulet Amulet\_ExpireV2 Amulet\_ExpireV2Result > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) Amulet Amulet\_ExpireV2 Amulet\_ExpireV2Result > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) Amulet Amulet\_ExpireV2 Amulet\_ExpireV2Result **data** AppRewardCoupon\_DsoExpireResult > AppRewardCoupon\_DsoExpireResult > > > | Field | Type | Description | > > | - | - | - | > > | featured | [Bool](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-bool-66265) | | > > | amount | [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) | | > > **instance** GetField "amount" AppRewardCoupon\_DsoExpireResult [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) > > **instance** GetField "featured" AppRewardCoupon\_DsoExpireResult [Bool](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-bool-66265) > > **instance** SetField "amount" AppRewardCoupon\_DsoExpireResult [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) > > **instance** SetField "featured" AppRewardCoupon\_DsoExpireResult [Bool](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-bool-66265) > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) AppRewardCoupon AppRewardCoupon\_DsoExpire AppRewardCoupon\_DsoExpireResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) AppRewardCoupon AppRewardCoupon\_DsoExpire AppRewardCoupon\_DsoExpireResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) AppRewardCoupon AppRewardCoupon\_DsoExpire AppRewardCoupon\_DsoExpireResult **data** DevelopmentFundCoupon\_DsoExpireResult > DevelopmentFundCoupon\_DsoExpireResult > > > | Field | Type | Description | > > | - | - | - | > > | unclaimedDevelopmentFundCouponCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon | | > > **instance** GetField "unclaimedDevelopmentFundCouponCid" DevelopmentFundCoupon\_DsoExpireResult ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon) > > **instance** SetField "unclaimedDevelopmentFundCouponCid" DevelopmentFundCoupon\_DsoExpireResult ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon) > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) DevelopmentFundCoupon DevelopmentFundCoupon\_DsoExpire DevelopmentFundCoupon\_DsoExpireResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) DevelopmentFundCoupon DevelopmentFundCoupon\_DsoExpire DevelopmentFundCoupon\_DsoExpireResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) DevelopmentFundCoupon DevelopmentFundCoupon\_DsoExpire DevelopmentFundCoupon\_DsoExpireResult **data** DevelopmentFundCoupon\_RejectResult > DevelopmentFundCoupon\_RejectResult > > > | Field | Type | Description | > > | - | - | - | > > | unclaimedDevelopmentFundCouponCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon | | > > **instance** GetField "unclaimedDevelopmentFundCouponCid" DevelopmentFundCoupon\_RejectResult ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon) > > **instance** SetField "unclaimedDevelopmentFundCouponCid" DevelopmentFundCoupon\_RejectResult ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon) > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) DevelopmentFundCoupon DevelopmentFundCoupon\_Reject DevelopmentFundCoupon\_RejectResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) DevelopmentFundCoupon DevelopmentFundCoupon\_Reject DevelopmentFundCoupon\_RejectResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) DevelopmentFundCoupon DevelopmentFundCoupon\_Reject DevelopmentFundCoupon\_RejectResult **data** DevelopmentFundCoupon\_WithdrawResult > DevelopmentFundCoupon\_WithdrawResult > > > | Field | Type | Description | > > | - | - | - | > > | unclaimedDevelopmentFundCouponCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon | | > > **instance** GetField "unclaimedDevelopmentFundCouponCid" DevelopmentFundCoupon\_WithdrawResult ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon) > > **instance** SetField "unclaimedDevelopmentFundCouponCid" DevelopmentFundCoupon\_WithdrawResult ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon) > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) DevelopmentFundCoupon DevelopmentFundCoupon\_Withdraw DevelopmentFundCoupon\_WithdrawResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) DevelopmentFundCoupon DevelopmentFundCoupon\_Withdraw DevelopmentFundCoupon\_WithdrawResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) DevelopmentFundCoupon DevelopmentFundCoupon\_Withdraw DevelopmentFundCoupon\_WithdrawResult **data** FeaturedAppRight\_CancelResult > FeaturedAppRight\_CancelResult > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) FeaturedAppRight FeaturedAppRight\_Cancel FeaturedAppRight\_CancelResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) FeaturedAppRight FeaturedAppRight\_Cancel FeaturedAppRight\_CancelResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) FeaturedAppRight FeaturedAppRight\_Cancel FeaturedAppRight\_CancelResult **data** FeaturedAppRight\_WithdrawResult > FeaturedAppRight\_WithdrawResult > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) FeaturedAppRight FeaturedAppRight\_Withdraw FeaturedAppRight\_WithdrawResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) FeaturedAppRight FeaturedAppRight\_Withdraw FeaturedAppRight\_WithdrawResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) FeaturedAppRight FeaturedAppRight\_Withdraw FeaturedAppRight\_WithdrawResult **data** LockedAmulet\_ExpireAmuletResult > LockedAmulet\_ExpireAmuletResult > > > | Field | Type | Description | > > | - | - | - | > > | expireSum | AmuletExpireSummary | | > > | meta | [Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) Metadata | | > > **instance** GetField "expireSum" LockedAmulet\_ExpireAmuletResult AmuletExpireSummary > > **instance** GetField "meta" LockedAmulet\_ExpireAmuletResult ([Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) Metadata) > > **instance** SetField "expireSum" LockedAmulet\_ExpireAmuletResult AmuletExpireSummary > > **instance** SetField "meta" LockedAmulet\_ExpireAmuletResult ([Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) Metadata) > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) LockedAmulet LockedAmulet\_ExpireAmulet LockedAmulet\_ExpireAmuletResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) LockedAmulet LockedAmulet\_ExpireAmulet LockedAmulet\_ExpireAmuletResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) LockedAmulet LockedAmulet\_ExpireAmulet LockedAmulet\_ExpireAmuletResult **data** LockedAmulet\_ExpireAmuletV2Result > LockedAmulet\_ExpireAmuletV2Result > > > | Field | Type | Description | > > | - | - | - | > > | expireSum | AmuletExpireV2Summary | | > > | meta | Metadata | | > > **instance** GetField "expireSum" LockedAmulet\_ExpireAmuletV2Result AmuletExpireV2Summary > > **instance** GetField "meta" LockedAmulet\_ExpireAmuletV2Result Metadata > > **instance** SetField "expireSum" LockedAmulet\_ExpireAmuletV2Result AmuletExpireV2Summary > > **instance** SetField "meta" LockedAmulet\_ExpireAmuletV2Result Metadata > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) LockedAmulet LockedAmulet\_ExpireAmuletV2 LockedAmulet\_ExpireAmuletV2Result > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) LockedAmulet LockedAmulet\_ExpireAmuletV2 LockedAmulet\_ExpireAmuletV2Result > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) LockedAmulet LockedAmulet\_ExpireAmuletV2 LockedAmulet\_ExpireAmuletV2Result **data** LockedAmulet\_OwnerExpireLockResult > LockedAmulet\_OwnerExpireLockResult > > > | Field | Type | Description | > > | - | - | - | > > | amuletSum | AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet) | | > > | meta | [Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) Metadata | | > > **instance** GetField "amuletSum" LockedAmulet\_OwnerExpireLockResult (AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet)) > > **instance** GetField "meta" LockedAmulet\_OwnerExpireLockResult ([Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) Metadata) > > **instance** SetField "amuletSum" LockedAmulet\_OwnerExpireLockResult (AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet)) > > **instance** SetField "meta" LockedAmulet\_OwnerExpireLockResult ([Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) Metadata) > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) LockedAmulet LockedAmulet\_OwnerExpireLock LockedAmulet\_OwnerExpireLockResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) LockedAmulet LockedAmulet\_OwnerExpireLock LockedAmulet\_OwnerExpireLockResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) LockedAmulet LockedAmulet\_OwnerExpireLock LockedAmulet\_OwnerExpireLockResult **data** LockedAmulet\_OwnerExpireLockV2Result > LockedAmulet\_OwnerExpireLockV2Result > > > | Field | Type | Description | > > | - | - | - | > > | amuletCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet | | > > | meta | Metadata | | > > **instance** GetField "amuletCid" LockedAmulet\_OwnerExpireLockV2Result ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet) > > **instance** GetField "meta" LockedAmulet\_OwnerExpireLockV2Result Metadata > > **instance** SetField "amuletCid" LockedAmulet\_OwnerExpireLockV2Result ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet) > > **instance** SetField "meta" LockedAmulet\_OwnerExpireLockV2Result Metadata > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) LockedAmulet LockedAmulet\_OwnerExpireLockV2 LockedAmulet\_OwnerExpireLockV2Result > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) LockedAmulet LockedAmulet\_OwnerExpireLockV2 LockedAmulet\_OwnerExpireLockV2Result > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) LockedAmulet LockedAmulet\_OwnerExpireLockV2 LockedAmulet\_OwnerExpireLockV2Result **data** LockedAmulet\_UnlockResult > LockedAmulet\_UnlockResult > > > | Field | Type | Description | > > | - | - | - | > > | amuletSum | AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet) | | > > | meta | [Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) Metadata | | > > **instance** GetField "amuletSum" LockedAmulet\_UnlockResult (AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet)) > > **instance** GetField "meta" LockedAmulet\_UnlockResult ([Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) Metadata) > > **instance** SetField "amuletSum" LockedAmulet\_UnlockResult (AmuletCreateSummary ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet)) > > **instance** SetField "meta" LockedAmulet\_UnlockResult ([Optional](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-prelude-optional-37153) Metadata) > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) LockedAmulet LockedAmulet\_Unlock LockedAmulet\_UnlockResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) LockedAmulet LockedAmulet\_Unlock LockedAmulet\_UnlockResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) LockedAmulet LockedAmulet\_Unlock LockedAmulet\_UnlockResult **data** LockedAmulet\_UnlockV2Result > LockedAmulet\_UnlockV2Result > > > | Field | Type | Description | > > | - | - | - | > > | amuletCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet | | > > | meta | Metadata | | > > **instance** GetField "amuletCid" LockedAmulet\_UnlockV2Result ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet) > > **instance** GetField "meta" LockedAmulet\_UnlockV2Result Metadata > > **instance** SetField "amuletCid" LockedAmulet\_UnlockV2Result ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) Amulet) > > **instance** SetField "meta" LockedAmulet\_UnlockV2Result Metadata > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) LockedAmulet LockedAmulet\_UnlockV2 LockedAmulet\_UnlockV2Result > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) LockedAmulet LockedAmulet\_UnlockV2 LockedAmulet\_UnlockV2Result > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) LockedAmulet LockedAmulet\_UnlockV2 LockedAmulet\_UnlockV2Result **data** SvRewardCoupon\_ArchiveAsBeneficiaryResult > SvRewardCoupon\_ArchiveAsBeneficiaryResult > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) SvRewardCoupon SvRewardCoupon\_ArchiveAsBeneficiary SvRewardCoupon\_ArchiveAsBeneficiaryResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) SvRewardCoupon SvRewardCoupon\_ArchiveAsBeneficiary SvRewardCoupon\_ArchiveAsBeneficiaryResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) SvRewardCoupon SvRewardCoupon\_ArchiveAsBeneficiary SvRewardCoupon\_ArchiveAsBeneficiaryResult **data** SvRewardCoupon\_DsoExpireResult > SvRewardCoupon\_DsoExpireResult > > > | Field | Type | Description | > > | - | - | - | > > | weight | [Int](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-int-37261) | | > > **instance** GetField "weight" SvRewardCoupon\_DsoExpireResult [Int](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-int-37261) > > **instance** SetField "weight" SvRewardCoupon\_DsoExpireResult [Int](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-int-37261) > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) SvRewardCoupon SvRewardCoupon\_DsoExpire SvRewardCoupon\_DsoExpireResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) SvRewardCoupon SvRewardCoupon\_DsoExpire SvRewardCoupon\_DsoExpireResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) SvRewardCoupon SvRewardCoupon\_DsoExpire SvRewardCoupon\_DsoExpireResult **data** UnclaimedActivityRecord\_ArchiveAsBeneficiaryResult > UnclaimedActivityRecord\_ArchiveAsBeneficiaryResult **data** UnclaimedActivityRecord\_DsoExpireResult > UnclaimedActivityRecord\_DsoExpireResult > > > | Field | Type | Description | > > | - | - | - | > > | unclaimedRewardCid | [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) UnclaimedReward | | > > **instance** GetField "unclaimedRewardCid" UnclaimedActivityRecord\_DsoExpireResult ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) UnclaimedReward) > > **instance** SetField "unclaimedRewardCid" UnclaimedActivityRecord\_DsoExpireResult ([ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) UnclaimedReward) > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) UnclaimedActivityRecord UnclaimedActivityRecord\_DsoExpire UnclaimedActivityRecord\_DsoExpireResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) UnclaimedActivityRecord UnclaimedActivityRecord\_DsoExpire UnclaimedActivityRecord\_DsoExpireResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) UnclaimedActivityRecord UnclaimedActivityRecord\_DsoExpire UnclaimedActivityRecord\_DsoExpireResult **data** ValidatorRewardCoupon\_ArchiveAsValidatorResult > ValidatorRewardCoupon\_ArchiveAsValidatorResult > > > (no fields) > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) ValidatorRewardCoupon ValidatorRewardCoupon\_ArchiveAsValidator ValidatorRewardCoupon\_ArchiveAsValidatorResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) ValidatorRewardCoupon ValidatorRewardCoupon\_ArchiveAsValidator ValidatorRewardCoupon\_ArchiveAsValidatorResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) ValidatorRewardCoupon ValidatorRewardCoupon\_ArchiveAsValidator ValidatorRewardCoupon\_ArchiveAsValidatorResult **data** ValidatorRewardCoupon\_DsoExpireResult > ValidatorRewardCoupon\_DsoExpireResult > > > | Field | Type | Description | > > | - | - | - | > > | amount | [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) | | > > **instance** GetField "amount" ValidatorRewardCoupon\_DsoExpireResult [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) > > **instance** SetField "amount" ValidatorRewardCoupon\_DsoExpireResult [Decimal](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-ghc-types-decimal-18135) > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) ValidatorRewardCoupon ValidatorRewardCoupon\_DsoExpire ValidatorRewardCoupon\_DsoExpireResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) ValidatorRewardCoupon ValidatorRewardCoupon\_DsoExpire ValidatorRewardCoupon\_DsoExpireResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) ValidatorRewardCoupon ValidatorRewardCoupon\_DsoExpire ValidatorRewardCoupon\_DsoExpireResult **data** ValidatorRight\_ArchiveAsUserResult > ValidatorRight\_ArchiveAsUserResult > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) ValidatorRight ValidatorRight\_ArchiveAsUser ValidatorRight\_ArchiveAsUserResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) ValidatorRight ValidatorRight\_ArchiveAsUser ValidatorRight\_ArchiveAsUserResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) ValidatorRight ValidatorRight\_ArchiveAsUser ValidatorRight\_ArchiveAsUserResult **data** ValidatorRight\_ArchiveAsValidatorResult > ValidatorRight\_ArchiveAsValidatorResult > > **instance** [HasExercise](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasexercise-70422) ValidatorRight ValidatorRight\_ArchiveAsValidator ValidatorRight\_ArchiveAsValidatorResult > > **instance** [HasFromAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hasfromanychoice-81184) ValidatorRight ValidatorRight\_ArchiveAsValidator ValidatorRight\_ArchiveAsValidatorResult > > **instance** [HasToAnyChoice](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#class-da-internal-template-functions-hastoanychoice-82571) ValidatorRight ValidatorRight\_ArchiveAsValidator ValidatorRight\_ArchiveAsValidatorResult ## Functions amuletMetadata : Amulet -> Metadata validateAppRewardBeneficiaries : \[AppRewardBeneficiary] -> [Update](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-update-68072) () validateAppRewardBeneficiariesV2 : \[AppRewardBeneficiary] -> [Update](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-update-68072) () requireAmuletExpiredForAllRounds : [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) ExternalPartyConfigState -> [ContractId](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-contractid-95282) ExternalPartyConfigState -> Amulet -> [Update](https://docs.canton.network/appdev/reference/daml-standard-library/prelude.md#type-da-internal-lf-update-68072) ()