Index

*.	Byron.Spec.Ledger.Core
+.	Byron.Spec.Ledger.Core
-.	Byron.Spec.Ledger.Core
</\|	Byron.Spec.Ledger.Core
<=?	Byron.Spec.Ledger.Update
<=◁	Byron.Spec.Ledger.Core
<\|	Byron.Spec.Ledger.Core
==>	Byron.Spec.Ledger.Update
abstractSize	Data.AbstractSize
AccountingMap	Data.AbstractSize
Addr
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
addr	Byron.Spec.Ledger.UTxO
addrGen	Byron.Spec.Ledger.Core.Generators
addSlot	Byron.Spec.Ledger.Core
addValue	Byron.Spec.Ledger.UTxO
ADDVOTE	Byron.Spec.Ledger.Update
ADDVOTEFailure	Byron.Spec.Ledger.Update
AddvotePredicateFailure	Byron.Spec.Ledger.Update
ADELEG	Byron.Spec.Ledger.Delegation
ADelegFailure	Byron.Spec.Ledger.Delegation
AdelegPredicateFailure	Byron.Spec.Ledger.Delegation
ADELEGS	Byron.Spec.Ledger.Delegation
ADelegSFailure	Byron.Spec.Ledger.Delegation
AdelegsPredicateFailure	Byron.Spec.Ledger.Delegation
allowedDelegators	Byron.Spec.Ledger.Delegation
AlreadyProposedPv	Byron.Spec.Ledger.Update
AlreadyProposedSv	Byron.Spec.Ledger.Update
ApName
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
applicationVersions	Byron.Spec.Ledger.Update
APPLYVOTES	Byron.Spec.Ledger.Update
ApplyVotesFailure	Byron.Spec.Ledger.Update
ApplyVotesPredicateFailure	Byron.Spec.Ledger.Update
ApVer
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
authTxin	Byron.Spec.Ledger.STS.UTXOW
AVChangedInPVUpdate	Byron.Spec.Ledger.Update
AVSigDoesNotVerify	Byron.Spec.Ledger.Update
balance	Byron.Spec.Ledger.UTxO
BkSgnCntT
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
bkSgnCntT	Byron.Spec.Ledger.Update
bkSlotsPerEpoch	Byron.Spec.Ledger.Update
BlockCount
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
blockCountGen	Byron.Spec.Ledger.Core.Generators
BlockSizeTooLarge	Byron.Spec.Ledger.Update
body	Byron.Spec.Ledger.UTxO
c	Byron.Spec.Ledger.GlobalParams
CanAdopt	Byron.Spec.Ledger.Update
CannotAdopt	Byron.Spec.Ledger.Update
CannotFollowPv	Byron.Spec.Ledger.Update
CannotFollowSv	Byron.Spec.Ledger.Update
CannotUpdatePv	Byron.Spec.Ledger.Update
canUpdate	Byron.Spec.Ledger.Update
certEpoch	Byron.Spec.Ledger.Delegation
changedDelegationsRatio	Byron.Spec.Ledger.Delegation
checkUpdateConstraints	Byron.Spec.Ledger.Update
confirmedProposals	Byron.Spec.Ledger.Update
coverDelegFailures	Byron.Spec.Ledger.Delegation.Test
coverUpiregFailures	Byron.Spec.Ledger.Update.Test
coverUpivoteFailures	Byron.Spec.Ledger.Update.Test
coverUtxoFailure	Byron.Spec.Ledger.STS.UTXOW
currentEpoch	Byron.Spec.Ledger.Delegation
DCert
1 (Type/Class)	Byron.Spec.Ledger.Delegation
2 (Data Constructor)	Byron.Spec.Ledger.Delegation
dcertGen	Byron.Spec.Ledger.Delegation
dcertsGen	Byron.Spec.Ledger.Delegation
DELEG	Byron.Spec.Ledger.Delegation
delegate	Byron.Spec.Ledger.Delegation
delegationMap
1 (Function)	Byron.Spec.Ledger.Update
2 (Function)	Byron.Spec.Ledger.Delegation
delegator	Byron.Spec.Ledger.Delegation
delegatorDelegate	Byron.Spec.Ledger.Delegation
delegatorOf	Byron.Spec.Ledger.Delegation
DelegPredicateFailure	Byron.Spec.Ledger.Delegation
depoch	Byron.Spec.Ledger.Delegation
DIEnv	Byron.Spec.Ledger.Delegation
DIState
1 (Type/Class)	Byron.Spec.Ledger.Delegation
2 (Data Constructor)	Byron.Spec.Ledger.Delegation
dmapGen	Byron.Spec.Ledger.Update
dmsL	Byron.Spec.Ledger.Delegation
DoesNotVerify
1 (Data Constructor)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Delegation
dom	Byron.Spec.Ledger.Core
Domain	Byron.Spec.Ledger.Core
doubleInc	Hedgehog.Gen.Double
dropOnePreserving	Byron.Spec.Ledger.UTxO.Generators
DSEnv
1 (Type/Class)	Byron.Spec.Ledger.Delegation
2 (Data Constructor)	Byron.Spec.Ledger.Delegation
DSState
1 (Type/Class)	Byron.Spec.Ledger.Delegation
2 (Data Constructor)	Byron.Spec.Ledger.Delegation
DState
1 (Type/Class)	Byron.Spec.Ledger.Delegation
2 (Data Constructor)	Byron.Spec.Ledger.Delegation
dwho	Byron.Spec.Ledger.Delegation
emptyDelegationPayloadRatio	Byron.Spec.Ledger.Delegation
EmptyTxInputs	Byron.Spec.Ledger.STS.UTXO
EmptyTxOutputs	Byron.Spec.Ledger.STS.UTXO
emptyUPIState	Byron.Spec.Ledger.Update
endorsements	Byron.Spec.Ledger.Update
Epoch
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
epoch	Byron.Spec.Ledger.Delegation
EpochDiff
1 (Type/Class)	Byron.Spec.Ledger.Delegation
2 (Data Constructor)	Byron.Spec.Ledger.Delegation
epochFirstSlot	Byron.Spec.Ledger.GlobalParams
epochGen	Byron.Spec.Ledger.Core.Generators
EpochInThePast	Byron.Spec.Ledger.Delegation
EpochPastNextEpoch	Byron.Spec.Ledger.Delegation
FactorA
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
factorA	Byron.Spec.Ledger.Update
FactorB
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
factorB	Byron.Spec.Ledger.Update
FADS	Byron.Spec.Ledger.Update
FadsPredicateFailure	Byron.Spec.Ledger.Update
FeeTooLow	Byron.Spec.Ledger.STS.UTXO
findKey	Byron.Spec.Ledger.Update
fromTxOuts	Byron.Spec.Ledger.UTxO
fstUPIState	Byron.Spec.Ledger.Update
futureAdoptions	Byron.Spec.Ledger.Update
genInitialTxOuts	Byron.Spec.Ledger.UTxO.Generators
genInputOutput	Byron.Spec.Ledger.UTxO.Generators
genList	Byron.Spec.Ledger.UTxO.Generators
genLovelace	Byron.Spec.Ledger.UTxO.Generators
genSplitValue	Byron.Spec.Ledger.UTxO.Generators
genTraverseSubsequence	Byron.Spec.Ledger.UTxO.Generators
genTxFromUTxO	Byron.Spec.Ledger.UTxO.Generators
getTxId	Byron.Spec.Ledger.UTxO
getUpSigData	Byron.Spec.Ledger.Update
HasAlreadyDelegated	Byron.Spec.Ledger.Delegation
Hash
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
hash	Byron.Spec.Ledger.Core
HasHash	Byron.Spec.Ledger.Core
HasOwner	Byron.Spec.Ledger.Core
HasScheduledDelegations	Byron.Spec.Ledger.Delegation
HasTypeReps	Data.AbstractSize
IncreasedTotalBalance	Byron.Spec.Ledger.STS.UTXO
increasingProbabilityAt	Byron.Spec.Ledger.Update
initialEnvFromGenesisKeys	Byron.Spec.Ledger.Delegation
initialPParams	Byron.Spec.Ledger.Update
inMap	Byron.Spec.Ledger.Update
inputs	Byron.Spec.Ledger.UTxO
InputsNotInUTxO	Byron.Spec.Ledger.STS.UTXO
InsufficientWitnesses	Byron.Spec.Ledger.STS.UTXOW
interleaveInputOutput	Byron.Spec.Ledger.UTxO.Generators
interleaveInputOutputTreeT	Byron.Spec.Ledger.UTxO.Generators
interleavePreserving	Byron.Spec.Ledger.UTxO.Generators
interleaveTreeT	Byron.Spec.Ledger.UTxO.Generators
interleaveTreeTPreserving	Byron.Spec.Ledger.UTxO.Generators
InvalidApplicationName	Byron.Spec.Ledger.Update
InvalidSystemTags	Byron.Spec.Ledger.Update
invertBijection	Byron.Spec.Ledger.Update
invertMap	Byron.Spec.Ledger.Update
IsAlreadyScheduled	Byron.Spec.Ledger.Delegation
IsNotGenesisKey	Byron.Spec.Ledger.Delegation
isValid	Byron.Spec.Ledger.Core
k	Byron.Spec.Ledger.Core.Generators
KeyPair
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
keyPair	Byron.Spec.Ledger.Core
kForNumberOfEpochs	Byron.Spec.Ledger.Core.Generators
liveAfter	Byron.Spec.Ledger.Delegation
Lovelace
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
lovelaceCap	Byron.Spec.Ledger.Core, Byron.Spec.Ledger.GlobalParams
makeTxWits	Byron.Spec.Ledger.UTxO
makeWitness	Byron.Spec.Ledger.UTxO
mapUTxOValues	Byron.Spec.Ledger.UTxO
maxBkSz	Byron.Spec.Ledger.Update
maxCertsPerBlock	Byron.Spec.Ledger.Delegation
maxChangedDelegations	Byron.Spec.Ledger.Delegation
maxDelegationsTo	Byron.Spec.Ledger.Delegation
maxHdrSz	Byron.Spec.Ledger.Update
maxPropSz	Byron.Spec.Ledger.Update
maxRepeatedDelegations	Byron.Spec.Ledger.Delegation
maxTxSz	Byron.Spec.Ledger.Update
Metadata
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
minusSlot	Byron.Spec.Ledger.Core
minusSlotMaybe	Byron.Spec.Ledger.Core
mkAddr	Byron.Spec.Ledger.Core
mkDCert	Byron.Spec.Ledger.Delegation
mkUProp	Byron.Spec.Ledger.Update
mkVKeyGenesis	Byron.Spec.Ledger.Core
mkVkGenesisSet	Byron.Spec.Ledger.Core
mkVote	Byron.Spec.Ledger.Update
MsdelegPredicateFailure	Byron.Spec.Ledger.Delegation
multipleDelegationsRatio	Byron.Spec.Ledger.Delegation
nextEpochDelegationsRatio	Byron.Spec.Ledger.Delegation
NonPositiveOutputs	Byron.Spec.Ledger.STS.UTXO
NoPVBUMPFailure	Byron.Spec.Ledger.Update
NotADelegate	Byron.Spec.Ledger.Update
NotGenesisDelegate	Byron.Spec.Ledger.Update
NoUpdateProposal	Byron.Spec.Ledger.Update
orError	Byron.Spec.Ledger.Update
outputs	Byron.Spec.Ledger.UTxO
Owner
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
owner	Byron.Spec.Ledger.Core
ParamsChangedInSVUpdate	Byron.Spec.Ledger.Update
pcMinFee	Byron.Spec.Ledger.UTxO
pickHighlyEndorsedProtocolVersion	Byron.Spec.Ledger.Update
PParams
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
pparamsGen	Byron.Spec.Ledger.Update.Generators
pps	Byron.Spec.Ledger.STS.UTXO
ppsUpdateFrom	Byron.Spec.Ledger.Update
PredicateFailure	Byron.Spec.Ledger.Update, Byron.Spec.Ledger.STS.UTXO
propGenInputOutput	Byron.Spec.Ledger.UTxO.Generators
propGenSplitValue	Byron.Spec.Ledger.UTxO.Generators
protocolParameters	Byron.Spec.Ledger.Update
protocolVersion	Byron.Spec.Ledger.Update
protocolVersionEndorsementGen	Byron.Spec.Ledger.Update
ProtVer
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
ProtVerUnknown	Byron.Spec.Ledger.Update
pvAlt	Byron.Spec.Ledger.Update
PVBUMP	Byron.Spec.Ledger.Update
PVBUMPFailure	Byron.Spec.Ledger.Update
PvbumpPredicateFailure	Byron.Spec.Ledger.Update
pvCanFollow	Byron.Spec.Ledger.Update
PVChangedInSVUpdate	Byron.Spec.Ledger.Update
pvMaj	Byron.Spec.Ledger.Update
pvMin	Byron.Spec.Ledger.Update
randomDCertGen	Byron.Spec.Ledger.Delegation
randomUpId	Byron.Spec.Ledger.Update
Range	Byron.Spec.Ledger.Core
range	Byron.Spec.Ledger.Core
registeredProtocolUpdateProposals	Byron.Spec.Ledger.Update
Relation	Byron.Spec.Ledger.Core
repeatedDelegationsRatio	Byron.Spec.Ledger.Delegation
RepeatVoteByGenesisDelegate	Byron.Spec.Ledger.Update
reserves	Byron.Spec.Ledger.STS.UTXO
reSign	Byron.Spec.Ledger.Update
scheduledDelegations	Byron.Spec.Ledger.Delegation
scriptVersion	Byron.Spec.Ledger.Update
ScriptVersionTooLarge	Byron.Spec.Ledger.Update
ScriptVersionTooSmall	Byron.Spec.Ledger.Update
SDELEG	Byron.Spec.Ledger.Delegation
SDELEGFailure	Byron.Spec.Ledger.Delegation
SDelegFailure	Byron.Spec.Ledger.Delegation
SdelegPredicateFailure	Byron.Spec.Ledger.Delegation
SDELEGS	Byron.Spec.Ledger.Delegation
SDelegSFailure	Byron.Spec.Ledger.Delegation
SdelegsPredicateFailure	Byron.Spec.Ledger.Delegation
selfDelegationsRatio	Byron.Spec.Ledger.Delegation
shrinkLeftPreserving	Byron.Spec.Ledger.UTxO.Generators
shrinkOnePreserving	Byron.Spec.Ledger.UTxO.Generators
shrinkRight	Byron.Spec.Ledger.UTxO.Generators
Sig
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
sign	Byron.Spec.Ledger.Core
signature	Byron.Spec.Ledger.Delegation
signatureData	Byron.Spec.Ledger.Core.Omniscient
signatureVKey	Byron.Spec.Ledger.Core.Omniscient
signWithGenesisKey	Byron.Spec.Ledger.Core.Omniscient
singleton	Byron.Spec.Ledger.Core
Size	Data.AbstractSize
size	Byron.Spec.Ledger.Core
SKey
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
sKey	Byron.Spec.Ledger.Core
skey	Byron.Spec.Ledger.Core.Omniscient
Slot
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
slot	Byron.Spec.Ledger.Delegation
SlotCount
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
slotGen	Byron.Spec.Ledger.Core.Generators
slotsPerEpoch	Byron.Spec.Ledger.GlobalParams
slotsPerEpochToK	Byron.Spec.Ledger.GlobalParams
sndUPIState	Byron.Spec.Ledger.Update
STag	Byron.Spec.Ledger.Update
subFromList	Byron.Spec.Ledger.UTxO.Generators
svCanFollow	Byron.Spec.Ledger.Update
svName	Byron.Spec.Ledger.Update
svVer	Byron.Spec.Ledger.Update
SwVer
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
S_AfterExistingDelegation	Byron.Spec.Ledger.Delegation
S_AlreadyADelegateOf	Byron.Spec.Ledger.Delegation
S_AlreadyConfirmed	Byron.Spec.Ledger.Update
S_BeforeExistingDelegation	Byron.Spec.Ledger.Delegation
S_CfmThdNotReached	Byron.Spec.Ledger.Update
S_HigherThanThdAndNotAlreadyConfirmed	Byron.Spec.Ledger.Update
S_NoLastDelegation	Byron.Spec.Ledger.Delegation
S_TryNextRule	Byron.Spec.Ledger.Update
thisEpochDelegationsRatio	Byron.Spec.Ledger.Delegation
toSet	Byron.Spec.Ledger.Core
traceAddrs	Byron.Spec.Ledger.STS.UTXOW
TransactionSizeTooLarge	Byron.Spec.Ledger.Update
trdUPIState	Byron.Spec.Ledger.Update
Tx
1 (Type/Class)	Byron.Spec.Ledger.UTxO
2 (Data Constructor)	Byron.Spec.Ledger.UTxO
TxBody
1 (Type/Class)	Byron.Spec.Ledger.UTxO
2 (Data Constructor)	Byron.Spec.Ledger.UTxO
TxId
1 (Type/Class)	Byron.Spec.Ledger.UTxO
2 (Data Constructor)	Byron.Spec.Ledger.UTxO
txid	Byron.Spec.Ledger.UTxO
TxIn
1 (Type/Class)	Byron.Spec.Ledger.UTxO
2 (Data Constructor)	Byron.Spec.Ledger.UTxO
txins	Byron.Spec.Ledger.UTxO
TxOut
1 (Type/Class)	Byron.Spec.Ledger.UTxO
2 (Data Constructor)	Byron.Spec.Ledger.UTxO
txouts	Byron.Spec.Ledger.UTxO
txsize	Byron.Spec.Ledger.UTxO
txValue	Byron.Spec.Ledger.UTxO
typeReps	Data.AbstractSize
unBlockCount	Byron.Spec.Ledger.Core
UnconfirmedProposal	Byron.Spec.Ledger.Update
unEpoch	Byron.Spec.Ledger.Core
unHash	Byron.Spec.Ledger.Core
unLovelace	Byron.Spec.Ledger.Core
unOwner	Byron.Spec.Ledger.Core
unSlot	Byron.Spec.Ledger.Core
unSlotCount	Byron.Spec.Ledger.Core
unUTxO	Byron.Spec.Ledger.UTxO
unVKeyGenesis	Byron.Spec.Ledger.Core
UpAdptThd
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
upAdptThd	Byron.Spec.Ledger.Update
UpdateConstraintViolation	Byron.Spec.Ledger.Update
updateProposalAndVotesGen	Byron.Spec.Ledger.Update
UPEND	Byron.Spec.Ledger.Update
UPENDFailure	Byron.Spec.Ledger.Update
UpendPredicateFailure	Byron.Spec.Ledger.Update
UpId
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
upId	Byron.Spec.Ledger.Update
UPIEC	Byron.Spec.Ledger.Update
UpiecPredicateFailure	Byron.Spec.Ledger.Update
UPIEND	Byron.Spec.Ledger.Update
UpiendPredicateFailure	Byron.Spec.Ledger.Update
UPIEnv	Byron.Spec.Ledger.Update
upiEnvGen	Byron.Spec.Ledger.Update
UPIREG	Byron.Spec.Ledger.Update
UpiregPredicateFailure	Byron.Spec.Ledger.Update
upIssuer	Byron.Spec.Ledger.Update
UPIState	Byron.Spec.Ledger.Update
UPIVOTE	Byron.Spec.Ledger.Update
UpivoteFailure	Byron.Spec.Ledger.Update
UpivotePredicateFailure	Byron.Spec.Ledger.Update
UPIVOTES	Byron.Spec.Ledger.Update
UpivotesPredicateFailure	Byron.Spec.Ledger.Update
upMdt	Byron.Spec.Ledger.Update
upParams	Byron.Spec.Ledger.Update
upPV	Byron.Spec.Ledger.Update
UPPVV	Byron.Spec.Ledger.Update
UPPVVFailure	Byron.Spec.Ledger.Update
UppvvPredicateFailure	Byron.Spec.Ledger.Update
UPREG	Byron.Spec.Ledger.Update
UPREGFailure	Byron.Spec.Ledger.Update
UpregPredicateFailure	Byron.Spec.Ledger.Update
UProp
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
UpSD	Byron.Spec.Ledger.Update
upSig	Byron.Spec.Ledger.Update
upSigData	Byron.Spec.Ledger.Update
upSTags	Byron.Spec.Ledger.Update
UPSVV	Byron.Spec.Ledger.Update
UPSVVFailure	Byron.Spec.Ledger.Update
UpsvvPredicateFailure	Byron.Spec.Ledger.Update
upSwVer	Byron.Spec.Ledger.Update
upTtl	Byron.Spec.Ledger.Update
UPV	Byron.Spec.Ledger.Update
UPVFailure	Byron.Spec.Ledger.Update
UPVOTE	Byron.Spec.Ledger.Update
UPVOTEFailure	Byron.Spec.Ledger.Update
UpvotePredicateFailure	Byron.Spec.Ledger.Update
UpvPredicateFailure	Byron.Spec.Ledger.Update
UTXO	Byron.Spec.Ledger.STS.UTXO
UTxO
1 (Type/Class)	Byron.Spec.Ledger.UTxO
2 (Data Constructor)	Byron.Spec.Ledger.UTxO
utxo	Byron.Spec.Ledger.STS.UTXO
utxo0	Byron.Spec.Ledger.STS.UTXO
UTxOEnv
1 (Type/Class)	Byron.Spec.Ledger.STS.UTXO
2 (Data Constructor)	Byron.Spec.Ledger.STS.UTXO
UtxoFailure	Byron.Spec.Ledger.STS.UTXOW
UtxoPredicateFailure	Byron.Spec.Ledger.STS.UTXO
UTxOState
1 (Type/Class)	Byron.Spec.Ledger.STS.UTXO
2 (Data Constructor)	Byron.Spec.Ledger.STS.UTXO
UTXOW	Byron.Spec.Ledger.STS.UTXOW
UtxowFailure	Byron.Spec.Ledger.STS.UTXOWS
UtxowPredicateFailure	Byron.Spec.Ledger.STS.UTXOW
UTXOWS	Byron.Spec.Ledger.STS.UTXOWS
UtxowsPredicateFailure	Byron.Spec.Ledger.STS.UTXOWS
value	Byron.Spec.Ledger.UTxO
vCaster	Byron.Spec.Ledger.Update
verify	Byron.Spec.Ledger.Core
viewTwo	Byron.Spec.Ledger.UTxO.Generators
VKey
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
vKey	Byron.Spec.Ledger.Core
VKeyGenesis
1 (Type/Class)	Byron.Spec.Ledger.Core
2 (Data Constructor)	Byron.Spec.Ledger.Core
vkGen	Byron.Spec.Ledger.Core.Generators
vkgenesisGen	Byron.Spec.Ledger.Core.Generators
Vote
1 (Type/Class)	Byron.Spec.Ledger.Update
2 (Data Constructor)	Byron.Spec.Ledger.Update
VoteByNonGenesisDelegate	Byron.Spec.Ledger.Update
vPropId	Byron.Spec.Ledger.Update
vSig	Byron.Spec.Ledger.Update
Wit
1 (Type/Class)	Byron.Spec.Ledger.UTxO
2 (Data Constructor)	Byron.Spec.Ledger.UTxO
witnessed	Byron.Spec.Ledger.STS.UTXOW
witnesses	Byron.Spec.Ledger.UTxO
_bkSgnCntT	Byron.Spec.Ledger.Update
_bkSlotsPerEpoch	Byron.Spec.Ledger.Update
_dIStateDelegationMap	Byron.Spec.Ledger.Delegation
_dIStateKeyEpochDelegations	Byron.Spec.Ledger.Delegation
_dIStateLastDelegation	Byron.Spec.Ledger.Delegation
_dIStateScheduledDelegations	Byron.Spec.Ledger.Delegation
_dSEnvAllowedDelegators	Byron.Spec.Ledger.Delegation
_dSEnvEpoch	Byron.Spec.Ledger.Delegation
_dSEnvK	Byron.Spec.Ledger.Delegation
_dSEnvSlot	Byron.Spec.Ledger.Delegation
_dSStateKeyEpochDelegations	Byron.Spec.Ledger.Delegation
_dSStateScheduledDelegations	Byron.Spec.Ledger.Delegation
_dStateDelegationMap	Byron.Spec.Ledger.Delegation
_dStateLastDelegation	Byron.Spec.Ledger.Delegation
_factorA	Byron.Spec.Ledger.Update
_factorB	Byron.Spec.Ledger.Update
_maxBkSz	Byron.Spec.Ledger.Update
_maxHdrSz	Byron.Spec.Ledger.Update
_maxPropSz	Byron.Spec.Ledger.Update
_maxTxSz	Byron.Spec.Ledger.Update
_pvAlt	Byron.Spec.Ledger.Update
_pvMaj	Byron.Spec.Ledger.Update
_pvMin	Byron.Spec.Ledger.Update
_scriptVersion	Byron.Spec.Ledger.Update
_svName	Byron.Spec.Ledger.Update
_svVer	Byron.Spec.Ledger.Update
_upAdptThd	Byron.Spec.Ledger.Update
_upId	Byron.Spec.Ledger.Update
_upIssuer	Byron.Spec.Ledger.Update
_upMdt	Byron.Spec.Ledger.Update
_upParams	Byron.Spec.Ledger.Update
_upPV	Byron.Spec.Ledger.Update
_upSig	Byron.Spec.Ledger.Update
_upSTags	Byron.Spec.Ledger.Update
_upSwVer	Byron.Spec.Ledger.Update
_upTtl	Byron.Spec.Ledger.Update
_vCaster	Byron.Spec.Ledger.Update
_vPropId	Byron.Spec.Ledger.Update
_vSig	Byron.Spec.Ledger.Update
\|/>	Byron.Spec.Ledger.Core
\|>	Byron.Spec.Ledger.Core
∈	Byron.Spec.Ledger.Core
∉	Byron.Spec.Ledger.Core
∩	Byron.Spec.Ledger.Core
∪	Byron.Spec.Ledger.Core
∪+	Byron.Spec.Ledger.Core
⊆	Byron.Spec.Ledger.Core
⋪	Byron.Spec.Ledger.Core
⋫	Byron.Spec.Ledger.Core
▷	Byron.Spec.Ledger.Core
▷<=	Byron.Spec.Ledger.Core
▷>=	Byron.Spec.Ledger.Core
◁	Byron.Spec.Ledger.Core
⨃	Byron.Spec.Ledger.Core