> ## 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.DsoRules

> Documentation for Splice.DsoRules

## Templates

<div id="type-splice-dsorules-bootstrapexternalpartyconfigstateinstruction-72557">
  **template** BootstrapExternalPartyConfigStateInstruction
</div>

> Instruction to bootstrap the external party config state. This exists so that the `ActionRequiringConfirmation` for this is independent of the current rounds which we need so that we can do deduplication by action hash in our automation.
>
> Signatory: dso
>
> | Field | Type                                                                                     | Description |
> | ----- | ---------------------------------------------------------------------------------------- | ----------- |
> | dso   | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>
> * **Choice** Archive
>
>   Controller: dso
>
>   Returns: ()
>
>   (no fields)

<div id="type-splice-dsorules-confirmation-62984">
  **template** Confirmation
</div>

> A confirmation for the SVs to take action as part of standard DSO. Used for executing automated actions in a shortened process. See the comments on `ActionRequiringConfirmation` for details.
>
> Signatory: dso
>
> | Field     | Type                                                                                     | Description |
> | --------- | ---------------------------------------------------------------------------------------- | ----------- |
> | dso       | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
> | confirmer | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
> | action    | ActionRequiringConfirmation                                                              |             |
> | expiresAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)   |             |
>
> * **Choice** Archive
>
>   Controller: dso
>
>   Returns: ()
>
>   (no fields)
>
> * <div id="type-splice-dsorules-confirmationexpire-84183">
>     **Choice** Confirmation\_Expire
>   </div>
>
>   Controller: dso
>
>   Returns: Confirmation\_ExpireResult
>
>   (no fields)

<div id="type-splice-dsorules-dsorules-35440">
  **template** DsoRules
</div>

> Signatory: dso
>
> | Field               | Type                                                                                                                                                                                           | Description                                                                                                                       |
> | ------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------- |
> | dso                 | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                                                                                       |                                                                                                                                   |
> | epoch               | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)                                                                                                                |                                                                                                                                   |
> | svs                 | [Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) SvInfo           |                                                                                                                                   |
> | offboardedSvs       | [Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) OffboardedSvInfo |                                                                                                                                   |
> | dsoDelegate         | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                                                                                       | **Deprecated** in favor of delegateless automation.                                                                               |
> | config              | DsoRulesConfig                                                                                                                                                                                 |                                                                                                                                   |
> | initialTrafficState | [Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) TrafficState            | Map from participant/mediator ID to its traffic state at the time of synchronizer bootstrapping. Used for testing, empty in prod. |
> | isDevNet            | [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)                                                                                                              |                                                                                                                                   |
>
> * **Choice** Archive
>
>   Controller: dso
>
>   Returns: ()
>
>   (no fields)
>
> * <div id="type-splice-dsorules-dsorulesaddconfirmedsv-22105">
>     **Choice** DsoRules\_AddConfirmedSv
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_AddConfirmedSvResult
>
>   | Field                    | Type                                                                                                                     | Description |
>   | ------------------------ | ------------------------------------------------------------------------------------------------------------------------ | ----------- |
>   | sv                       | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                 |             |
>   | svOnboardingConfirmedCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvOnboardingConfirmed |             |
>   | earliestRoundCid         | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound       |             |
>   | middleRoundCid           | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound       |             |
>   | latestRoundCid           | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound       |             |
>   | amuletRulesCid           | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules           |             |
>
> * <div id="type-splice-dsorules-dsorulesaddsv-44293">
>     **Choice** DsoRules\_AddSv
>   </div>
>
>   Controller: dso
>
>   Returns: DsoRules\_AddSvResult
>
>   | Field              | Type                                                                                     | Description |
>   | ------------------ | ---------------------------------------------------------------------------------------- | ----------- |
>   | newSvParty         | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>   | newSvName          | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        |             |
>   | newSvRewardWeight  | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)          |             |
>   | newSvParticipantId | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        |             |
>   | joinedAsOfRound    | Round                                                                                    |             |
>
> * <div id="type-splice-dsorules-dsorulesadvanceopenminingrounds-34192">
>     **Choice** DsoRules\_AdvanceOpenMiningRounds
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_AdvanceOpenMiningRoundsResult
>
>   | Field               | Type                                                                                                                                                                                         | Description |
>   | ------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | amuletRulesCid      | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules                                                                               |             |
>   | roundToArchiveCid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound                                                                           |             |
>   | middleRoundCid      | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound                                                                           |             |
>   | latestRoundCid      | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound                                                                           |             |
>   | amuletPriceVoteCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletPriceVote]                                                                        |             |
>   | sv                  | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesallocateunallocatedunclaimedactivityrecord-56787">
>     **Choice** DsoRules\_AllocateUnallocatedUnclaimedActivityRecord
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_AllocateUnallocatedUnclaimedActivityRecordResult
>
>   | Field                                 | Type                                                                                                                                  | Description                                                                                         |
>   | ------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------- |
>   | unallocatedUnclaimedActivityRecordCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnallocatedUnclaimedActivityRecord |                                                                                                     |
>   | amuletRulesCid                        | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules                        |                                                                                                     |
>   | unclaimedRewardsToBurnCids            | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward]                 | A sufficient list of `UnclaimedReward` to be archived. It must cover at least the requested amount. |
>   | sv                                    | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                              |                                                                                                     |
>
> * <div id="type-splice-dsorules-dsorulesamuletrulesconvertfeaturedappactivitymarkers-52437">
>     **Choice** DsoRules\_AmuletRules\_ConvertFeaturedAppActivityMarkers
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_AmuletRules\_ConvertFeaturedAppActivityMarkersResult
>
>   | Field          | Type                                                                                                                                                                                         | Description |
>   | -------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | amuletRulesCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules                                                                               |             |
>   | argument       | AmuletRules\_ConvertFeaturedAppActivityMarkers                                                                                                                                               |             |
>   | sv             | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesamuletexpire-71495">
>     **Choice** DsoRules\_Amulet\_Expire
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_Amulet\_ExpireResult
>
>   | Field     | Type                                                                                                                                                                                         | Description |
>   | --------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid       | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet                                                                                    |             |
>   | choiceArg | Amulet\_Expire                                                                                                                                                                               |             |
>   | sv        | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesamuletexpiretransferinstructions-57305">
>     **Choice** DsoRules\_Amulet\_ExpireTransferInstructions
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_Amulet\_ExpireTransferInstructionsResult
>
>   | Field          | Type                                                                                                           | Description |
>   | -------------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
>   | amuletRulesCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules |             |
>   | transferInsts  | AmuletRules\_Amulet\_ExpireTransferInstructions                                                                |             |
>   | sv             | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                       |             |
>
> * <div id="type-splice-dsorules-dsorulesamuletexpirev2-61973">
>     **Choice** DsoRules\_Amulet\_ExpireV2
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_Amulet\_ExpireV2Result
>
>   | Field     | Type                                                                                                                                                                                         | Description |
>   | --------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid       | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet                                                                                    |             |
>   | choiceArg | Amulet\_ExpireV2                                                                                                                                                                             |             |
>   | sv        | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesarchiveoutdatedelectionrequest-55064">
>     **Choice** DsoRules\_ArchiveOutdatedElectionRequest
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ArchiveOutdatedElectionRequestResult
>
>   | Field      | Type                                                                                                                                                                                         | Description |
>   | ---------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | requestCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ElectionRequest                                                                           |             |
>   | sv         | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesarchivesvonboardingrequest-72075">
>     **Choice** DsoRules\_ArchiveSvOnboardingRequest
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ArchiveSvOnboardingRequestResult
>
>   | Field                  | Type                                                                                                                                                                                         | Description |
>   | ---------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | svOnboardingRequestCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvOnboardingRequest                                                                       |             |
>   | sv                     | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesbootstrapexternalpartyconfigstate-94209">
>     **Choice** DsoRules\_BootstrapExternalPartyConfigState
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_BootstrapExternalPartyConfigStateResult
>
>   | Field                 | Type                                                                                                                                            | Description |
>   | --------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | amuletRulesCid        | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules                                  |             |
>   | instructionCid        | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) BootstrapExternalPartyConfigStateInstruction |             |
>   | openMiningRoundTriple | OpenMiningRoundTriple                                                                                                                           |             |
>   | sv                    | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                                        |             |
>
> * <div id="type-splice-dsorules-dsorulescastvote-63161">
>     **Choice** DsoRules\_CastVote
>   </div>
>
>   Controller: (DA.Internal.Record.getField @"sv" vote)
>
>   Returns: DsoRules\_CastVoteResult
>
>   | Field      | Type                                                                                                           | Description |
>   | ---------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
>   | requestCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) VoteRequest |             |
>   | vote       | Vote                                                                                                           |             |
>
> * <div id="type-splice-dsorules-dsorulesclaimexpiredrewards-16372">
>     **Choice** DsoRules\_ClaimExpiredRewards
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ClaimExpiredRewardsResult
>
>   | Field          | Type                                                                                                                                                                                         | Description |
>   | -------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | amuletRulesCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules                                                                               |             |
>   | choiceArg      | AmuletRules\_ClaimExpiredRewards                                                                                                                                                             |             |
>   | sv             | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesclosevoterequest-87527">
>     **Choice** DsoRules\_CloseVoteRequest
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_CloseVoteRequestResult
>
>   | Field          | Type                                                                                                                                                                                                                 | Description |
>   | -------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | requestCid     | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) VoteRequest                                                                                                       |             |
>   | amuletRulesCid | [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) AmuletRules) |             |
>   | sv             | [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)                         |             |
>
> * <div id="type-splice-dsorules-dsorulescollectentryrenewalpayment-93166">
>     **Choice** DsoRules\_CollectEntryRenewalPayment
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_CollectEntryRenewalPaymentResult
>
>   | Field              | Type                                                                                                                                                                                         | Description |
>   | ------------------ | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | ansEntryContextCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AnsEntryContext                                                                           |             |
>   | choiceArg          | AnsEntryContext\_CollectEntryRenewalPayment                                                                                                                                                  |             |
>   | sv                 | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesconfirmaction-67097">
>     **Choice** DsoRules\_ConfirmAction
>   </div>
>
>   Controller: confirmer
>
>   Returns: DsoRules\_ConfirmActionResult
>
>   | Field     | Type                                                                                     | Description |
>   | --------- | ---------------------------------------------------------------------------------------- | ----------- |
>   | confirmer | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>   | action    | ActionRequiringConfirmation                                                              |             |
>
> * <div id="type-splice-dsorules-dsorulesconfirmsvonboarding-94029">
>     **Choice** DsoRules\_ConfirmSvOnboarding
>   </div>
>
>   Controller: dso
>
>   Returns: DsoRules\_ConfirmSvOnboardingResult
>
>   | Field             | Type                                                                                     | Description |
>   | ----------------- | ---------------------------------------------------------------------------------------- | ----------- |
>   | newSvParty        | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>   | newSvName         | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        |             |
>   | newParticipantId  | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        |             |
>   | newSvRewardWeight | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)          |             |
>   | reason            | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        |             |
>
> * <div id="type-splice-dsorules-dsorulescreatebootstrapexternalpartyconfigstateinstruction-1552">
>     **Choice** DsoRules\_CreateBootstrapExternalPartyConfigStateInstruction
>   </div>
>
>   Controller: dso
>
>   Returns: DsoRules\_CreateBootstrapExternalPartyConfigStateInstructionResult
>
>   (no fields)
>
> * <div id="type-splice-dsorules-dsorulescreateexternalpartyamuletrules-62448">
>     **Choice** DsoRules\_CreateExternalPartyAmuletRules
>   </div>
>
>   Controller: dso
>
>   Returns: DsoRules\_CreateExternalPartyAmuletRulesResult
>
>   (no fields)
>
> * <div id="type-splice-dsorules-dsorulescreatetransfercommandcounter-44220">
>     **Choice** DsoRules\_CreateTransferCommandCounter
>   </div>
>
>   Controller: dso
>
>   Returns: DsoRules\_CreateTransferCommandCounterResult
>
>   | Field  | Type                                                                                     | Description |
>   | ------ | ---------------------------------------------------------------------------------------- | ----------- |
>   | sender | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>
> * <div id="type-splice-dsorules-dsorulescreateunallocatedunclaimedactivityrecord-78616">
>     **Choice** DsoRules\_CreateUnallocatedUnclaimedActivityRecord
>   </div>
>
>   Controller: dso
>
>   Returns: DsoRules\_CreateUnallocatedUnclaimedActivityRecordResult
>
>   | Field       | Type                                                                                     | Description |
>   | ----------- | ---------------------------------------------------------------------------------------- | ----------- |
>   | beneficiary | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>   | amount      | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)  |             |
>   | reason      | [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)   |             |
>
> * <div id="type-splice-dsorules-dsoruleselectdsodelegate-82924">
>     **Choice** DsoRules\_ElectDsoDelegate
>   </div>
>
>   Controller: actor
>
>   Returns: DsoRules\_ElectDsoDelegateResult
>
>   | Field       | Type                                                                                                                  | Description |
>   | ----------- | --------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | actor       | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                              |             |
>   | requestCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ElectionRequest] |             |
>
> * <div id="type-splice-dsorules-dsorulesexecuteconfirmedaction-18028">
>     **Choice** DsoRules\_ExecuteConfirmedAction
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ExecuteConfirmedActionResult
>
>   | Field            | Type                                                                                                                                                                                                                 | Description |
>   | ---------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | action           | ActionRequiringConfirmation                                                                                                                                                                                          |             |
>   | amuletRulesCid   | [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) AmuletRules) |             |
>   | confirmationCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Confirmation]                                                                                                   |             |
>   | sv               | [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)                         |             |
>
> * <div id="type-splice-dsorules-dsorulesexpireamuletallocations-76865">
>     **Choice** DsoRules\_ExpireAmuletAllocations
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ExpireAmuletAllocationsResult
>
>   | Field             | Type                                                                                                                        | Description |
>   | ----------------- | --------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | extAmuletRulesCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyAmuletRules |             |
>   | expireAllocations | ExternalPartyAmuletRules\_ExpireAmuletAllocations                                                                           |             |
>   | sv                | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                    |             |
>
> * <div id="type-splice-dsorules-dsorulesexpireansentry-58167">
>     **Choice** DsoRules\_ExpireAnsEntry
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ExpireAnsEntryResult
>
>   | Field       | Type                                                                                                                                                                                         | Description |
>   | ----------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | ansEntryCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AnsEntry                                                                                  |             |
>   | choiceArg   | AnsEntry\_Expire                                                                                                                                                                             |             |
>   | sv          | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesexpiredevelopmentfundcoupon-65446">
>     **Choice** DsoRules\_ExpireDevelopmentFundCoupon
>   </div>
>
>   Expires a DevelopmentFundCoupon and produces an UnclaimedDevelopmentFundCoupon with the same amount.
>
>   Controller: sv
>
>   Returns: DsoRules\_ExpireDevelopmentFundCouponResult
>
>   | Field                    | Type                                                                                                                     | Description |
>   | ------------------------ | ------------------------------------------------------------------------------------------------------------------------ | ----------- |
>   | developmentFundCouponCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DevelopmentFundCoupon |             |
>   | sv                       | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                 |             |
>
> * <div id="type-splice-dsorules-dsorulesexpirestaleconfirmation-23846">
>     **Choice** DsoRules\_ExpireStaleConfirmation
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ExpireStaleConfirmationResult
>
>   | Field                | Type                                                                                                                                                                                         | Description |
>   | -------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | staleConfirmationCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Confirmation                                                                              |             |
>   | sv                   | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesexpiresubscription-15972">
>     **Choice** DsoRules\_ExpireSubscription
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ExpireSubscriptionResult
>
>   | Field                    | Type                                                                                                                                                                                         | Description |
>   | ------------------------ | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | ansEntryContextCid       | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AnsEntryContext                                                                           |             |
>   | subscriptionIdleStateCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState                                                                     |             |
>   | choiceArg                | SubscriptionIdleState\_ExpireSubscription                                                                                                                                                    |             |
>   | sv                       | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesexpiresvonboardingconfirmed-60809">
>     **Choice** DsoRules\_ExpireSvOnboardingConfirmed
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ExpireSvOnboardingConfirmedResult
>
>   | Field | Type                                                                                                                                                                                         | Description |
>   | ----- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvOnboardingConfirmed                                                                     |             |
>   | sv    | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesexpiresvonboardingrequest-63611">
>     **Choice** DsoRules\_ExpireSvOnboardingRequest
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ExpireSvOnboardingRequestResult
>
>   | Field | Type                                                                                                                                                                                         | Description |
>   | ----- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvOnboardingRequest                                                                       |             |
>   | sv    | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesexpiretransferpreapproval-91729">
>     **Choice** DsoRules\_ExpireTransferPreapproval
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ExpireTransferPreapprovalResult
>
>   | Field                  | Type                                                                                                                                                                                         | Description |
>   | ---------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | transferPreapprovalCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval                                                                       |             |
>   | sv                     | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesexpireunallocatedunclaimedactivityrecord-90041">
>     **Choice** DsoRules\_ExpireUnallocatedUnclaimedActivityRecord
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ExpireUnallocatedUnclaimedActivityRecordResult
>
>   | Field                                 | Type                                                                                                                                  | Description |
>   | ------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | unallocatedUnclaimedActivityRecordCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnallocatedUnclaimedActivityRecord |             |
>   | sv                                    | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                              |             |
>
> * <div id="type-splice-dsorules-dsorulesexpireunclaimedactivityrecord-57856">
>     **Choice** DsoRules\_ExpireUnclaimedActivityRecord
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ExpireUnclaimedActivityRecordResult
>
>   | Field                      | Type                                                                                                                       | Description |
>   | -------------------------- | -------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | unclaimedActivityRecordCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedActivityRecord |             |
>   | sv                         | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                   |             |
>
> * <div id="type-splice-dsorules-dsorulesgarbagecollectamuletpricevotes-77719">
>     **Choice** DsoRules\_GarbageCollectAmuletPriceVotes
>   </div>
>
>   Garbage-collect AmuletPriceVotes from removed svs and duplicate ones that might happen due to a too quick removal and re-addition of a sv. We expect this to be run as an OnAssignedContractTrigger for the DsoRules contract.
>
>   Note: we do not archive the AmuletPriceVote of an SV on its removal, as that would allow that SV to block the removal via updating its AmuletPriceVote at the right time.
>
>   TODO(#10063): drop this code in favor of just keeping AmuletPriceVotes around.
>
>   Controller: sv
>
>   Returns: DsoRules\_GarbageCollectAmuletPriceVotesResult
>
>   | Field             | Type                                                                                                                                                                                         | Description |
>   | ----------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | nonSvVoteCids     | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletPriceVote]                                                                        |             |
>   | duplicateVoteCids | \[\[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletPriceVote]]                                                                     |             |
>   | sv                | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesgrantfeaturedappright-79910">
>     **Choice** DsoRules\_GrantFeaturedAppRight
>   </div>
>
>   Controller: dso
>
>   Returns: DsoRules\_GrantFeaturedAppRightResult
>
>   | Field    | Type                                                                                     | Description |
>   | -------- | ---------------------------------------------------------------------------------------- | ----------- |
>   | provider | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>
> * <div id="type-splice-dsorules-dsoruleslockedamuletexpireamulet-28275">
>     **Choice** DsoRules\_LockedAmulet\_ExpireAmulet
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_LockedAmulet\_ExpireAmuletResult
>
>   | Field     | Type                                                                                                                                                                                         | Description |
>   | --------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid       | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) LockedAmulet                                                                              |             |
>   | choiceArg | LockedAmulet\_ExpireAmulet                                                                                                                                                                   |             |
>   | sv        | [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) |             |
>
> * <div id="type-splice-dsorules-dsoruleslockedamuletexpireamuletv2-91833">
>     **Choice** DsoRules\_LockedAmulet\_ExpireAmuletV2
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_LockedAmulet\_ExpireAmuletV2Result
>
>   | Field     | Type                                                                                                                                                                                         | Description |
>   | --------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | cid       | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) LockedAmulet                                                                              |             |
>   | choiceArg | LockedAmulet\_ExpireAmuletV2                                                                                                                                                                 |             |
>   | sv        | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesmergemembertrafficcontracts-34275">
>     **Choice** DsoRules\_MergeMemberTrafficContracts
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_MergeMemberTrafficContractsResult
>
>   | Field          | Type                                                                                                                                                                                         | Description |
>   | -------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | amuletRulesCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules                                                                               |             |
>   | trafficCids    | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic]                                                                          |             |
>   | sv             | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesmergesvrewardstate-39851">
>     **Choice** DsoRules\_MergeSvRewardState
>   </div>
>
>   Note this choice only exists to clean up duplicate contracts caused by the bug in #12495. There should never be duplicates going forward.
>
>   Controller: sv
>
>   Returns: DsoRules\_MergeSvRewardStateResult
>
>   | Field           | Type                                                                                                                                                                                         | Description |
>   | --------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | svName          | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)                                                                                                            |             |
>   | rewardStateCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardState]                                                                          |             |
>   | sv              | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesmergeunclaimeddevelopmentfundcoupons-23755">
>     **Choice** DsoRules\_MergeUnclaimedDevelopmentFundCoupons
>   </div>
>
>   Batch merge of of development fund coupons.
>
>   Controller: sv
>
>   Returns: DsoRules\_MergeUnclaimedDevelopmentFundCouponsResult
>
>   | Field          | Type                                                                                                           | Description |
>   | -------------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
>   | amuletRulesCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules |             |
>   | choiceArg      | AmuletRules\_MergeUnclaimedDevelopmentFundCoupons                                                              |             |
>   | sv             | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                       |             |
>
> * <div id="type-splice-dsorules-dsorulesmergeunclaimedrewards-12383">
>     **Choice** DsoRules\_MergeUnclaimedRewards
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_MergeUnclaimedRewardsResult
>
>   | Field               | Type                                                                                                                                                                                         | Description |
>   | ------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | amuletRulesCid      | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules                                                                               |             |
>   | unclaimedRewardCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward]                                                                        |             |
>   | sv                  | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesmergevalidatorlicense-65804">
>     **Choice** DsoRules\_MergeValidatorLicense
>   </div>
>
>   Note: removes the old duplicated licenses and creates a new one with the highest lastReceivedFor round There should never be duplicates going forward.
>
>   Controller: sv
>
>   Returns: DsoRules\_MergeValidatorLicenseResult
>
>   | Field                | Type                                                                                                                                                                                         | Description |
>   | -------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | validatorLicenseCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorLicense]                                                                       |             |
>   | sv                   | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesminingroundclose-28010">
>     **Choice** DsoRules\_MiningRound\_Close
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_MiningRound\_CloseResult
>
>   | Field           | Type                                                                                                                                                                                         | Description |
>   | --------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | amuletRulesCid  | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules                                                                               |             |
>   | issuingRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) IssuingMiningRound                                                                        |             |
>   | sv              | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesoffboardsv-78636">
>     **Choice** DsoRules\_OffboardSv
>   </div>
>
>   Controller: dso
>
>   Returns: DsoRules\_OffboardSvResult
>
>   | Field | Type                                                                                     | Description |
>   | ----- | ---------------------------------------------------------------------------------------- | ----------- |
>   | sv    | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>
> * <div id="type-splice-dsorules-dsorulesonboardvalidator-23909">
>     **Choice** DsoRules\_OnboardValidator
>   </div>
>
>   Controller: sponsor
>
>   Returns: DsoRules\_OnboardValidatorResult
>
>   | Field        | Type                                                                                                                                                                                  | Description |
>   | ------------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | sponsor      | [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)                                                                                              |             |
>   | version      | [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) |             |
>   | contactPoint | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulespruneamuletconfigschedule-70948">
>     **Choice** DsoRules\_PruneAmuletConfigSchedule
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_PruneAmuletConfigScheduleResult
>
>   | Field          | Type                                                                                                                                                                                         | Description |
>   | -------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | amuletRulesCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules                                                                               |             |
>   | sv             | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesreceivesvrewardcoupon-83972">
>     **Choice** DsoRules\_ReceiveSvRewardCoupon
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_ReceiveSvRewardCouponResult
>
>   | Field          | Type                                                                                                                                                                           | Description |
>   | -------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | ----------- |
>   | sv             | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                                                                       |             |
>   | openRoundCid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound                                                             |             |
>   | rewardStateCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardState                                                               |             |
>   | beneficiaries  | \[([Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932), [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261))] |             |
>
> * <div id="type-splice-dsorules-dsorulesrequestelection-327">
>     **Choice** DsoRules\_RequestElection
>   </div>
>
>   Controller: requester
>
>   Returns: DsoRules\_RequestElectionResult
>
>   | Field     | Type                                                                                        | Description |
>   | --------- | ------------------------------------------------------------------------------------------- | ----------- |
>   | requester | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)    |             |
>   | reason    | ElectionRequestReason                                                                       |             |
>   | ranking   | \[[Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)] |             |
>
> * <div id="type-splice-dsorules-dsorulesrequestvote-27270">
>     **Choice** DsoRules\_RequestVote
>   </div>
>
>   Controller: requester
>
>   Returns: DsoRules\_RequestVoteResult
>
>   | Field              | Type                                                                                                                                                                                            | Description |
>   | ------------------ | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | requester          | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                                                                                        |             |
>   | action             | ActionRequiringConfirmation                                                                                                                                                                     |             |
>   | reason             | Reason                                                                                                                                                                                          |             |
>   | voteRequestTimeout | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082) |             |
>   | targetEffectiveAt  | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)      |             |
>
> * <div id="type-splice-dsorules-dsorulesrevokefeaturedappright-46223">
>     **Choice** DsoRules\_RevokeFeaturedAppRight
>   </div>
>
>   Controller: dso
>
>   Returns: DsoRules\_RevokeFeaturedAppRightResult
>
>   | Field    | Type                                                                                                                | Description |
>   | -------- | ------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | rightCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight |             |
>
> * <div id="type-splice-dsorules-dsorulessetconfig-76713">
>     **Choice** DsoRules\_SetConfig
>   </div>
>
>   Controller: dso
>
>   Returns: DsoRules\_SetConfigResult
>
>   | Field      | Type                                                                                                               | Description |
>   | ---------- | ------------------------------------------------------------------------------------------------------------------ | ----------- |
>   | newConfig  | DsoRulesConfig                                                                                                     |             |
>   | baseConfig | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) DsoRulesConfig |             |
>
> * <div id="type-splice-dsorules-dsorulessetsynchronizernodeconfig-79561">
>     **Choice** DsoRules\_SetSynchronizerNodeConfig
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_SetSynchronizerNodeConfigResult
>
>   | Field          | Type                                                                                                           | Description |
>   | -------------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
>   | sv             | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                       |             |
>   | synchronizerId | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)                              |             |
>   | newNodeConfig  | SynchronizerNodeConfig                                                                                         |             |
>   | nodeStateCid   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvNodeState |             |
>
> * <div id="type-splice-dsorules-dsorulesstartsvonboarding-74859">
>     **Choice** DsoRules\_StartSvOnboarding
>   </div>
>
>   Controller: sponsor
>
>   Returns: DsoRules\_StartSvOnboardingResult
>
>   | Field                  | Type                                                                                     | Description |
>   | ---------------------- | ---------------------------------------------------------------------------------------- | ----------- |
>   | candidateName          | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        |             |
>   | candidateParty         | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>   | candidateParticipantId | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        |             |
>   | token                  | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        |             |
>   | sponsor                | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>
> * <div id="type-splice-dsorules-dsorulessubmitstatusreport-89950">
>     **Choice** DsoRules\_SubmitStatusReport
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_SubmitStatusReportResult
>
>   | Field             | Type                                                                                                              | Description |
>   | ----------------- | ----------------------------------------------------------------------------------------------------------------- | ----------- |
>   | sv                | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                          |             |
>   | previousReportCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvStatusReport |             |
>   | status            | SvStatus                                                                                                          |             |
>
> * <div id="type-splice-dsorules-dsorulesterminatesubscription-67561">
>     **Choice** DsoRules\_TerminateSubscription
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_TerminateSubscriptionResult
>
>   | Field                     | Type                                                                                                                                                                                         | Description |
>   | ------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | ansEntryContextCid        | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AnsEntryContext                                                                           |             |
>   | terminatedSubscriptionCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription                                                                    |             |
>   | sv                        | [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) |             |
>
> * <div id="type-splice-dsorules-dsorulesupdateamuletpricevote-33547">
>     **Choice** DsoRules\_UpdateAmuletPriceVote
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_UpdateAmuletPriceVoteResult
>
>   | Field       | Type                                                                                                               | Description |
>   | ----------- | ------------------------------------------------------------------------------------------------------------------ | ----------- |
>   | sv          | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                           |             |
>   | voteCid     | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletPriceVote |             |
>   | amuletPrice | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)                            |             |
>
> * <div id="type-splice-dsorules-dsorulesupdateexternalpartyconfigstates-33819">
>     **Choice** DsoRules\_UpdateExternalPartyConfigStates
>   </div>
>
>   Controller: sv
>
>   Returns: DsoRules\_UpdateExternalPartyConfigStatesResult
>
>   | Field                        | Type                                                                                                                        | Description |
>   | ---------------------------- | --------------------------------------------------------------------------------------------------------------------------- | ----------- |
>   | amuletRulesCid               | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules              |             |
>   | externalPartyConfigStateCid0 | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState |             |
>   | externalPartyConfigStateCid1 | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState |             |
>   | openMiningRoundTriple        | OpenMiningRoundTriple                                                                                                       |             |
>   | sv                           | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                    |             |
>
> * <div id="type-splice-dsorules-dsorulesupdatesvrewardweight-33689">
>     **Choice** DsoRules\_UpdateSvRewardWeight
>   </div>
>
>   Controller: dso
>
>   Returns: DsoRules\_UpdateSvRewardWeightResult
>
>   | Field           | Type                                                                                     | Description |
>   | --------------- | ---------------------------------------------------------------------------------------- | ----------- |
>   | svParty         | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>   | newRewardWeight | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)          |             |

<div id="type-splice-dsorules-electionrequest-92680">
  **template** ElectionRequest
</div>

> **Deprecated** in favor of delegateless automation.
>
> A request to elect a new DSO delegate.
>
> Signatory: dso
>
> | Field     | Type                                                                                        | Description |
> | --------- | ------------------------------------------------------------------------------------------- | ----------- |
> | dso       | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)    |             |
> | requester | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)    |             |
> | epoch     | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)             |             |
> | reason    | ElectionRequestReason                                                                       |             |
> | ranking   | \[[Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)] |             |
>
> * **Choice** Archive
>
>   Controller: dso
>
>   Returns: ()
>
>   (no fields)

<div id="type-splice-dsorules-unallocatedunclaimedactivityrecord-15769">
  **template** UnallocatedUnclaimedActivityRecord
</div>

> A governance-approved record representing intent to reward a beneficiary. Once sufficient `UnclaimedReward` contracts are allocated and archived, this contract results in the creation of a mintable `UnclaimedActivityRecord`.
>
> Signatory: dso
>
> | Field       | Type                                                                                     | Description                                                                       |
> | ----------- | ---------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------- |
> | dso         | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |                                                                                   |
> | beneficiary | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | The owner of the `Amulet` to be minted                                            |
> | amount      | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)  | The amount of `Amulet` to be minted                                               |
> | reason      | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        | A reason to mint the `Amulet`                                                     |
> | expiresAt   | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)   | Selected timestamp defining the lifetime of the UnclaimedActivityRecord contract. |
>
> * **Choice** Archive
>
>   Controller: dso
>
>   Returns: ()
>
>   (no fields)

<div id="type-splice-dsorules-voterequest-12683">
  **template** VoteRequest
</div>

> A request for the other svs to vote on the execution of an action requiring confirmation. We use this for implementing on-ledger governance actions triggered by SV operators in a uniform way.
>
> See the comments on `ActionRequiringConfirmation` for details.
>
> Version 3, which introduces effectivity in vote request.
>
> Signatory: dso
>
> | Field             | Type                                                                                                                                                                                                                 | Description                                                                                                                                                                               |
> | ----------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
> | dso               | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                                                                                                             |                                                                                                                                                                                           |
> | requester         | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)                                                                                                                                    | The SV that requested to execute the action.                                                                                                                                              |
> | action            | ActionRequiringConfirmation                                                                                                                                                                                          | The action whose confirmation is required.                                                                                                                                                |
> | reason            | Reason                                                                                                                                                                                                               | The reason for requesting the execution of the action. Typically a reference to some off-ledger justification.                                                                            |
> | voteBefore        | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)                                                                                                                               | The time before which votes are accepted, and SHOULD be submitted.                                                                                                                        |
> | votes             | [Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) Vote                                          | The votes cast by current or previous SVs. These may be previous SVs in case there was an SV change after the vote was requested.                                                         |
> | trackingCid       | [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) VoteRequest) | An optional tracking ContractId to be used for tracking the vote request through its updates. This is always set to the first ContractId of the original vote request (None on creation). |
> | targetEffectiveAt | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)                           | The time when the action is targeted to be made effective. If None, the action is immediately effective upon 2/3 votes in favor.                                                          |
>
> * **Choice** Archive
>
>   Controller: dso
>
>   Returns: ()
>
>   (no fields)

## Orphan Typeclass Instances

**instance** HasCheckedFetch FeaturedAppRight ForDso

## Data Types

<div id="type-splice-dsorules-actionrequiringconfirmation-45397">
  **data** ActionRequiringConfirmation
</div>

> Actions that require confirmation from SV nodes before they can be executed.
>
> There are two processes for executing such actions:
>
> 1. Any SV can request a vote to execute such an action upon which the other SV's can respond with their votes for whether they accept the execution or not. This process requires votes from 2/3 of all SVs\* for the action to be considered definitive and it can be used for all actions that require confirmation.
>
> 2. Some of the actions that require confirmations should be executed automatically once the ledger and the wall-clocks of the SV nodes are in a particular state. These actions are confirmed by each SV node automatically once the action's precondition is met. Once 2/3 of all SV's confirmations\* are visible to the DSO delegate it executes them.
>
> * Simplified for clarity; see `requiredNumVotes` for exact formula.
>
> Process 2 is an optimization of Process 1 for the case where no disagreement to the action is expected.
>
> We expect honest SV nodes to only create confirmations for actions whose preconditions are met. We also rely on the execution of these actions to be idempotent, as more than the required number of confirmations can be created.
>
> Note also that having these two processes also aids in distinguishing between manually initiated ad-hoc votes and the regular confirmations that need to happen during standard DSO.
>
> <div id="constr-splice-dsorules-arcdsorules-25826">
>   ARC\_DsoRules
> </div>
>
> > | Field     | Type                                  | Description |
> > | --------- | ------------------------------------- | ----------- |
> > | dsoAction | DsoRules\_ActionRequiringConfirmation |             |
>
> <div id="constr-splice-dsorules-arcamuletrules-45909">
>   ARC\_AmuletRules
> </div>
>
> > | Field             | Type                                     | Description |
> > | ----------------- | ---------------------------------------- | ----------- |
> > | amuletRulesAction | AmuletRules\_ActionRequiringConfirmation |             |
>
> <div id="constr-splice-dsorules-arcansentrycontext-51355">
>   ARC\_AnsEntryContext
> </div>
>
> > | Field                 | Type                                                                                                               | Description |
> > | --------------------- | ------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | ansEntryContextCid    | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AnsEntryContext |             |
> > | ansEntryContextAction | AnsEntryContext\_ActionRequiringConfirmation                                                                       |             |
>
> <div id="constr-splice-dsorules-extactionrequiringconformation-24220">
>   ExtActionRequiringConformation
> </div>
>
> > | Field          | Type | Description                                                                                                                                                                            |
> > | -------------- | ---- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
> > | dummyUnitField | ()   | Extension constructor (and field) to work around the current lack of upgrading for variants in Daml 3.0 This on takes care of providing extensibility for the specific variants below. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) ActionRequiringConfirmation
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) ActionRequiringConfirmation
>
> **instance** GetField "action" Confirmation ActionRequiringConfirmation
>
> **instance** GetField "action" DsoRules\_ConfirmAction ActionRequiringConfirmation
>
> **instance** GetField "action" DsoRules\_ExecuteConfirmedAction ActionRequiringConfirmation
>
> **instance** GetField "action" DsoRules\_RequestVote ActionRequiringConfirmation
>
> **instance** GetField "action" VoteRequest ActionRequiringConfirmation
>
> **instance** GetField "amuletRulesAction" ActionRequiringConfirmation AmuletRules\_ActionRequiringConfirmation
>
> **instance** GetField "ansEntryContextAction" ActionRequiringConfirmation AnsEntryContext\_ActionRequiringConfirmation
>
> **instance** GetField "ansEntryContextCid" ActionRequiringConfirmation ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AnsEntryContext)
>
> **instance** GetField "dsoAction" ActionRequiringConfirmation DsoRules\_ActionRequiringConfirmation
>
> **instance** GetField "dummyUnitField" ActionRequiringConfirmation ()
>
> **instance** SetField "action" Confirmation ActionRequiringConfirmation
>
> **instance** SetField "action" DsoRules\_ConfirmAction ActionRequiringConfirmation
>
> **instance** SetField "action" DsoRules\_ExecuteConfirmedAction ActionRequiringConfirmation
>
> **instance** SetField "action" DsoRules\_RequestVote ActionRequiringConfirmation
>
> **instance** SetField "action" VoteRequest ActionRequiringConfirmation
>
> **instance** SetField "amuletRulesAction" ActionRequiringConfirmation AmuletRules\_ActionRequiringConfirmation
>
> **instance** SetField "ansEntryContextAction" ActionRequiringConfirmation AnsEntryContext\_ActionRequiringConfirmation
>
> **instance** SetField "ansEntryContextCid" ActionRequiringConfirmation ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AnsEntryContext)
>
> **instance** SetField "dsoAction" ActionRequiringConfirmation DsoRules\_ActionRequiringConfirmation
>
> **instance** SetField "dummyUnitField" ActionRequiringConfirmation ()

<div id="type-splice-dsorules-amuletrulesactionrequiringconfirmation-62783">
  **data** AmuletRules\_ActionRequiringConfirmation
</div>

> <div id="constr-splice-dsorules-crarcminingroundstartissuing-47375">
>   CRARC\_MiningRound\_StartIssuing AmuletRules\_MiningRound\_StartIssuing
> </div>
>
> > Automated action to start an issuing round once the summary of the reward coupons have been computed.
>
> <div id="constr-splice-dsorules-crarcminingroundarchive-10786">
>   CRARC\_MiningRound\_Archive AmuletRules\_MiningRound\_Archive
> </div>
>
> > Automated action to archive a closed mining round once no expired reward coupons are left.
>
> <div id="constr-splice-dsorules-crarcaddfutureamuletconfigschedule-50004">
>   CRARC\_AddFutureAmuletConfigSchedule AmuletRules\_AddFutureAmuletConfigSchedule
> </div>
>
> > **Deprecated, use CRARC\_SetConfig instead**: Voted action to add a config schedule to the `AmuletRules`.
>
> <div id="constr-splice-dsorules-crarcremovefutureamuletconfigschedule-28322">
>   CRARC\_RemoveFutureAmuletConfigSchedule AmuletRules\_RemoveFutureAmuletConfigSchedule
> </div>
>
> > **Deprecated, use CRARC\_SetConfig instead**: Voted action to remove a config schedule from the `AmuletRules`.
>
> <div id="constr-splice-dsorules-crarcupdatefutureamuletconfigschedule-3041">
>   CRARC\_UpdateFutureAmuletConfigSchedule AmuletRules\_UpdateFutureAmuletConfigSchedule
> </div>
>
> > **Deprecated, use CRARC\_SetConfig instead**: Voted action to update a config schedule in the `AmuletRules`.
>
> <div id="constr-splice-dsorules-crarcsetconfig-80537">
>   CRARC\_SetConfig AmuletRules\_SetConfig
> </div>
>
> > Voted action to change the `AmuletConfig`. Not idempotent.
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) AmuletRules\_ActionRequiringConfirmation
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) AmuletRules\_ActionRequiringConfirmation
>
> **instance** GetField "amuletRulesAction" ActionRequiringConfirmation AmuletRules\_ActionRequiringConfirmation
>
> **instance** SetField "amuletRulesAction" ActionRequiringConfirmation AmuletRules\_ActionRequiringConfirmation

<div id="type-splice-dsorules-ansentrycontextactionrequiringconfirmation-11149">
  **data** AnsEntryContext\_ActionRequiringConfirmation
</div>

> <div id="constr-splice-dsorules-ansrarccollectinitialentrypayment-99049">
>   ANSRARC\_CollectInitialEntryPayment AnsEntryContext\_CollectInitialEntryPayment
> </div>
>
> > Automated action to collect initial payment of an ans entry.
>
> <div id="constr-splice-dsorules-ansrarcrejectentryinitialpayment-1047">
>   ANSRARC\_RejectEntryInitialPayment AnsEntryContext\_RejectEntryInitialPayment
> </div>
>
> > Automated action to reject initial payment of an ans entry.
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) AnsEntryContext\_ActionRequiringConfirmation
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) AnsEntryContext\_ActionRequiringConfirmation
>
> **instance** GetField "ansEntryContextAction" ActionRequiringConfirmation AnsEntryContext\_ActionRequiringConfirmation
>
> **instance** SetField "ansEntryContextAction" ActionRequiringConfirmation AnsEntryContext\_ActionRequiringConfirmation

<div id="type-splice-dsorules-confirmationexpireresult-10666">
  **data** Confirmation\_ExpireResult
</div>

> Choice return types
>
> <div id="constr-splice-dsorules-confirmationexpireresult-43205">
>   Confirmation\_ExpireResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) Confirmation Confirmation\_Expire Confirmation\_ExpireResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) Confirmation Confirmation\_Expire Confirmation\_ExpireResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) Confirmation Confirmation\_Expire Confirmation\_ExpireResult

<div id="type-splice-dsorules-dsorulesconfig-6376">
  **data** DsoRulesConfig
</div>

> <div id="constr-splice-dsorules-dsorulesconfig-32625">
>   DsoRulesConfig
> </div>
>
> > | Field                                   | Type                                                                                                                                                                                            | Description                                                                                                                                     |
> > | --------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------- |
> > | numUnclaimedRewardsThreshold            | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)                                                                                                                 | The minimum number of unclaimed rewards required for merging                                                                                    |
> > | numMemberTrafficContractsThreshold      | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)                                                                                                                 | The minimum number of member traffic contracts required for merging                                                                             |
> > | actionConfirmationTimeout               | [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)                                                                                                     | The TTL for contracts representing a confirmation                                                                                               |
> > | svOnboardingRequestTimeout              | [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)                                                                                                     | The TTL for contracts representing an incomplete onboarding                                                                                     |
> > | svOnboardingConfirmedTimeout            | [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)                                                                                                     | The TTL for contracts representing an SV confirmation                                                                                           |
> > | voteRequestTimeout                      | [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)                                                                                                     | The TTL for a `VoteRequest` and its associated `Vote` s                                                                                         |
> > | dsoDelegateInactiveTimeout              | [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)                                                                                                     | The amount of time given to the DSO delegate to complete an action it should take care of ^ **Deprecated** in favor of delegateless automation. |
> > | synchronizerNodeConfigLimits            | SynchronizerNodeConfigLimits                                                                                                                                                                    | Limits to enforce on the svs' `SynchronizerNodeConfig`                                                                                          |
> > | maxTextLength                           | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)                                                                                                                 | Generic upper limit on text fields in choices and contracts.                                                                                    |
> > | decentralizedSynchronizer               | DsoDecentralizedSynchronizerConfig                                                                                                                                                              |                                                                                                                                                 |
> > | nextScheduledSynchronizerUpgrade        | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) SynchronizerUpgradeSchedule                                                                 |                                                                                                                                                 |
> > | voteCooldownTime                        | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082) | The minimum time between two votes by the same SV.                                                                                              |
> > | nextScheduledLogicalSynchronizerUpgrade | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) LogicalSynchronizerUpgradeSchedule                                                          |                                                                                                                                                 |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) DsoRulesConfig
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) DsoRulesConfig
>
> **instance** GetField "actionConfirmationTimeout" DsoRulesConfig [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** GetField "baseConfig" DsoRules\_SetConfig ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) DsoRulesConfig)
>
> **instance** GetField "config" DsoBootstrap DsoRulesConfig
>
> **instance** GetField "config" DsoRules DsoRulesConfig
>
> **instance** GetField "decentralizedSynchronizer" DsoRulesConfig DsoDecentralizedSynchronizerConfig
>
> **instance** GetField "dsoDelegateInactiveTimeout" DsoRulesConfig [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** GetField "maxTextLength" DsoRulesConfig [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "newConfig" DsoRules\_SetConfig DsoRulesConfig
>
> **instance** GetField "nextScheduledLogicalSynchronizerUpgrade" DsoRulesConfig ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) LogicalSynchronizerUpgradeSchedule)
>
> **instance** GetField "nextScheduledSynchronizerUpgrade" DsoRulesConfig ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) SynchronizerUpgradeSchedule)
>
> **instance** GetField "numMemberTrafficContractsThreshold" DsoRulesConfig [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "numUnclaimedRewardsThreshold" DsoRulesConfig [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "svOnboardingConfirmedTimeout" DsoRulesConfig [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** GetField "svOnboardingRequestTimeout" DsoRulesConfig [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** GetField "synchronizerNodeConfigLimits" DsoRulesConfig SynchronizerNodeConfigLimits
>
> **instance** GetField "voteCooldownTime" DsoRulesConfig ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082))
>
> **instance** GetField "voteRequestTimeout" DsoRulesConfig [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** SetField "actionConfirmationTimeout" DsoRulesConfig [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** SetField "baseConfig" DsoRules\_SetConfig ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) DsoRulesConfig)
>
> **instance** SetField "config" DsoBootstrap DsoRulesConfig
>
> **instance** SetField "config" DsoRules DsoRulesConfig
>
> **instance** SetField "decentralizedSynchronizer" DsoRulesConfig DsoDecentralizedSynchronizerConfig
>
> **instance** SetField "dsoDelegateInactiveTimeout" DsoRulesConfig [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** SetField "maxTextLength" DsoRulesConfig [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "newConfig" DsoRules\_SetConfig DsoRulesConfig
>
> **instance** SetField "nextScheduledLogicalSynchronizerUpgrade" DsoRulesConfig ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) LogicalSynchronizerUpgradeSchedule)
>
> **instance** SetField "nextScheduledSynchronizerUpgrade" DsoRulesConfig ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) SynchronizerUpgradeSchedule)
>
> **instance** SetField "numMemberTrafficContractsThreshold" DsoRulesConfig [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "numUnclaimedRewardsThreshold" DsoRulesConfig [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "svOnboardingConfirmedTimeout" DsoRulesConfig [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** SetField "svOnboardingRequestTimeout" DsoRulesConfig [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** SetField "synchronizerNodeConfigLimits" DsoRulesConfig SynchronizerNodeConfigLimits
>
> **instance** SetField "voteCooldownTime" DsoRulesConfig ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082))
>
> **instance** SetField "voteRequestTimeout" DsoRulesConfig [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** Patchable DsoRulesConfig

<div id="type-splice-dsorules-dsorulesactionrequiringconfirmation-12600">
  **data** DsoRules\_ActionRequiringConfirmation
</div>

> <div id="constr-splice-dsorules-srarcaddsv-12841">
>   SRARC\_AddSv DsoRules\_AddSv
> </div>
>
> > Voted action to directly add an SV
>
> <div id="constr-splice-dsorules-srarcoffboardsv-63692">
>   SRARC\_OffboardSv DsoRules\_OffboardSv
> </div>
>
> > Voted action to remove an SV
>
> <div id="constr-splice-dsorules-srarcconfirmsvonboarding-51509">
>   SRARC\_ConfirmSvOnboarding DsoRules\_ConfirmSvOnboarding
> </div>
>
> > Automated action to confirm that a party can become an SV.
>
> <div id="constr-splice-dsorules-srarcgrantfeaturedappright-84890">
>   SRARC\_GrantFeaturedAppRight DsoRules\_GrantFeaturedAppRight
> </div>
>
> > Voted action to grant a featured app right. Not idempotent.
>
> <div id="constr-splice-dsorules-srarcrevokefeaturedappright-73851">
>   SRARC\_RevokeFeaturedAppRight DsoRules\_RevokeFeaturedAppRight
> </div>
>
> > Revoke a specific featured app right.
>
> <div id="constr-splice-dsorules-srarcsetconfig-39305">
>   SRARC\_SetConfig DsoRules\_SetConfig
> </div>
>
> > Voted action to change the `DsoRulesConfig`. Not idempotent.
>
> <div id="constr-splice-dsorules-srarcupdatesvrewardweight-81705">
>   SRARC\_UpdateSvRewardWeight DsoRules\_UpdateSvRewardWeight
> </div>
>
> > Voted action to update the reward weight of an SV.
>
> <div id="constr-splice-dsorules-srarccreateexternalpartyamuletrules-49124">
>   SRARC\_CreateExternalPartyAmuletRules DsoRules\_CreateExternalPartyAmuletRules
> </div>
>
> > Create ExternalPartyAmuletRules contract if it has not been created as part of network bootstrapping.
>
> <div id="constr-splice-dsorules-srarccreatetransfercommandcounter-88632">
>   SRARC\_CreateTransferCommandCounter DsoRules\_CreateTransferCommandCounter
> </div>
>
> > Create TransferCommandCounter contract for the given sender if it does not already exist
>
> <div id="constr-splice-dsorules-srarccreateunallocatedunclaimedactivityrecord-97784">
>   SRARC\_CreateUnallocatedUnclaimedActivityRecord DsoRules\_CreateUnallocatedUnclaimedActivityRecord
> </div>
>
> > Voted action to create an UnallocatedUnclaimedActivityRecord contract.
>
> <div id="constr-splice-dsorules-srarccreatebootstrapexternalpartyconfigstateinstruction-49456">
>   SRARC\_CreateBootstrapExternalPartyConfigStateInstruction DsoRules\_CreateBootstrapExternalPartyConfigStateInstruction
> </div>
>
> > Create BootstrapExternalPartyConfigStateInstruction
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) DsoRules\_ActionRequiringConfirmation
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) DsoRules\_ActionRequiringConfirmation
>
> **instance** GetField "dsoAction" ActionRequiringConfirmation DsoRules\_ActionRequiringConfirmation
>
> **instance** SetField "dsoAction" ActionRequiringConfirmation DsoRules\_ActionRequiringConfirmation

<div id="type-splice-dsorules-dsorulesaddconfirmedsvresult-53040">
  **data** DsoRules\_AddConfirmedSvResult
</div>

> <div id="constr-splice-dsorules-dsorulesaddconfirmedsvresult-81391">
>   DsoRules\_AddConfirmedSvResult
> </div>
>
> > | Field       | Type                                                                                                        | Description |
> > | ----------- | ----------------------------------------------------------------------------------------------------------- | ----------- |
> > | newDsoRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules |             |
>
> **instance** GetField "newDsoRules" DsoRules\_AddConfirmedSvResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** SetField "newDsoRules" DsoRules\_AddConfirmedSvResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_AddConfirmedSv DsoRules\_AddConfirmedSvResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_AddConfirmedSv DsoRules\_AddConfirmedSvResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_AddConfirmedSv DsoRules\_AddConfirmedSvResult

<div id="type-splice-dsorules-dsorulesaddsvresult-53972">
  **data** DsoRules\_AddSvResult
</div>

> <div id="constr-splice-dsorules-dsorulesaddsvresult-63557">
>   DsoRules\_AddSvResult
> </div>
>
> > | Field       | Type                                                                                                        | Description |
> > | ----------- | ----------------------------------------------------------------------------------------------------------- | ----------- |
> > | newDsoRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules |             |
>
> **instance** GetField "newDsoRules" DsoRules\_AddSvResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** SetField "newDsoRules" DsoRules\_AddSvResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_AddSv DsoRules\_AddSvResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_AddSv DsoRules\_AddSvResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_AddSv DsoRules\_AddSvResult

<div id="type-splice-dsorules-dsorulesadvanceopenminingroundsresult-57405">
  **data** DsoRules\_AdvanceOpenMiningRoundsResult
</div>

> <div id="constr-splice-dsorules-dsorulesadvanceopenminingroundsresult-30524">
>   DsoRules\_AdvanceOpenMiningRoundsResult
> </div>
>
> > | Field            | Type                                                                                                                      | Description |
> > | ---------------- | ------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | summarizingRound | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SummarizingMiningRound |             |
> > | openRound        | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound        |             |
>
> **instance** GetField "openRound" DsoRules\_AdvanceOpenMiningRoundsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** GetField "summarizingRound" DsoRules\_AdvanceOpenMiningRoundsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SummarizingMiningRound)
>
> **instance** SetField "openRound" DsoRules\_AdvanceOpenMiningRoundsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** SetField "summarizingRound" DsoRules\_AdvanceOpenMiningRoundsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SummarizingMiningRound)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_AdvanceOpenMiningRounds DsoRules\_AdvanceOpenMiningRoundsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_AdvanceOpenMiningRounds DsoRules\_AdvanceOpenMiningRoundsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_AdvanceOpenMiningRounds DsoRules\_AdvanceOpenMiningRoundsResult

<div id="type-splice-dsorules-dsorulesallocateunallocatedunclaimedactivityrecordresult-87254">
  **data** DsoRules\_AllocateUnallocatedUnclaimedActivityRecordResult
</div>

> <div id="constr-splice-dsorules-dsorulesallocateunallocatedunclaimedactivityrecordresult-24573">
>   DsoRules\_AllocateUnallocatedUnclaimedActivityRecordResult
> </div>
>
> > | Field                      | Type                                                                                                                                                                                                                     | Description |
> > | -------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | unclaimedActivityRecordCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedActivityRecord                                                                                               |             |
> > | optUnclaimedRewardCid      | [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) UnclaimedReward) |             |
>
> **instance** GetField "optUnclaimedRewardCid" DsoRules\_AllocateUnallocatedUnclaimedActivityRecordResult ([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) UnclaimedReward))
>
> **instance** GetField "unclaimedActivityRecordCid" DsoRules\_AllocateUnallocatedUnclaimedActivityRecordResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedActivityRecord)
>
> **instance** SetField "optUnclaimedRewardCid" DsoRules\_AllocateUnallocatedUnclaimedActivityRecordResult ([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) UnclaimedReward))
>
> **instance** SetField "unclaimedActivityRecordCid" DsoRules\_AllocateUnallocatedUnclaimedActivityRecordResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedActivityRecord)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_AllocateUnallocatedUnclaimedActivityRecord DsoRules\_AllocateUnallocatedUnclaimedActivityRecordResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_AllocateUnallocatedUnclaimedActivityRecord DsoRules\_AllocateUnallocatedUnclaimedActivityRecordResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_AllocateUnallocatedUnclaimedActivityRecord DsoRules\_AllocateUnallocatedUnclaimedActivityRecordResult

<div id="type-splice-dsorules-dsorulesamuletrulesconvertfeaturedappactivitymarkersresult-72068">
  **data** DsoRules\_AmuletRules\_ConvertFeaturedAppActivityMarkersResult
</div>

> <div id="constr-splice-dsorules-dsorulesamuletrulesconvertfeaturedappactivitymarkersresult-81577">
>   DsoRules\_AmuletRules\_ConvertFeaturedAppActivityMarkersResult
> </div>
>
> > | Field  | Type                                                 | Description |
> > | ------ | ---------------------------------------------------- | ----------- |
> > | result | AmuletRules\_ConvertFeaturedAppActivityMarkersResult |             |
>
> **instance** GetField "result" DsoRules\_AmuletRules\_ConvertFeaturedAppActivityMarkersResult AmuletRules\_ConvertFeaturedAppActivityMarkersResult
>
> **instance** SetField "result" DsoRules\_AmuletRules\_ConvertFeaturedAppActivityMarkersResult AmuletRules\_ConvertFeaturedAppActivityMarkersResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_AmuletRules\_ConvertFeaturedAppActivityMarkers DsoRules\_AmuletRules\_ConvertFeaturedAppActivityMarkersResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_AmuletRules\_ConvertFeaturedAppActivityMarkers DsoRules\_AmuletRules\_ConvertFeaturedAppActivityMarkersResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_AmuletRules\_ConvertFeaturedAppActivityMarkers DsoRules\_AmuletRules\_ConvertFeaturedAppActivityMarkersResult

<div id="type-splice-dsorules-dsorulesamuletexpireresult-67290">
  **data** DsoRules\_Amulet\_ExpireResult
</div>

> <div id="constr-splice-dsorules-dsorulesamuletexpireresult-61799">
>   DsoRules\_Amulet\_ExpireResult
> </div>
>
> > | Field     | Type                | Description |
> > | --------- | ------------------- | ----------- |
> > | expireSum | AmuletExpireSummary |             |
>
> **instance** GetField "expireSum" DsoRules\_Amulet\_ExpireResult AmuletExpireSummary
>
> **instance** SetField "expireSum" DsoRules\_Amulet\_ExpireResult AmuletExpireSummary
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_Amulet\_Expire DsoRules\_Amulet\_ExpireResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_Amulet\_Expire DsoRules\_Amulet\_ExpireResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_Amulet\_Expire DsoRules\_Amulet\_ExpireResult

<div id="type-splice-dsorules-dsorulesamuletexpiretransferinstructionsresult-29864">
  **data** DsoRules\_Amulet\_ExpireTransferInstructionsResult
</div>

> <div id="constr-splice-dsorules-dsorulesamuletexpiretransferinstructionsresult-36781">
>   DsoRules\_Amulet\_ExpireTransferInstructionsResult
> </div>
>
> > | Field  | Type                                                  | Description |
> > | ------ | ----------------------------------------------------- | ----------- |
> > | result | AmuletRules\_Amulet\_ExpireTransferInstructionsResult |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) DsoRules\_Amulet\_ExpireTransferInstructionsResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) DsoRules\_Amulet\_ExpireTransferInstructionsResult
>
> **instance** GetField "result" DsoRules\_Amulet\_ExpireTransferInstructionsResult AmuletRules\_Amulet\_ExpireTransferInstructionsResult
>
> **instance** SetField "result" DsoRules\_Amulet\_ExpireTransferInstructionsResult AmuletRules\_Amulet\_ExpireTransferInstructionsResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_Amulet\_ExpireTransferInstructions DsoRules\_Amulet\_ExpireTransferInstructionsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_Amulet\_ExpireTransferInstructions DsoRules\_Amulet\_ExpireTransferInstructionsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_Amulet\_ExpireTransferInstructions DsoRules\_Amulet\_ExpireTransferInstructionsResult

<div id="type-splice-dsorules-dsorulesamuletexpirev2result-94072">
  **data** DsoRules\_Amulet\_ExpireV2Result
</div>

> <div id="constr-splice-dsorules-dsorulesamuletexpirev2result-84829">
>   DsoRules\_Amulet\_ExpireV2Result
> </div>
>
> > | Field     | Type                  | Description |
> > | --------- | --------------------- | ----------- |
> > | expireSum | AmuletExpireV2Summary |             |
>
> **instance** GetField "expireSum" DsoRules\_Amulet\_ExpireV2Result AmuletExpireV2Summary
>
> **instance** SetField "expireSum" DsoRules\_Amulet\_ExpireV2Result AmuletExpireV2Summary
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_Amulet\_ExpireV2 DsoRules\_Amulet\_ExpireV2Result
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_Amulet\_ExpireV2 DsoRules\_Amulet\_ExpireV2Result
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_Amulet\_ExpireV2 DsoRules\_Amulet\_ExpireV2Result

<div id="type-splice-dsorules-dsorulesarchiveoutdatedelectionrequestresult-78881">
  **data** DsoRules\_ArchiveOutdatedElectionRequestResult
</div>

> <div id="constr-splice-dsorules-dsorulesarchiveoutdatedelectionrequestresult-72534">
>   DsoRules\_ArchiveOutdatedElectionRequestResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ArchiveOutdatedElectionRequest DsoRules\_ArchiveOutdatedElectionRequestResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ArchiveOutdatedElectionRequest DsoRules\_ArchiveOutdatedElectionRequestResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ArchiveOutdatedElectionRequest DsoRules\_ArchiveOutdatedElectionRequestResult

<div id="type-splice-dsorules-dsorulesarchivesvonboardingrequestresult-76462">
  **data** DsoRules\_ArchiveSvOnboardingRequestResult
</div>

> <div id="constr-splice-dsorules-dsorulesarchivesvonboardingrequestresult-86253">
>   DsoRules\_ArchiveSvOnboardingRequestResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ArchiveSvOnboardingRequest DsoRules\_ArchiveSvOnboardingRequestResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ArchiveSvOnboardingRequest DsoRules\_ArchiveSvOnboardingRequestResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ArchiveSvOnboardingRequest DsoRules\_ArchiveSvOnboardingRequestResult

<div id="type-splice-dsorules-dsorulesbootstrapexternalpartyconfigstateresult-77872">
  **data** DsoRules\_BootstrapExternalPartyConfigStateResult
</div>

> <div id="constr-splice-dsorules-dsorulesbootstrapexternalpartyconfigstateresult-70741">
>   DsoRules\_BootstrapExternalPartyConfigStateResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_BootstrapExternalPartyConfigState DsoRules\_BootstrapExternalPartyConfigStateResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_BootstrapExternalPartyConfigState DsoRules\_BootstrapExternalPartyConfigStateResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_BootstrapExternalPartyConfigState DsoRules\_BootstrapExternalPartyConfigStateResult

<div id="type-splice-dsorules-dsorulescastvoteresult-84724">
  **data** DsoRules\_CastVoteResult
</div>

> <div id="constr-splice-dsorules-dsorulescastvoteresult-18147">
>   DsoRules\_CastVoteResult
> </div>
>
> > | Field       | Type                                                                                                           | Description |
> > | ----------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
> > | voteRequest | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) VoteRequest |             |
>
> **instance** GetField "voteRequest" DsoRules\_CastVoteResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) VoteRequest)
>
> **instance** SetField "voteRequest" DsoRules\_CastVoteResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) VoteRequest)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_CastVote DsoRules\_CastVoteResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_CastVote DsoRules\_CastVoteResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_CastVote DsoRules\_CastVoteResult

<div id="type-splice-dsorules-dsorulesclaimexpiredrewardsresult-70369">
  **data** DsoRules\_ClaimExpiredRewardsResult
</div>

> <div id="constr-splice-dsorules-dsorulesclaimexpiredrewardsresult-56160">
>   DsoRules\_ClaimExpiredRewardsResult
> </div>
>
> > | Field           | Type                                                                                                                                                                                                                     | Description |
> > | --------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | unclaimedReward | [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) UnclaimedReward) |             |
>
> **instance** GetField "unclaimedReward" DsoRules\_ClaimExpiredRewardsResult ([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) UnclaimedReward))
>
> **instance** SetField "unclaimedReward" DsoRules\_ClaimExpiredRewardsResult ([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) UnclaimedReward))
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ClaimExpiredRewards DsoRules\_ClaimExpiredRewardsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ClaimExpiredRewards DsoRules\_ClaimExpiredRewardsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ClaimExpiredRewards DsoRules\_ClaimExpiredRewardsResult

<div id="type-splice-dsorules-dsorulesclosevoterequestresult-49382">
  **data** DsoRules\_CloseVoteRequestResult
</div>

> <div id="constr-splice-dsorules-dsorulesclosevoterequestresult-14349">
>   DsoRules\_CloseVoteRequestResult
> </div>
>
> > | Field            | Type                                                                                   | Description                                                   |
> > | ---------------- | -------------------------------------------------------------------------------------- | ------------------------------------------------------------- |
> > | request          | VoteRequest                                                                            | The original vote request.                                    |
> > | completedAt      | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | When the vote request was completed.                          |
> > | offboardedVoters | \[[Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)]   | SVs that voted but were offboarded before the vote completed. |
> > | abstainingSvs    | \[[Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)]   | SVs that did not vote.                                        |
> > | outcome          | VoteRequestOutcome                                                                     | The final result of the vote.                                 |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) DsoRules\_CloseVoteRequestResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) DsoRules\_CloseVoteRequestResult
>
> **instance** GetField "abstainingSvs" DsoRules\_CloseVoteRequestResult \[[Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)]
>
> **instance** GetField "completedAt" DsoRules\_CloseVoteRequestResult [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** GetField "offboardedVoters" DsoRules\_CloseVoteRequestResult \[[Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)]
>
> **instance** GetField "outcome" DsoRules\_CloseVoteRequestResult VoteRequestOutcome
>
> **instance** GetField "request" DsoRules\_CloseVoteRequestResult VoteRequest
>
> **instance** SetField "abstainingSvs" DsoRules\_CloseVoteRequestResult \[[Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)]
>
> **instance** SetField "completedAt" DsoRules\_CloseVoteRequestResult [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** SetField "offboardedVoters" DsoRules\_CloseVoteRequestResult \[[Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)]
>
> **instance** SetField "outcome" DsoRules\_CloseVoteRequestResult VoteRequestOutcome
>
> **instance** SetField "request" DsoRules\_CloseVoteRequestResult VoteRequest
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_CloseVoteRequest DsoRules\_CloseVoteRequestResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_CloseVoteRequest DsoRules\_CloseVoteRequestResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_CloseVoteRequest DsoRules\_CloseVoteRequestResult

<div id="type-splice-dsorules-dsorulescollectentryrenewalpaymentresult-57091">
  **data** DsoRules\_CollectEntryRenewalPaymentResult
</div>

> <div id="constr-splice-dsorules-dsorulescollectentryrenewalpaymentresult-87832">
>   DsoRules\_CollectEntryRenewalPaymentResult
> </div>
>
> > | Field             | Type                                                                                                                     | Description |
> > | ----------------- | ------------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | ansEntry          | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AnsEntry              |             |
> > | subscriptionState | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState |             |
>
> **instance** GetField "ansEntry" DsoRules\_CollectEntryRenewalPaymentResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AnsEntry)
>
> **instance** GetField "subscriptionState" DsoRules\_CollectEntryRenewalPaymentResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState)
>
> **instance** SetField "ansEntry" DsoRules\_CollectEntryRenewalPaymentResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AnsEntry)
>
> **instance** SetField "subscriptionState" DsoRules\_CollectEntryRenewalPaymentResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_CollectEntryRenewalPayment DsoRules\_CollectEntryRenewalPaymentResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_CollectEntryRenewalPayment DsoRules\_CollectEntryRenewalPaymentResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_CollectEntryRenewalPayment DsoRules\_CollectEntryRenewalPaymentResult

<div id="type-splice-dsorules-dsorulesconfirmactionresult-28024">
  **data** DsoRules\_ConfirmActionResult
</div>

> <div id="constr-splice-dsorules-dsorulesconfirmactionresult-48341">
>   DsoRules\_ConfirmActionResult
> </div>
>
> > | Field        | Type                                                                                                            | Description |
> > | ------------ | --------------------------------------------------------------------------------------------------------------- | ----------- |
> > | confirmation | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Confirmation |             |
>
> **instance** GetField "confirmation" DsoRules\_ConfirmActionResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Confirmation)
>
> **instance** SetField "confirmation" DsoRules\_ConfirmActionResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Confirmation)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ConfirmAction DsoRules\_ConfirmActionResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ConfirmAction DsoRules\_ConfirmActionResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ConfirmAction DsoRules\_ConfirmActionResult

<div id="type-splice-dsorules-dsorulesconfirmsvonboardingresult-99416">
  **data** DsoRules\_ConfirmSvOnboardingResult
</div>

> <div id="constr-splice-dsorules-dsorulesconfirmsvonboardingresult-46665">
>   DsoRules\_ConfirmSvOnboardingResult
> </div>
>
> > | Field               | Type                                                                                                                     | Description |
> > | ------------------- | ------------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | onboardingConfirmed | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvOnboardingConfirmed |             |
>
> **instance** GetField "onboardingConfirmed" DsoRules\_ConfirmSvOnboardingResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvOnboardingConfirmed)
>
> **instance** SetField "onboardingConfirmed" DsoRules\_ConfirmSvOnboardingResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvOnboardingConfirmed)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ConfirmSvOnboarding DsoRules\_ConfirmSvOnboardingResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ConfirmSvOnboarding DsoRules\_ConfirmSvOnboardingResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ConfirmSvOnboarding DsoRules\_ConfirmSvOnboardingResult

<div id="type-splice-dsorules-dsorulescreatebootstrapexternalpartyconfigstateinstructionresult-32985">
  **data** DsoRules\_CreateBootstrapExternalPartyConfigStateInstructionResult
</div>

> <div id="constr-splice-dsorules-dsorulescreatebootstrapexternalpartyconfigstateinstructionresult-84146">
>   DsoRules\_CreateBootstrapExternalPartyConfigStateInstructionResult
> </div>
>
> > | Field          | Type                                                                                                                                            | Description |
> > | -------------- | ----------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | instructionCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) BootstrapExternalPartyConfigStateInstruction |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) DsoRules\_CreateBootstrapExternalPartyConfigStateInstructionResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) DsoRules\_CreateBootstrapExternalPartyConfigStateInstructionResult
>
> **instance** GetField "instructionCid" DsoRules\_CreateBootstrapExternalPartyConfigStateInstructionResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) BootstrapExternalPartyConfigStateInstruction)
>
> **instance** SetField "instructionCid" DsoRules\_CreateBootstrapExternalPartyConfigStateInstructionResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) BootstrapExternalPartyConfigStateInstruction)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_CreateBootstrapExternalPartyConfigStateInstruction DsoRules\_CreateBootstrapExternalPartyConfigStateInstructionResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_CreateBootstrapExternalPartyConfigStateInstruction DsoRules\_CreateBootstrapExternalPartyConfigStateInstructionResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_CreateBootstrapExternalPartyConfigStateInstruction DsoRules\_CreateBootstrapExternalPartyConfigStateInstructionResult

<div id="type-splice-dsorules-dsorulescreateexternalpartyamuletrulesresult-12409">
  **data** DsoRules\_CreateExternalPartyAmuletRulesResult
</div>

> <div id="constr-splice-dsorules-dsorulescreateexternalpartyamuletrulesresult-52650">
>   DsoRules\_CreateExternalPartyAmuletRulesResult
> </div>
>
> > | Field                       | Type                                                                                                                        | Description |
> > | --------------------------- | --------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | externalPartyAmuletRulesCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyAmuletRules |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) DsoRules\_CreateExternalPartyAmuletRulesResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) DsoRules\_CreateExternalPartyAmuletRulesResult
>
> **instance** GetField "externalPartyAmuletRulesCid" DsoRules\_CreateExternalPartyAmuletRulesResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyAmuletRules)
>
> **instance** SetField "externalPartyAmuletRulesCid" DsoRules\_CreateExternalPartyAmuletRulesResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyAmuletRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_CreateExternalPartyAmuletRules DsoRules\_CreateExternalPartyAmuletRulesResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_CreateExternalPartyAmuletRules DsoRules\_CreateExternalPartyAmuletRulesResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_CreateExternalPartyAmuletRules DsoRules\_CreateExternalPartyAmuletRulesResult

<div id="type-splice-dsorules-dsorulescreatetransfercommandcounterresult-97297">
  **data** DsoRules\_CreateTransferCommandCounterResult
</div>

> <div id="constr-splice-dsorules-dsorulescreatetransfercommandcounterresult-46310">
>   DsoRules\_CreateTransferCommandCounterResult
> </div>
>
> > | Field                     | Type                                                                                                                      | Description |
> > | ------------------------- | ------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | transferCommandCounterCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferCommandCounter |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) DsoRules\_CreateTransferCommandCounterResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) DsoRules\_CreateTransferCommandCounterResult
>
> **instance** GetField "transferCommandCounterCid" DsoRules\_CreateTransferCommandCounterResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferCommandCounter)
>
> **instance** SetField "transferCommandCounterCid" DsoRules\_CreateTransferCommandCounterResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferCommandCounter)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_CreateTransferCommandCounter DsoRules\_CreateTransferCommandCounterResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_CreateTransferCommandCounter DsoRules\_CreateTransferCommandCounterResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_CreateTransferCommandCounter DsoRules\_CreateTransferCommandCounterResult

<div id="type-splice-dsorules-dsorulescreateunallocatedunclaimedactivityrecordresult-76541">
  **data** DsoRules\_CreateUnallocatedUnclaimedActivityRecordResult
</div>

> <div id="constr-splice-dsorules-dsorulescreateunallocatedunclaimedactivityrecordresult-18490">
>   DsoRules\_CreateUnallocatedUnclaimedActivityRecordResult
> </div>
>
> > | Field                                 | Type                                                                                                                                  | Description |
> > | ------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | unallocatedUnclaimedActivityRecordCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnallocatedUnclaimedActivityRecord |             |
>
> **instance** GetField "unallocatedUnclaimedActivityRecordCid" DsoRules\_CreateUnallocatedUnclaimedActivityRecordResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnallocatedUnclaimedActivityRecord)
>
> **instance** SetField "unallocatedUnclaimedActivityRecordCid" DsoRules\_CreateUnallocatedUnclaimedActivityRecordResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnallocatedUnclaimedActivityRecord)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_CreateUnallocatedUnclaimedActivityRecord DsoRules\_CreateUnallocatedUnclaimedActivityRecordResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_CreateUnallocatedUnclaimedActivityRecord DsoRules\_CreateUnallocatedUnclaimedActivityRecordResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_CreateUnallocatedUnclaimedActivityRecord DsoRules\_CreateUnallocatedUnclaimedActivityRecordResult

<div id="type-splice-dsorules-dsoruleselectdsodelegateresult-99561">
  **data** DsoRules\_ElectDsoDelegateResult
</div>

> <div id="constr-splice-dsorules-dsoruleselectdsodelegateresult-71514">
>   DsoRules\_ElectDsoDelegateResult
> </div>
>
> > | Field       | Type                                                                                                        | Description |
> > | ----------- | ----------------------------------------------------------------------------------------------------------- | ----------- |
> > | newDsoRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules |             |
>
> **instance** GetField "newDsoRules" DsoRules\_ElectDsoDelegateResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** SetField "newDsoRules" DsoRules\_ElectDsoDelegateResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ElectDsoDelegate DsoRules\_ElectDsoDelegateResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ElectDsoDelegate DsoRules\_ElectDsoDelegateResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ElectDsoDelegate DsoRules\_ElectDsoDelegateResult

<div id="type-splice-dsorules-dsorulesexecuteconfirmedactionresult-43893">
  **data** DsoRules\_ExecuteConfirmedActionResult
</div>

> <div id="constr-splice-dsorules-dsorulesexecuteconfirmedactionresult-89578">
>   DsoRules\_ExecuteConfirmedActionResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ExecuteConfirmedAction DsoRules\_ExecuteConfirmedActionResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ExecuteConfirmedAction DsoRules\_ExecuteConfirmedActionResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ExecuteConfirmedAction DsoRules\_ExecuteConfirmedActionResult

<div id="type-splice-dsorules-dsorulesexpireamuletallocationsresult-27100">
  **data** DsoRules\_ExpireAmuletAllocationsResult
</div>

> <div id="constr-splice-dsorules-dsorulesexpireamuletallocationsresult-29457">
>   DsoRules\_ExpireAmuletAllocationsResult
> </div>
>
> > | Field  | Type                                                    | Description |
> > | ------ | ------------------------------------------------------- | ----------- |
> > | result | ExternalPartyAmuletRules\_ExpireAmuletAllocationsResult |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) DsoRules\_ExpireAmuletAllocationsResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) DsoRules\_ExpireAmuletAllocationsResult
>
> **instance** GetField "result" DsoRules\_ExpireAmuletAllocationsResult ExternalPartyAmuletRules\_ExpireAmuletAllocationsResult
>
> **instance** SetField "result" DsoRules\_ExpireAmuletAllocationsResult ExternalPartyAmuletRules\_ExpireAmuletAllocationsResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ExpireAmuletAllocations DsoRules\_ExpireAmuletAllocationsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ExpireAmuletAllocations DsoRules\_ExpireAmuletAllocationsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ExpireAmuletAllocations DsoRules\_ExpireAmuletAllocationsResult

<div id="type-splice-dsorules-dsorulesexpireansentryresult-16762">
  **data** DsoRules\_ExpireAnsEntryResult
</div>

> <div id="constr-splice-dsorules-dsorulesexpireansentryresult-6565">
>   DsoRules\_ExpireAnsEntryResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ExpireAnsEntry DsoRules\_ExpireAnsEntryResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ExpireAnsEntry DsoRules\_ExpireAnsEntryResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ExpireAnsEntry DsoRules\_ExpireAnsEntryResult

<div id="type-splice-dsorules-dsorulesexpiredevelopmentfundcouponresult-36543">
  **data** DsoRules\_ExpireDevelopmentFundCouponResult
</div>

> <div id="constr-splice-dsorules-dsorulesexpiredevelopmentfundcouponresult-44574">
>   DsoRules\_ExpireDevelopmentFundCouponResult
> </div>
>
> > | Field  | Type                                   | Description |
> > | ------ | -------------------------------------- | ----------- |
> > | result | DevelopmentFundCoupon\_DsoExpireResult |             |
>
> **instance** GetField "result" DsoRules\_ExpireDevelopmentFundCouponResult DevelopmentFundCoupon\_DsoExpireResult
>
> **instance** SetField "result" DsoRules\_ExpireDevelopmentFundCouponResult DevelopmentFundCoupon\_DsoExpireResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ExpireDevelopmentFundCoupon DsoRules\_ExpireDevelopmentFundCouponResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ExpireDevelopmentFundCoupon DsoRules\_ExpireDevelopmentFundCouponResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ExpireDevelopmentFundCoupon DsoRules\_ExpireDevelopmentFundCouponResult

<div id="type-splice-dsorules-dsorulesexpirestaleconfirmationresult-27719">
  **data** DsoRules\_ExpireStaleConfirmationResult
</div>

> <div id="constr-splice-dsorules-dsorulesexpirestaleconfirmationresult-33614">
>   DsoRules\_ExpireStaleConfirmationResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ExpireStaleConfirmation DsoRules\_ExpireStaleConfirmationResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ExpireStaleConfirmation DsoRules\_ExpireStaleConfirmationResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ExpireStaleConfirmation DsoRules\_ExpireStaleConfirmationResult

<div id="type-splice-dsorules-dsorulesexpiresubscriptionresult-45469">
  **data** DsoRules\_ExpireSubscriptionResult
</div>

> <div id="constr-splice-dsorules-dsorulesexpiresubscriptionresult-70870">
>   DsoRules\_ExpireSubscriptionResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ExpireSubscription DsoRules\_ExpireSubscriptionResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ExpireSubscription DsoRules\_ExpireSubscriptionResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ExpireSubscription DsoRules\_ExpireSubscriptionResult

<div id="type-splice-dsorules-dsorulesexpiresvonboardingconfirmedresult-38796">
  **data** DsoRules\_ExpireSvOnboardingConfirmedResult
</div>

> <div id="constr-splice-dsorules-dsorulesexpiresvonboardingconfirmedresult-53333">
>   DsoRules\_ExpireSvOnboardingConfirmedResult
> </div>
>
> > | Field       | Type                                                                                                        | Description |
> > | ----------- | ----------------------------------------------------------------------------------------------------------- | ----------- |
> > | newDsoRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules |             |
>
> **instance** GetField "newDsoRules" DsoRules\_ExpireSvOnboardingConfirmedResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** SetField "newDsoRules" DsoRules\_ExpireSvOnboardingConfirmedResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ExpireSvOnboardingConfirmed DsoRules\_ExpireSvOnboardingConfirmedResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ExpireSvOnboardingConfirmed DsoRules\_ExpireSvOnboardingConfirmedResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ExpireSvOnboardingConfirmed DsoRules\_ExpireSvOnboardingConfirmedResult

<div id="type-splice-dsorules-dsorulesexpiresvonboardingrequestresult-2670">
  **data** DsoRules\_ExpireSvOnboardingRequestResult
</div>

> <div id="constr-splice-dsorules-dsorulesexpiresvonboardingrequestresult-9407">
>   DsoRules\_ExpireSvOnboardingRequestResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ExpireSvOnboardingRequest DsoRules\_ExpireSvOnboardingRequestResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ExpireSvOnboardingRequest DsoRules\_ExpireSvOnboardingRequestResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ExpireSvOnboardingRequest DsoRules\_ExpireSvOnboardingRequestResult

<div id="type-splice-dsorules-dsorulesexpiretransferpreapprovalresult-76064">
  **data** DsoRules\_ExpireTransferPreapprovalResult
</div>

> <div id="constr-splice-dsorules-dsorulesexpiretransferpreapprovalresult-84197">
>   DsoRules\_ExpireTransferPreapprovalResult
> </div>
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) DsoRules\_ExpireTransferPreapprovalResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) DsoRules\_ExpireTransferPreapprovalResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ExpireTransferPreapproval DsoRules\_ExpireTransferPreapprovalResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ExpireTransferPreapproval DsoRules\_ExpireTransferPreapprovalResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ExpireTransferPreapproval DsoRules\_ExpireTransferPreapprovalResult

<div id="type-splice-dsorules-dsorulesexpireunallocatedunclaimedactivityrecordresult-30228">
  **data** DsoRules\_ExpireUnallocatedUnclaimedActivityRecordResult
</div>

> <div id="constr-splice-dsorules-dsorulesexpireunallocatedunclaimedactivityrecordresult-25947">
>   DsoRules\_ExpireUnallocatedUnclaimedActivityRecordResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ExpireUnallocatedUnclaimedActivityRecord DsoRules\_ExpireUnallocatedUnclaimedActivityRecordResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ExpireUnallocatedUnclaimedActivityRecord DsoRules\_ExpireUnallocatedUnclaimedActivityRecordResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ExpireUnallocatedUnclaimedActivityRecord DsoRules\_ExpireUnallocatedUnclaimedActivityRecordResult

<div id="type-splice-dsorules-dsorulesexpireunclaimedactivityrecordresult-92345">
  **data** DsoRules\_ExpireUnclaimedActivityRecordResult
</div>

> <div id="constr-splice-dsorules-dsorulesexpireunclaimedactivityrecordresult-78492">
>   DsoRules\_ExpireUnclaimedActivityRecordResult
> </div>
>
> > | Field              | Type                                                                                                               | Description |
> > | ------------------ | ------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | unclaimedRewardCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward |             |
>
> **instance** GetField "unclaimedRewardCid" DsoRules\_ExpireUnclaimedActivityRecordResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward)
>
> **instance** SetField "unclaimedRewardCid" DsoRules\_ExpireUnclaimedActivityRecordResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ExpireUnclaimedActivityRecord DsoRules\_ExpireUnclaimedActivityRecordResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ExpireUnclaimedActivityRecord DsoRules\_ExpireUnclaimedActivityRecordResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ExpireUnclaimedActivityRecord DsoRules\_ExpireUnclaimedActivityRecordResult

<div id="type-splice-dsorules-dsorulesgarbagecollectamuletpricevotesresult-20154">
  **data** DsoRules\_GarbageCollectAmuletPriceVotesResult
</div>

> <div id="constr-splice-dsorules-dsorulesgarbagecollectamuletpricevotesresult-33073">
>   DsoRules\_GarbageCollectAmuletPriceVotesResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_GarbageCollectAmuletPriceVotes DsoRules\_GarbageCollectAmuletPriceVotesResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_GarbageCollectAmuletPriceVotes DsoRules\_GarbageCollectAmuletPriceVotesResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_GarbageCollectAmuletPriceVotes DsoRules\_GarbageCollectAmuletPriceVotesResult

<div id="type-splice-dsorules-dsorulesgrantfeaturedapprightresult-6067">
  **data** DsoRules\_GrantFeaturedAppRightResult
</div>

> <div id="constr-splice-dsorules-dsorulesgrantfeaturedapprightresult-3282">
>   DsoRules\_GrantFeaturedAppRightResult
> </div>
>
> > | Field            | Type                                                                                                                | Description |
> > | ---------------- | ------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | featuredAppRight | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight |             |
>
> **instance** GetField "featuredAppRight" DsoRules\_GrantFeaturedAppRightResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight)
>
> **instance** SetField "featuredAppRight" DsoRules\_GrantFeaturedAppRightResult ([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) DsoRules DsoRules\_GrantFeaturedAppRight DsoRules\_GrantFeaturedAppRightResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_GrantFeaturedAppRight DsoRules\_GrantFeaturedAppRightResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_GrantFeaturedAppRight DsoRules\_GrantFeaturedAppRightResult

<div id="type-splice-dsorules-dsoruleslockedamuletexpireamuletresult-11398">
  **data** DsoRules\_LockedAmulet\_ExpireAmuletResult
</div>

> <div id="constr-splice-dsorules-dsoruleslockedamuletexpireamuletresult-46735">
>   DsoRules\_LockedAmulet\_ExpireAmuletResult
> </div>
>
> > | Field     | Type                | Description |
> > | --------- | ------------------- | ----------- |
> > | expireSum | AmuletExpireSummary |             |
>
> **instance** GetField "expireSum" DsoRules\_LockedAmulet\_ExpireAmuletResult AmuletExpireSummary
>
> **instance** SetField "expireSum" DsoRules\_LockedAmulet\_ExpireAmuletResult AmuletExpireSummary
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_LockedAmulet\_ExpireAmulet DsoRules\_LockedAmulet\_ExpireAmuletResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_LockedAmulet\_ExpireAmulet DsoRules\_LockedAmulet\_ExpireAmuletResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_LockedAmulet\_ExpireAmulet DsoRules\_LockedAmulet\_ExpireAmuletResult

<div id="type-splice-dsorules-dsoruleslockedamuletexpireamuletv2result-75516">
  **data** DsoRules\_LockedAmulet\_ExpireAmuletV2Result
</div>

> <div id="constr-splice-dsorules-dsoruleslockedamuletexpireamuletv2result-22605">
>   DsoRules\_LockedAmulet\_ExpireAmuletV2Result
> </div>
>
> > | Field     | Type                  | Description |
> > | --------- | --------------------- | ----------- |
> > | expireSum | AmuletExpireV2Summary |             |
>
> **instance** GetField "expireSum" DsoRules\_LockedAmulet\_ExpireAmuletV2Result AmuletExpireV2Summary
>
> **instance** SetField "expireSum" DsoRules\_LockedAmulet\_ExpireAmuletV2Result AmuletExpireV2Summary
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_LockedAmulet\_ExpireAmuletV2 DsoRules\_LockedAmulet\_ExpireAmuletV2Result
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_LockedAmulet\_ExpireAmuletV2 DsoRules\_LockedAmulet\_ExpireAmuletV2Result
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_LockedAmulet\_ExpireAmuletV2 DsoRules\_LockedAmulet\_ExpireAmuletV2Result

<div id="type-splice-dsorules-dsorulesmergemembertrafficcontractsresult-1402">
  **data** DsoRules\_MergeMemberTrafficContractsResult
</div>

> <div id="constr-splice-dsorules-dsorulesmergemembertrafficcontractsresult-22987">
>   DsoRules\_MergeMemberTrafficContractsResult
> </div>
>
> > | Field         | Type                                                                                                             | Description |
> > | ------------- | ---------------------------------------------------------------------------------------------------------------- | ----------- |
> > | memberTraffic | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic |             |
>
> **instance** GetField "memberTraffic" DsoRules\_MergeMemberTrafficContractsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic)
>
> **instance** SetField "memberTraffic" DsoRules\_MergeMemberTrafficContractsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_MergeMemberTrafficContracts DsoRules\_MergeMemberTrafficContractsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_MergeMemberTrafficContracts DsoRules\_MergeMemberTrafficContractsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_MergeMemberTrafficContracts DsoRules\_MergeMemberTrafficContractsResult

<div id="type-splice-dsorules-dsorulesmergesvrewardstateresult-26494">
  **data** DsoRules\_MergeSvRewardStateResult
</div>

> <div id="constr-splice-dsorules-dsorulesmergesvrewardstateresult-58441">
>   DsoRules\_MergeSvRewardStateResult
> </div>
>
> > | Field         | Type                                                                                                             | Description |
> > | ------------- | ---------------------------------------------------------------------------------------------------------------- | ----------- |
> > | svRewardState | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardState |             |
>
> **instance** GetField "svRewardState" DsoRules\_MergeSvRewardStateResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardState)
>
> **instance** SetField "svRewardState" DsoRules\_MergeSvRewardStateResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardState)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_MergeSvRewardState DsoRules\_MergeSvRewardStateResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_MergeSvRewardState DsoRules\_MergeSvRewardStateResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_MergeSvRewardState DsoRules\_MergeSvRewardStateResult

<div id="type-splice-dsorules-dsorulesmergeunclaimeddevelopmentfundcouponsresult-91402">
  **data** DsoRules\_MergeUnclaimedDevelopmentFundCouponsResult
</div>

> <div id="constr-splice-dsorules-dsorulesmergeunclaimeddevelopmentfundcouponsresult-95789">
>   DsoRules\_MergeUnclaimedDevelopmentFundCouponsResult
> </div>
>
> > | Field  | Type                                                    | Description |
> > | ------ | ------------------------------------------------------- | ----------- |
> > | result | AmuletRules\_MergeUnclaimedDevelopmentFundCouponsResult |             |
>
> **instance** GetField "result" DsoRules\_MergeUnclaimedDevelopmentFundCouponsResult AmuletRules\_MergeUnclaimedDevelopmentFundCouponsResult
>
> **instance** SetField "result" DsoRules\_MergeUnclaimedDevelopmentFundCouponsResult AmuletRules\_MergeUnclaimedDevelopmentFundCouponsResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_MergeUnclaimedDevelopmentFundCoupons DsoRules\_MergeUnclaimedDevelopmentFundCouponsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_MergeUnclaimedDevelopmentFundCoupons DsoRules\_MergeUnclaimedDevelopmentFundCouponsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_MergeUnclaimedDevelopmentFundCoupons DsoRules\_MergeUnclaimedDevelopmentFundCouponsResult

<div id="type-splice-dsorules-dsorulesmergeunclaimedrewardsresult-75266">
  **data** DsoRules\_MergeUnclaimedRewardsResult
</div>

> <div id="constr-splice-dsorules-dsorulesmergeunclaimedrewardsresult-90979">
>   DsoRules\_MergeUnclaimedRewardsResult
> </div>
>
> > | Field           | Type                                                                                                               | Description |
> > | --------------- | ------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | unclaimedReward | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward |             |
>
> **instance** GetField "unclaimedReward" DsoRules\_MergeUnclaimedRewardsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward)
>
> **instance** SetField "unclaimedReward" DsoRules\_MergeUnclaimedRewardsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_MergeUnclaimedRewards DsoRules\_MergeUnclaimedRewardsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_MergeUnclaimedRewards DsoRules\_MergeUnclaimedRewardsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_MergeUnclaimedRewards DsoRules\_MergeUnclaimedRewardsResult

<div id="type-splice-dsorules-dsorulesmergevalidatorlicenseresult-11621">
  **data** DsoRules\_MergeValidatorLicenseResult
</div>

> <div id="constr-splice-dsorules-dsorulesmergevalidatorlicenseresult-87256">
>   DsoRules\_MergeValidatorLicenseResult
> </div>
>
> > | Field            | Type                                                                                                                | Description |
> > | ---------------- | ------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | validatorLicense | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorLicense |             |
>
> **instance** GetField "validatorLicense" DsoRules\_MergeValidatorLicenseResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorLicense)
>
> **instance** SetField "validatorLicense" DsoRules\_MergeValidatorLicenseResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorLicense)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_MergeValidatorLicense DsoRules\_MergeValidatorLicenseResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_MergeValidatorLicense DsoRules\_MergeValidatorLicenseResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_MergeValidatorLicense DsoRules\_MergeValidatorLicenseResult

<div id="type-splice-dsorules-dsorulesminingroundcloseresult-29143">
  **data** DsoRules\_MiningRound\_CloseResult
</div>

> <div id="constr-splice-dsorules-dsorulesminingroundcloseresult-49506">
>   DsoRules\_MiningRound\_CloseResult
> </div>
>
> > | Field       | Type                                                                                                                 | Description |
> > | ----------- | -------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | closedRound | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ClosedMiningRound |             |
>
> **instance** GetField "closedRound" DsoRules\_MiningRound\_CloseResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ClosedMiningRound)
>
> **instance** SetField "closedRound" DsoRules\_MiningRound\_CloseResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ClosedMiningRound)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_MiningRound\_Close DsoRules\_MiningRound\_CloseResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_MiningRound\_Close DsoRules\_MiningRound\_CloseResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_MiningRound\_Close DsoRules\_MiningRound\_CloseResult

<div id="type-splice-dsorules-dsorulesoffboardsvresult-15733">
  **data** DsoRules\_OffboardSvResult
</div>

> <div id="constr-splice-dsorules-dsorulesoffboardsvresult-15494">
>   DsoRules\_OffboardSvResult
> </div>
>
> > | Field       | Type                                                                                                        | Description |
> > | ----------- | ----------------------------------------------------------------------------------------------------------- | ----------- |
> > | newDsoRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules |             |
>
> **instance** GetField "newDsoRules" DsoRules\_OffboardSvResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** SetField "newDsoRules" DsoRules\_OffboardSvResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_OffboardSv DsoRules\_OffboardSvResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_OffboardSv DsoRules\_OffboardSvResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_OffboardSv DsoRules\_OffboardSvResult

<div id="type-splice-dsorules-dsorulesonboardvalidatorresult-97208">
  **data** DsoRules\_OnboardValidatorResult
</div>

> <div id="constr-splice-dsorules-dsorulesonboardvalidatorresult-75375">
>   DsoRules\_OnboardValidatorResult
> </div>
>
> > | Field            | Type                                                                                                                | Description |
> > | ---------------- | ------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | validatorLicense | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorLicense |             |
>
> **instance** GetField "validatorLicense" DsoRules\_OnboardValidatorResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorLicense)
>
> **instance** SetField "validatorLicense" DsoRules\_OnboardValidatorResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorLicense)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_OnboardValidator DsoRules\_OnboardValidatorResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_OnboardValidator DsoRules\_OnboardValidatorResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_OnboardValidator DsoRules\_OnboardValidatorResult

<div id="type-splice-dsorules-dsorulespruneamuletconfigscheduleresult-66013">
  **data** DsoRules\_PruneAmuletConfigScheduleResult
</div>

> <div id="constr-splice-dsorules-dsorulespruneamuletconfigscheduleresult-2640">
>   DsoRules\_PruneAmuletConfigScheduleResult
> </div>
>
> > | Field          | Type                                                                                                           | Description |
> > | -------------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
> > | amuletRulesCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules |             |
>
> **instance** GetField "amuletRulesCid" DsoRules\_PruneAmuletConfigScheduleResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** SetField "amuletRulesCid" DsoRules\_PruneAmuletConfigScheduleResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_PruneAmuletConfigSchedule DsoRules\_PruneAmuletConfigScheduleResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_PruneAmuletConfigSchedule DsoRules\_PruneAmuletConfigScheduleResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_PruneAmuletConfigSchedule DsoRules\_PruneAmuletConfigScheduleResult

<div id="type-splice-dsorules-dsorulesreceivesvrewardcouponresult-91325">
  **data** DsoRules\_ReceiveSvRewardCouponResult
</div>

> <div id="constr-splice-dsorules-dsorulesreceivesvrewardcouponresult-74804">
>   DsoRules\_ReceiveSvRewardCouponResult
> </div>
>
> > | Field           | Type                                                                                                                 | Description |
> > | --------------- | -------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | svRewardState   | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardState     |             |
> > | svRewardCoupons | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardCoupon] |             |
>
> **instance** GetField "svRewardCoupons" DsoRules\_ReceiveSvRewardCouponResult \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardCoupon]
>
> **instance** GetField "svRewardState" DsoRules\_ReceiveSvRewardCouponResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardState)
>
> **instance** SetField "svRewardCoupons" DsoRules\_ReceiveSvRewardCouponResult \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardCoupon]
>
> **instance** SetField "svRewardState" DsoRules\_ReceiveSvRewardCouponResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardState)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_ReceiveSvRewardCoupon DsoRules\_ReceiveSvRewardCouponResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_ReceiveSvRewardCoupon DsoRules\_ReceiveSvRewardCouponResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_ReceiveSvRewardCoupon DsoRules\_ReceiveSvRewardCouponResult

<div id="type-splice-dsorules-dsorulesrequestelectionresult-48590">
  **data** DsoRules\_RequestElectionResult
</div>

> <div id="constr-splice-dsorules-dsorulesrequestelectionresult-48843">
>   DsoRules\_RequestElectionResult
> </div>
>
> > | Field              | Type                                                                                                               | Description |
> > | ------------------ | ------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | electionRequestCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ElectionRequest |             |
>
> **instance** GetField "electionRequestCid" DsoRules\_RequestElectionResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ElectionRequest)
>
> **instance** SetField "electionRequestCid" DsoRules\_RequestElectionResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ElectionRequest)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_RequestElection DsoRules\_RequestElectionResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_RequestElection DsoRules\_RequestElectionResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_RequestElection DsoRules\_RequestElectionResult

<div id="type-splice-dsorules-dsorulesrequestvoteresult-78559">
  **data** DsoRules\_RequestVoteResult
</div>

> <div id="constr-splice-dsorules-dsorulesrequestvoteresult-22502">
>   DsoRules\_RequestVoteResult
> </div>
>
> > | Field       | Type                                                                                                           | Description |
> > | ----------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
> > | voteRequest | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) VoteRequest |             |
>
> **instance** GetField "voteRequest" DsoRules\_RequestVoteResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) VoteRequest)
>
> **instance** SetField "voteRequest" DsoRules\_RequestVoteResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) VoteRequest)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_RequestVote DsoRules\_RequestVoteResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_RequestVote DsoRules\_RequestVoteResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_RequestVote DsoRules\_RequestVoteResult

<div id="type-splice-dsorules-dsorulesrevokefeaturedapprightresult-31874">
  **data** DsoRules\_RevokeFeaturedAppRightResult
</div>

> <div id="constr-splice-dsorules-dsorulesrevokefeaturedapprightresult-56949">
>   DsoRules\_RevokeFeaturedAppRightResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_RevokeFeaturedAppRight DsoRules\_RevokeFeaturedAppRightResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_RevokeFeaturedAppRight DsoRules\_RevokeFeaturedAppRightResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_RevokeFeaturedAppRight DsoRules\_RevokeFeaturedAppRightResult

<div id="type-splice-dsorules-dsorulessetconfigresult-20888">
  **data** DsoRules\_SetConfigResult
</div>

> <div id="constr-splice-dsorules-dsorulessetconfigresult-7861">
>   DsoRules\_SetConfigResult
> </div>
>
> > | Field       | Type                                                                                                        | Description |
> > | ----------- | ----------------------------------------------------------------------------------------------------------- | ----------- |
> > | newDsoRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules |             |
>
> **instance** GetField "newDsoRules" DsoRules\_SetConfigResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** SetField "newDsoRules" DsoRules\_SetConfigResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_SetConfig DsoRules\_SetConfigResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_SetConfig DsoRules\_SetConfigResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_SetConfig DsoRules\_SetConfigResult

<div id="type-splice-dsorules-dsorulessetsynchronizernodeconfigresult-80120">
  **data** DsoRules\_SetSynchronizerNodeConfigResult
</div>

> <div id="constr-splice-dsorules-dsorulessetsynchronizernodeconfigresult-93925">
>   DsoRules\_SetSynchronizerNodeConfigResult
> </div>
>
> > | Field       | Type                                                                                                           | Description |
> > | ----------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
> > | svNodeState | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvNodeState |             |
>
> **instance** GetField "svNodeState" DsoRules\_SetSynchronizerNodeConfigResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvNodeState)
>
> **instance** SetField "svNodeState" DsoRules\_SetSynchronizerNodeConfigResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvNodeState)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_SetSynchronizerNodeConfig DsoRules\_SetSynchronizerNodeConfigResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_SetSynchronizerNodeConfig DsoRules\_SetSynchronizerNodeConfigResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_SetSynchronizerNodeConfig DsoRules\_SetSynchronizerNodeConfigResult

<div id="type-splice-dsorules-dsorulesstartsvonboardingresult-18158">
  **data** DsoRules\_StartSvOnboardingResult
</div>

> <div id="constr-splice-dsorules-dsorulesstartsvonboardingresult-27583">
>   DsoRules\_StartSvOnboardingResult
> </div>
>
> > | Field             | Type                                                                                                                   | Description |
> > | ----------------- | ---------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | onboardingRequest | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvOnboardingRequest |             |
>
> **instance** GetField "onboardingRequest" DsoRules\_StartSvOnboardingResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvOnboardingRequest)
>
> **instance** SetField "onboardingRequest" DsoRules\_StartSvOnboardingResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvOnboardingRequest)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_StartSvOnboarding DsoRules\_StartSvOnboardingResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_StartSvOnboarding DsoRules\_StartSvOnboardingResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_StartSvOnboarding DsoRules\_StartSvOnboardingResult

<div id="type-splice-dsorules-dsorulessubmitstatusreportresult-52083">
  **data** DsoRules\_SubmitStatusReportResult
</div>

> <div id="constr-splice-dsorules-dsorulessubmitstatusreportresult-24832">
>   DsoRules\_SubmitStatusReportResult
> </div>
>
> > | Field     | Type                                                                                                              | Description |
> > | --------- | ----------------------------------------------------------------------------------------------------------------- | ----------- |
> > | newReport | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvStatusReport |             |
>
> **instance** GetField "newReport" DsoRules\_SubmitStatusReportResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvStatusReport)
>
> **instance** SetField "newReport" DsoRules\_SubmitStatusReportResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvStatusReport)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_SubmitStatusReport DsoRules\_SubmitStatusReportResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_SubmitStatusReport DsoRules\_SubmitStatusReportResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_SubmitStatusReport DsoRules\_SubmitStatusReportResult

<div id="type-splice-dsorules-dsorulesterminatesubscriptionresult-840">
  **data** DsoRules\_TerminateSubscriptionResult
</div>

> <div id="constr-splice-dsorules-dsorulesterminatesubscriptionresult-26229">
>   DsoRules\_TerminateSubscriptionResult
> </div>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_TerminateSubscription DsoRules\_TerminateSubscriptionResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_TerminateSubscription DsoRules\_TerminateSubscriptionResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_TerminateSubscription DsoRules\_TerminateSubscriptionResult

<div id="type-splice-dsorules-dsorulesupdateamuletpricevoteresult-31774">
  **data** DsoRules\_UpdateAmuletPriceVoteResult
</div>

> <div id="constr-splice-dsorules-dsorulesupdateamuletpricevoteresult-27803">
>   DsoRules\_UpdateAmuletPriceVoteResult
> </div>
>
> > | Field           | Type                                                                                                               | Description |
> > | --------------- | ------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | amuletPriceVote | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletPriceVote |             |
>
> **instance** GetField "amuletPriceVote" DsoRules\_UpdateAmuletPriceVoteResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletPriceVote)
>
> **instance** SetField "amuletPriceVote" DsoRules\_UpdateAmuletPriceVoteResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletPriceVote)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_UpdateAmuletPriceVote DsoRules\_UpdateAmuletPriceVoteResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_UpdateAmuletPriceVote DsoRules\_UpdateAmuletPriceVoteResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_UpdateAmuletPriceVote DsoRules\_UpdateAmuletPriceVoteResult

<div id="type-splice-dsorules-dsorulesupdateexternalpartyconfigstatesresult-26858">
  **data** DsoRules\_UpdateExternalPartyConfigStatesResult
</div>

> <div id="constr-splice-dsorules-dsorulesupdateexternalpartyconfigstatesresult-3139">
>   DsoRules\_UpdateExternalPartyConfigStatesResult
> </div>
>
> > | Field                          | Type                                                                                                                        | Description |
> > | ------------------------------ | --------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | newExternalPartyConfigStateCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) DsoRules\_UpdateExternalPartyConfigStatesResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) DsoRules\_UpdateExternalPartyConfigStatesResult
>
> **instance** GetField "newExternalPartyConfigStateCid" DsoRules\_UpdateExternalPartyConfigStatesResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState)
>
> **instance** SetField "newExternalPartyConfigStateCid" DsoRules\_UpdateExternalPartyConfigStatesResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_UpdateExternalPartyConfigStates DsoRules\_UpdateExternalPartyConfigStatesResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_UpdateExternalPartyConfigStates DsoRules\_UpdateExternalPartyConfigStatesResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_UpdateExternalPartyConfigStates DsoRules\_UpdateExternalPartyConfigStatesResult

<div id="type-splice-dsorules-dsorulesupdatesvrewardweightresult-38140">
  **data** DsoRules\_UpdateSvRewardWeightResult
</div>

> <div id="constr-splice-dsorules-dsorulesupdatesvrewardweightresult-2499">
>   DsoRules\_UpdateSvRewardWeightResult
> </div>
>
> > | Field       | Type                                                                                                        | Description |
> > | ----------- | ----------------------------------------------------------------------------------------------------------- | ----------- |
> > | newDsoRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules |             |
>
> **instance** GetField "newDsoRules" DsoRules\_UpdateSvRewardWeightResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** SetField "newDsoRules" DsoRules\_UpdateSvRewardWeightResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) DsoRules DsoRules\_UpdateSvRewardWeight DsoRules\_UpdateSvRewardWeightResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) DsoRules DsoRules\_UpdateSvRewardWeight DsoRules\_UpdateSvRewardWeightResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) DsoRules DsoRules\_UpdateSvRewardWeight DsoRules\_UpdateSvRewardWeightResult

<div id="type-splice-dsorules-dsosummary-18963">
  **data** DsoSummary
</div>

> <div id="constr-splice-dsorules-dsosummary-70086">
>   DsoSummary
> </div>
>
> > | Field            | Type                                                                                     | Description                                                                          |
> > | ---------------- | ---------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------ |
> > | dsoDelegate      | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | **Deprecated** in favor of delegateless automation.                                  |
> > | numSvs           | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)          |                                                                                      |
> > | requiredNumVotes | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)          | The number of votes required for considering a confirmation, or a request for a vote |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) DsoSummary
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) DsoSummary
>
> **instance** GetField "dsoDelegate" DsoSummary [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "numSvs" DsoSummary [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "requiredNumVotes" DsoSummary [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "dsoDelegate" DsoSummary [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "numSvs" DsoSummary [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "requiredNumVotes" DsoSummary [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)

<div id="type-splice-dsorules-electionrequestreason-11906">
  **data** ElectionRequestReason
</div>

> **Deprecated** in favor of delegateless automation.
>
> <div id="constr-splice-dsorules-errdsodelegateunavailable-67703">
>   ERR\_DsoDelegateUnavailable
> </div>
>
> <div id="constr-splice-dsorules-errotherreason-56585">
>   ERR\_OtherReason [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
> </div>
>
> <div id="constr-splice-dsorules-extelectionrequestreason-65169">
>   ExtElectionRequestReason
> </div>
>
> > | Field          | Type | Description                                                                                             |
> > | -------------- | ---- | ------------------------------------------------------------------------------------------------------- |
> > | dummyUnitField | ()   | Extension constructor (and field) to work around the current lack of upgrading for variants in Daml 3.0 |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) ElectionRequestReason
>
> **instance** [Ord](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-ord-6395) ElectionRequestReason
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) ElectionRequestReason
>
> **instance** GetField "dummyUnitField" ElectionRequestReason ()
>
> **instance** GetField "reason" DsoRules\_RequestElection ElectionRequestReason
>
> **instance** GetField "reason" ElectionRequest ElectionRequestReason
>
> **instance** SetField "dummyUnitField" ElectionRequestReason ()
>
> **instance** SetField "reason" DsoRules\_RequestElection ElectionRequestReason
>
> **instance** SetField "reason" ElectionRequest ElectionRequestReason

<div id="type-splice-dsorules-logicalsynchronizerupgradeschedule-67809">
  **data** LogicalSynchronizerUpgradeSchedule
</div>

> <div id="constr-splice-dsorules-logicalsynchronizerupgradeschedule-50336">
>   LogicalSynchronizerUpgradeSchedule
> </div>
>
> > | Field                                  | Type                                                                                   | Description                                                                                                                                                                                                                         |
> > | -------------------------------------- | -------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
> > | topologyFreezeTime                     | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | The time at which topology transactions will be frozen. Note that this time is used by the automation to initiate the topology transactions for freezing. The actual freeze time is the effective time of the topology transaction. |
> > | upgradeTime                            | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | The time at which the upgrade to the new physical synchronizer will happen.                                                                                                                                                         |
> > | newPhysicalSynchronizerSerial          | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)        | The serial of the new physical synchronizer. Usually just the serial of the old physical synchronizer + 1.                                                                                                                          |
> > | newPhysicalSynchronizerProtocolVersion | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)      | The protocol version of the new physical synchronizer                                                                                                                                                                               |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) LogicalSynchronizerUpgradeSchedule
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) LogicalSynchronizerUpgradeSchedule
>
> **instance** GetField "newPhysicalSynchronizerProtocolVersion" LogicalSynchronizerUpgradeSchedule [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** GetField "newPhysicalSynchronizerSerial" LogicalSynchronizerUpgradeSchedule [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "nextScheduledLogicalSynchronizerUpgrade" DsoRulesConfig ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) LogicalSynchronizerUpgradeSchedule)
>
> **instance** GetField "topologyFreezeTime" LogicalSynchronizerUpgradeSchedule [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** GetField "upgradeTime" LogicalSynchronizerUpgradeSchedule [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** SetField "newPhysicalSynchronizerProtocolVersion" LogicalSynchronizerUpgradeSchedule [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "newPhysicalSynchronizerSerial" LogicalSynchronizerUpgradeSchedule [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "nextScheduledLogicalSynchronizerUpgrade" DsoRulesConfig ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) LogicalSynchronizerUpgradeSchedule)
>
> **instance** SetField "topologyFreezeTime" LogicalSynchronizerUpgradeSchedule [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** SetField "upgradeTime" LogicalSynchronizerUpgradeSchedule [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** Patchable LogicalSynchronizerUpgradeSchedule

<div id="type-splice-dsorules-offboardedsvinfo-61414">
  **data** OffboardedSvInfo
</div>

> Information about offboarded svs
>
> <div id="constr-splice-dsorules-offboardedsvinfo-34519">
>   OffboardedSvInfo
> </div>
>
> > | Field         | Type                                                                              | Description                          |
> > | ------------- | --------------------------------------------------------------------------------- | ------------------------------------ |
> > | name          | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | Human-readable name; must be unique. |
> > | participantId | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | Participant ID of the offboarded SV. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) OffboardedSvInfo
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) OffboardedSvInfo
>
> **instance** GetField "name" OffboardedSvInfo [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** GetField "offboardedSvs" DsoRules ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) OffboardedSvInfo)
>
> **instance** GetField "participantId" OffboardedSvInfo [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "name" OffboardedSvInfo [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "offboardedSvs" DsoRules ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) OffboardedSvInfo)
>
> **instance** SetField "participantId" OffboardedSvInfo [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)

<div id="type-splice-dsorules-reason-36941">
  **data** Reason
</div>

> <div id="constr-splice-dsorules-reason-51132">
>   Reason
> </div>
>
> > | Field | Type                                                                              | Description                                                                                                                                   |
> > | ----- | --------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------- |
> > | url   | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | Url pointing to additional background on the reason, e.g., using a [https://w3c-ccg.github.io/hashlink/](https://w3c-ccg.github.io/hashlink/) |
> > | body  | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | Freeform text intended for human consumption.                                                                                                 |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) Reason
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) Reason
>
> **instance** GetField "body" Reason [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** GetField "reason" DsoRules\_RequestVote Reason
>
> **instance** GetField "reason" Vote Reason
>
> **instance** GetField "reason" VoteRequest Reason
>
> **instance** GetField "url" Reason [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "body" Reason [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "reason" DsoRules\_RequestVote Reason
>
> **instance** SetField "reason" Vote Reason
>
> **instance** SetField "reason" VoteRequest Reason
>
> **instance** SetField "url" Reason [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)

<div id="type-splice-dsorules-svinfo-76274">
  **data** SvInfo
</div>

> Information about SVs relevant to DSO governance.
>
> <div id="constr-splice-dsorules-svinfo-69131">
>   SvInfo
> </div>
>
> > | Field           | Type                                                                              | Description                                                                                                                                   |
> > | --------------- | --------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------- |
> > | name            | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | Human-readable name; must be unique.                                                                                                          |
> > | joinedAsOfRound | Round                                                                             | Round in which the SV joined                                                                                                                  |
> > | svRewardWeight  | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)   | Weight of the SV in the SV reward distribution.                                                                                               |
> > | participantId   | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | Participant ID of the SV, stored here as PartyToParticipant mappings are tracked via state on the DsoRules + SvOnboardingConfirmed contracts. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) SvInfo
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) SvInfo
>
> **instance** GetField "joinedAsOfRound" SvInfo Round
>
> **instance** GetField "name" SvInfo [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** GetField "participantId" SvInfo [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** GetField "svRewardWeight" SvInfo [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "svs" DsoRules ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) SvInfo)
>
> **instance** SetField "joinedAsOfRound" SvInfo Round
>
> **instance** SetField "name" SvInfo [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "participantId" SvInfo [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "svRewardWeight" SvInfo [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "svs" DsoRules ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) SvInfo)

<div id="type-splice-dsorules-synchronizerupgradeschedule-64447">
  **data** SynchronizerUpgradeSchedule
</div>

> <div id="constr-splice-dsorules-synchronizerupgradeschedule-53308">
>   SynchronizerUpgradeSchedule
> </div>
>
> > | Field       | Type                                                                                   | Description                                            |
> > | ----------- | -------------------------------------------------------------------------------------- | ------------------------------------------------------ |
> > | time        | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | The time at which the migration is scheduled to start. |
> > | migrationId | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)        | The incremental integer ID of the migration.           |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) SynchronizerUpgradeSchedule
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) SynchronizerUpgradeSchedule
>
> **instance** GetField "migrationId" SynchronizerUpgradeSchedule [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "nextScheduledSynchronizerUpgrade" DsoRulesConfig ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) SynchronizerUpgradeSchedule)
>
> **instance** GetField "time" SynchronizerUpgradeSchedule [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** SetField "migrationId" SynchronizerUpgradeSchedule [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "nextScheduledSynchronizerUpgrade" DsoRulesConfig ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) SynchronizerUpgradeSchedule)
>
> **instance** SetField "time" SynchronizerUpgradeSchedule [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** Patchable SynchronizerUpgradeSchedule

<div id="type-splice-dsorules-trafficstate-38069">
  **data** TrafficState
</div>

> <div id="constr-splice-dsorules-trafficstate-23304">
>   TrafficState
> </div>
>
> > | Field           | Type                                                                            | Description                                                                             |
> > | --------------- | ------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------- |
> > | consumedTraffic | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261) | Bytes of extra traffic consumed before the decentralized synchronizer was bootstrapped. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TrafficState
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TrafficState
>
> **instance** GetField "consumedTraffic" TrafficState [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "initialTrafficState" DsoBootstrap ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) TrafficState)
>
> **instance** GetField "initialTrafficState" DsoRules ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) TrafficState)
>
> **instance** SetField "consumedTraffic" TrafficState [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "initialTrafficState" DsoBootstrap ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) TrafficState)
>
> **instance** SetField "initialTrafficState" DsoRules ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) TrafficState)

<div id="type-splice-dsorules-vote-50851">
  **data** Vote
</div>

> A vote cast by an SV.
>
> <div id="constr-splice-dsorules-vote-51690">
>   Vote
> </div>
>
> > | Field     | Type                                                                                                                                                                                       | Description                                                               |
> > | --------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | ------------------------------------------------------------------------- |
> > | sv        | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)                                                                                                   | The SV party used to submit the vote.                                     |
> > | accept    | [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)                                                                                                          | Whether the responder accepted the request to execute the action or not.  |
> > | reason    | Reason                                                                                                                                                                                     | The reason for voting this way.                                           |
> > | optCastAt | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | The time when the vote was cast. Used to rate-limit the casting of votes. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) Vote
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) Vote
>
> **instance** GetField "accept" Vote [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)
>
> **instance** GetField "optCastAt" Vote ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886))
>
> **instance** GetField "reason" Vote Reason
>
> **instance** GetField "sv" Vote [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "vote" DsoRules\_CastVote Vote
>
> **instance** GetField "votes" VoteRequest ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) Vote)
>
> **instance** SetField "accept" Vote [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)
>
> **instance** SetField "optCastAt" Vote ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886))
>
> **instance** SetField "reason" Vote Reason
>
> **instance** SetField "sv" Vote [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "vote" DsoRules\_CastVote Vote
>
> **instance** SetField "votes" VoteRequest ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) Vote)

<div id="type-splice-dsorules-voterequestoutcome-63724">
  **data** VoteRequestOutcome
</div>

> <div id="constr-splice-dsorules-vroacceptedbutactionfailed-51100">
>   VRO\_AcceptedButActionFailed
> </div>
>
> > | Field       | Type                                                                              | Description                 |
> > | ----------- | --------------------------------------------------------------------------------- | --------------------------- |
> > | description | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | Description of the failure. |
>
> <div id="constr-splice-dsorules-vroaccepted-67803">
>   VRO\_Accepted
> </div>
>
> > | Field       | Type                                                                                   | Description                             |
> > | ----------- | -------------------------------------------------------------------------------------- | --------------------------------------- |
> > | effectiveAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | Time when the action will be effective. |
>
> <div id="constr-splice-dsorules-vrorejected-43182">
>   VRO\_Rejected
> </div>
>
> <div id="constr-splice-dsorules-vroexpired-35522">
>   VRO\_Expired
> </div>
>
> <div id="constr-splice-dsorules-extvoterequestoutcome-76073">
>   ExtVoteRequestOutcome
> </div>
>
> > | Field          | Type | Description |
> > | -------------- | ---- | ----------- |
> > | dummyUnitField | ()   |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) VoteRequestOutcome
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) VoteRequestOutcome
>
> **instance** GetField "description" VoteRequestOutcome [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** GetField "dummyUnitField" VoteRequestOutcome ()
>
> **instance** GetField "effectiveAt" VoteRequestOutcome [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** GetField "outcome" DsoRules\_CloseVoteRequestResult VoteRequestOutcome
>
> **instance** SetField "description" VoteRequestOutcome [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "dummyUnitField" VoteRequestOutcome ()
>
> **instance** SetField "effectiveAt" VoteRequestOutcome [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)
>
> **instance** SetField "outcome" DsoRules\_CloseVoteRequestResult VoteRequestOutcome

<div id="type-splice-dsorules-votingstate-60200">
  **data** VotingState a
</div>

> **Deprecated** in favor of delegateless automation. Functions implementing instant-runoff voting
>
> <div id="constr-splice-dsorules-votingstate-26047">
>   VotingState
> </div>
>
> > | Field    | Type                                                                                           | Description                                                                                                                                   |
> > | -------- | ---------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------- |
> > | rankings | [Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) a \[\[a]] | Candidate and the remaining rankings in case that candidate is eliminated.                                                                    |
> > | loosers  | Set a                                                                                          | Loosers are tracked explicitly and removed lazily to avoid the cubic runtime that would result from filtering the remaining rankings eagerly. |
>
> **instance** [Ord](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-ord-6395) a => [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) (VotingState a)
>
> **instance** ([Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) a, [Ord](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-ord-6395) a) => [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) (VotingState a)
>
> **instance** GetField "loosers" (VotingState a) (Set a)
>
> **instance** GetField "rankings" (VotingState a) ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) a \[\[a]])
>
> **instance** SetField "loosers" (VotingState a) (Set a)
>
> **instance** SetField "rankings" (VotingState a) ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) a \[\[a]])

## Functions

<div id="function-splice-dsorules-getvotecooldowntime-44916">
  getVoteCooldownTime
  : DsoRulesConfig -> [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)

  Read the `voteCooldownTime` from the `DsoRulesConfig` with a default value of 1 minute.
</div>

<div id="function-splice-dsorules-pruneatleastone-36934">
  pruneAtLeastOne
  : [Ord](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-ord-6395) t => t -> Schedule t a -> [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) (Schedule t a)
</div>

<div id="function-splice-dsorules-summarizedso-49860">
  summarizeDso
  : DsoRules -> DsoSummary
</div>

<div id="function-splice-dsorules-executeactionrequiringconfirmation-87907">
  executeActionRequiringConfirmation
  : [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules -> [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) AmuletRules) -> ActionRequiringConfirmation -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ()

  Execute an action which requires certain number of confirmations from SVs. Each confirmed action can at most be executed once.
</div>

<div id="function-splice-dsorules-requirewellformedreason-26428">
  requireWellformedReason
  : DsoRulesConfig -> Reason -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ()
</div>

<div id="function-splice-dsorules-requirewellformedvote-94014">
  requireWellformedVote
  : DsoRulesConfig -> Vote -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ()
</div>

<div id="function-splice-dsorules-ensurenotexpired-58839">
  ensureNotExpired
  : [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ()
</div>

<div id="function-splice-dsorules-actionrequiringconfirmationeffectiveat-38122">
  actionRequiringConfirmationEffectiveAt
  : ActionRequiringConfirmation -> [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)

  Get the future-dated effectiveAt of an action requiring confirmation.
</div>

<div id="function-splice-dsorules-getsvinfo-85569">
  getSvInfo
  : [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> DsoRules -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) SvInfo
</div>

<div id="function-splice-dsorules-lookupsvinfobyname-29850">
  lookupSvInfoByName
  : [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) -> DsoRules -> [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), SvInfo)
</div>

<div id="function-splice-dsorules-svhasbeenonboardedbefore-57101">
  svHasBeenOnboardedBefore
  : [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) -> DsoRules -> [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)

  Returns True if an SV with that name is either currently onboarded or an SV with that name has been onboarded before and is now in offboardedSvs.
</div>

<div id="function-splice-dsorules-ensureneveroperatednode-60956">
  ensureNeverOperatedNode
  : [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> DsoRules -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ()
</div>

<div id="function-splice-dsorules-dsorulesaddsv-73633">
  dsoRules\_addSv
  : DsoRules -> DsoRules\_AddSv -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DsoRules)
</div>

<div id="function-splice-dsorules-createpersvcontracts-25068">
  createPerSvContracts
  : DsoRules -> DsoRules\_AddSv -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ()
</div>

<div id="function-splice-dsorules-createpersvpartycontracts-3309">
  createPerSvPartyContracts
  : [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) -> SynchronizerNodeConfigMap -> [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) -> [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082) -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ()
</div>

<div id="function-splice-dsorules-getandvalidatesvparty-72916">
  getAndValidateSvParty
  : DsoRules -> [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) -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
</div>

<div id="function-splice-dsorules-enforcecooldown-11925">
  enforceCooldown
  : [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) -> [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082) -> [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ()

  Enforce that an action is not performed again before a cooldown period has passed.
</div>
