Index - O
| observe | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| okRestrict | Language.Nominal.Examples.Style |
| one | Language.Nominal.Examples.SystemF |
| Operand | |
| 1 (Type/Class) | Language.Nominal.Examples.Assembly2 |
| 2 (Type/Class) | Language.Nominal.Examples.Assembly1 |
| Output | |
| 1 (Type/Class) | Language.Nominal.Examples.IdealisedEUTxO |
| 2 (Data Constructor) | Language.Nominal.Examples.IdealisedEUTxO |
| outputPositions | Language.Nominal.Examples.IdealisedEUTxO |
| outputsOfTx | Language.Nominal.Examples.IdealisedEUTxO |