Index - I
| 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 |