| OBftSlot | Shelley.Spec.Ledger.OverlaySchedule, Shelley.Spec.Ledger.API |
| obligation | Shelley.Spec.Ledger.EpochBoundary |
| ObsoleteNodeCHAIN | Shelley.Spec.Ledger.STS.Chain |
| OCERT | Shelley.Spec.Ledger.STS.Ocert |
| OCert | |
| 1 (Type/Class) | Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API |
| 2 (Data Constructor) | Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API |
| OCertEnv | |
| 1 (Type/Class) | Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.STS.Ocert, Shelley.Spec.Ledger.API |
| 2 (Data Constructor) | Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.STS.Ocert, Shelley.Spec.Ledger.API |
| ocertEnvGenDelegs | Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.STS.Ocert, Shelley.Spec.Ledger.API |
| ocertEnvStPools | Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.STS.Ocert, Shelley.Spec.Ledger.API |
| OcertFailure | Shelley.Spec.Ledger.STS.Overlay |
| ocertKESPeriod | Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API |
| ocertN | Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API |
| OcertPredicateFailure | Shelley.Spec.Ledger.STS.Ocert |
| ocertSigma | Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API |
| OCertSignable | |
| 1 (Type/Class) | Shelley.Spec.Ledger.OCert |
| 2 (Data Constructor) | Shelley.Spec.Ledger.OCert |
| ocertToSignable | Shelley.Spec.Ledger.OCert |
| ocertVkHot | Shelley.Spec.Ledger.OCert, Shelley.Spec.Ledger.API |
| OutputBootAddrAttrsTooBig | Shelley.Spec.Ledger.STS.Utxo |
| OutputTooSmallUTxO | Shelley.Spec.Ledger.STS.Utxo |
| OVERLAY | Shelley.Spec.Ledger.STS.Overlay |
| OverlayEnv | |
| 1 (Type/Class) | Shelley.Spec.Ledger.STS.Overlay |
| 2 (Data Constructor) | Shelley.Spec.Ledger.STS.Overlay |
| OverlayFailure | Shelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API |
| OverlayPredicateFailure | Shelley.Spec.Ledger.STS.Overlay |
| overlaySlots | Shelley.Spec.Ledger.OverlaySchedule |