cardano-ledger

Index - W

wbHashTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
wbMapTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
wdrlCredentialsTest.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway
weightConstrained.Base, Constrained.Spec, Constrained.Internals
Weighted 
1 (Data Constructor)Constrained.Base, Constrained.Spec, Constrained.Internals
2 (Type/Class)Constrained.Base, Constrained.Spec, Constrained.Internals
weirdSetPairSpecConstrained.Examples.Set, Constrained.Examples
WellFormedTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
wellFormedChildrenTest.Cardano.Ledger.Constrained.Conway.Gov, Test.Cardano.Ledger.Constrained.Conway
wffTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
wffWithPPTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
wfGovActionTest.Cardano.Ledger.Constrained.Conway.Gov, Test.Cardano.Ledger.Constrained.Conway
wfPParamsUpdateSpecTest.Cardano.Ledger.Constrained.Conway.Gov, Test.Cardano.Ledger.Constrained.Conway
WhenConstrained.Base, Constrained.Spec, Constrained.Internals
when 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Control.Iterate.Collect
when2PhaseCardano.Ledger.Alonzo.Rules
whenBlockValidationCardano.Chain.ValidationMode
whenBootstrapTest.Cardano.Ledger.Conway.ImpTest
whenDecoderVersionAtLeastCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
whenFail 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
whenFail' 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
whenFailureFreeControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
whenPostBootstrapTest.Cardano.Ledger.Conway.ImpTest
whenTrueConstrained.Base, Constrained.Spec, Constrained.Internals, Constrained
whenTrueExistsConstrained.Examples.Basic, Constrained.Examples
whenTxValidationCardano.Chain.ValidationMode
whichGovStateTest.Cardano.Ledger.Generic.Proof
whichPParamsTest.Cardano.Ledger.Generic.Proof
whichScriptTest.Cardano.Ledger.Generic.Proof
whichTxCertTest.Cardano.Ledger.Generic.Proof
whichTxOutTest.Cardano.Ledger.Generic.Proof
whichUTxOTest.Cardano.Ledger.Generic.Proof
whichValueTest.Cardano.Ledger.Generic.Proof
WidthTest.Cardano.Ledger.Generic.PrettyCore
wireSizeAlonzoTxF 
1 (Function)Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
wireSizeShelleyTxFCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
wireSizeTxF 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)Cardano.Ledger.Shelley.Core
Wit 
1 (Data Constructor)Byron.Spec.Ledger.UTxO
2 (Type/Class)Byron.Spec.Ledger.UTxO
3 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
4 (Data Constructor)Test.Common
WitBlock 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse
2 (Type/Class)Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witBootstrapAddressTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witConwayTxCertTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witCredSpecTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witDRepSpecTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witGenDelegPairSpecTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
WithTest.Cardano.Ledger.Constrained.Monad
WitHashRTest.Cardano.Ledger.Constrained.TypeRep
withCborRoundTripFailures 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
withCddlVarFileTest.Cardano.Ledger.Binary.Cddl
withCtxTest.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance
withCurrentEncodingVersionCardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
withCustomFixup 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
withDiscardRatio 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
withdrawalCanWithdrawCardano.Ledger.Conway.Rules
withdrawalMaxTest.Cardano.Ledger.Generic.GenState
Withdrawals 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Allegra.Core
3 (Data Constructor)Cardano.Ledger.Alonzo.Core
4 (Type/Class)Cardano.Ledger.Alonzo.Core
5 (Type/Class)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
6 (Data Constructor)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
7 (Data Constructor)Cardano.Ledger.Babbage.Core
8 (Type/Class)Cardano.Ledger.Babbage.Core
9 (Data Constructor)Cardano.Ledger.Conway.Core
10 (Type/Class)Cardano.Ledger.Conway.Core
11 (Data Constructor)Cardano.Ledger.Address
12 (Type/Class)Cardano.Ledger.Address
13 (Data Constructor)Cardano.Ledger.Mary.Core
14 (Type/Class)Cardano.Ledger.Mary.Core
15 (Type/Class)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
16 (Data Constructor)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
withdrawals 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
7 (Function)Test.Cardano.Ledger.Constrained.Vars
Withdrawals'Test.Cardano.Ledger.Generic.Fields
withdrawals' 
1 (Function)Cardano.Ledger.Alonzo.TxBody.Internal, Cardano.Ledger.Alonzo.TxBody
2 (Function)Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody
WithdrawalsNotInRewardsCERTSCardano.Ledger.Conway.Rules
WithdrawalsNotInRewardsDELEGSCardano.Ledger.Shelley.Rules
withdrawalsTxBodyL 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
9 (Function)Test.Cardano.Ledger.EraClass
WithEpochSlots 
1 (Data Constructor)Cardano.Chain.Slotting
2 (Type/Class)Cardano.Chain.Slotting
withEqTest.Cardano.Ledger.Constrained.Tests
withEraPParamsTest.Cardano.Ledger.Generic.PrettyCore
withFixup 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
withGovActionParent 
1 (Function)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Conway.Governance
WithHasSpec 
1 (Data Constructor)Constrained.Base, Constrained.Spec, Constrained.Internals
2 (Type/Class)Constrained.Base, Constrained.Spec, Constrained.Internals
withHexTextCardano.Ledger.Binary.Plain
withImpInitTest.Cardano.Ledger.Imp.Common
within 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
withMaxShrinks 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
withMaxSize 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
withMaxSuccess 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
withMaxTimesSuccessTest.Common
withModeConstrained.GenT, Constrained.Internals, Constrained
withNoFixup 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
WithOriginCardano.Ledger.BaseTypes
withoutConstrained.Base, Constrained.Spec, Constrained.Internals
withPlainDecoderCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
withPlutusScript 
1 (Function)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
2 (Function)Cardano.Ledger.Babbage.Core
3 (Function)Cardano.Ledger.Conway.Core
withPlutusScriptLanguageCardano.Ledger.Alonzo.Scripts
withPostFixup 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
WithPrec 
1 (Data Constructor)Constrained.Base, Constrained.Spec, Constrained.Internals
2 (Type/Class)Constrained.Base, Constrained.Spec, Constrained.Internals
withPreFixup 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
withPrevActIdTest.Cardano.Ledger.Constrained.Conway.Gov, Test.Cardano.Ledger.Constrained.Conway
withResourceTest.Common
WithResult 
1 (Data Constructor)Test.Cardano.Protocol.Crypto.VRF.Fake
2 (Type/Class)Test.Cardano.Protocol.Crypto.VRF.Fake
withSamePlutusLanguageCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
withSLanguageCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
withSliceCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
withTestFileProperty 
1 (Function)GetDataFileName
2 (Function)GetDataFileName
3 (Function)GetDataFileName
withTestsTS 
1 (Function)Test.Options
2 (Function)Test.Options
withWordSize 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
witKeyHashSpecTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
Witness 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Data Constructor)Cardano.Ledger.Alonzo.Core
3 (Data Constructor)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Data Constructor)Cardano.Ledger.Babbage.Core
5 (Data Constructor)Cardano.Ledger.Conway.Core
6 (Data Constructor)Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core
7 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
8 (Data Constructor)Cardano.Ledger.Mary.Core
9 (Data Constructor)Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
10 (Type/Class)Test.Common
witness 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse
3 (Function)Test.Common
witnessBootAddrTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witnessDataHashTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witnessDepositPurposeTest.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway
WitnessedTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witnessedByron.Spec.Ledger.STS.UTXOW
witnesses 
1 (Function)Byron.Spec.Ledger.UTxO
2 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
3 (Function)Test.Common
WitnessesFieldTest.Cardano.Ledger.Generic.Fields
WitnessesFieldRTest.Cardano.Ledger.Constrained.TypeRep
WitnessesITest.Cardano.Ledger.Generic.Fields
witnessFieldSummaryTest.Cardano.Ledger.Generic.PrettyCore
witnessKeyHashTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witnessScriptHashTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witnessSummaryTest.Cardano.Ledger.Generic.PrettyCore
WitnessTypeTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witPoolParamsSpecTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witRewardAccountSpecTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
WitRuleTest.Cardano.Ledger.Generic.Proof
wits 
1 (Function)Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
3 (Function)Cardano.Ledger.Conway.Tx
4 (Function)Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
Wits'Test.Cardano.Ledger.Shelley.Generator.EraGen
witsAlonzoTxL 
1 (Function)Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
witScriptHashSpecTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witsFromTxWitnessesCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
witShelleyTxCertTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
witsShelleyTxLCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
witsTargetTest.Cardano.Ledger.Constrained.Vars
witsTxL 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
9 (Function)Test.Cardano.Ledger.EraClass
witTxCertTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
WitUniv 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse
2 (Type/Class)Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse
WitVKey 
1 (Type/Class)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Data Constructor)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
3 (Data Constructor)Cardano.Ledger.Keys.WitVKey, Cardano.Ledger.Keys
4 (Type/Class)Cardano.Ledger.Keys.WitVKey, Cardano.Ledger.Keys
5 (Type/Class)Cardano.Ledger.Shelley.TxWits, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
6 (Data Constructor)Cardano.Ledger.Shelley.TxWits, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
witVKeyBytes 
1 (Function)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Keys.WitVKey, Cardano.Ledger.Keys
witVKeyHash 
1 (Function)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Keys.WitVKey, Cardano.Ledger.Keys
WitVKeyRTest.Cardano.Ledger.Constrained.TypeRep
word16NaturalLTest.Cardano.Ledger.Constrained.Vars
word32NaturalLTest.Cardano.Ledger.Constrained.Vars
Word64Test.Cardano.Ledger.Constrained.Ast
word64CoinLTest.Cardano.Ledger.Constrained.Spec
Word64RTest.Cardano.Ledger.Constrained.TypeRep
word64ToCoin 
1 (Function)Cardano.Ledger.Coin
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
Word7 
1 (Data Constructor)Cardano.Ledger.Address
2 (Type/Class)Cardano.Ledger.Address
word8ToNetworkCardano.Ledger.BaseTypes
WppHashTest.Cardano.Ledger.Generic.Fields
wppHashTest.Cardano.Ledger.Constrained.Vars
WppHash'Test.Cardano.Ledger.Generic.Fields
wrapBoundaryBytesCardano.Chain.Block
wrapErrorWithValidationModeCardano.Chain.ValidationMode
wrapEventControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
WrapExUnits 
1 (Data Constructor)Cardano.Ledger.Alonzo.Scripts
2 (Data Constructor)Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus
wrapFailedControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
wrapHeaderBytesCardano.Chain.Block
WrappedCardano.Ledger.Binary.Coders
WrappedShelleyEraEventCardano.Ledger.Alonzo.Rules
wrapTreeTTest.Hedgehog.Extra.Manual
writeCBORTest.Cardano.Ledger.Api.DebugTools
writeEpochStateCardano.Ledger.State.UTxO
writeEraCBORTest.Cardano.Ledger.Api.DebugTools
writeSpecTest.Cardano.Ledger.Binary.Cuddle
WrongBlockBodySizeBBODY 
1 (Data Constructor)Cardano.Ledger.Conway.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
WrongBlockNoPrtclSeqCardano.Protocol.TPraos.Rules.Prtcl
WrongBlockSequencePrtclSeqCardano.Protocol.TPraos.Rules.Prtcl
WrongCertificateTypeDELEGCardano.Ledger.Shelley.Rules
WrongEpochCardano.Chain.Delegation.Validation.Scheduling
WrongGenesisColdKeyOVERLAYCardano.Protocol.TPraos.Rules.Overlay
WrongGenesisVRFKeyOVERLAYCardano.Protocol.TPraos.Rules.Overlay
WrongNetwork 
1 (Data Constructor)Cardano.Ledger.Allegra.Rules
2 (Data Constructor)Cardano.Ledger.Alonzo.Rules
3 (Data Constructor)Cardano.Ledger.Conway.Rules
4 (Data Constructor)Cardano.Ledger.Shelley.Rules
WrongNetworkInTxBody 
1 (Data Constructor)Cardano.Ledger.Alonzo.Rules
2 (Data Constructor)Cardano.Ledger.Conway.Rules
WrongNetworkPOOLCardano.Ledger.Shelley.Rules
WrongNetworkWithdrawal 
1 (Data Constructor)Cardano.Ledger.Allegra.Rules
2 (Data Constructor)Cardano.Ledger.Alonzo.Rules
3 (Data Constructor)Cardano.Ledger.Conway.Rules
4 (Data Constructor)Cardano.Ledger.Shelley.Rules
WrongSlotIntervalPrtclSeqCardano.Protocol.TPraos.Rules.Prtcl
wtfSpecConstrained.Examples.Basic, Constrained.Examples
wvBootTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
wvDatsTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
wvScriptTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
wvSizeTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
wvVKeyTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse