Index - O
| OnlyRecvPort | LambdaUC.UC.Core |
| OnlySendPort | LambdaUC.UC.Core |
| Or | LambdaUC.Types |
| Oracle | LambdaUC.Syntax.Sync.Eval |
| OracleCaller | LambdaUC.Syntax.Sync.Eval |
| oracleEncDec | LambdaUC.Games.SymEncryption |
| oracleEncRandDec | LambdaUC.Games.SymEncryption |
| oracleEncRandNoDec | LambdaUC.Games.SymEncryption |
| oracleMapM | LambdaUC.Games.Common |
| OracleReq | |
| 1 (Type/Class) | LambdaUC.Syntax.Sync.Eval |
| 2 (Data Constructor) | LambdaUC.Syntax.Sync.Eval |
| OracleReqHalt | LambdaUC.Syntax.Sync.Eval |
| OracleWrapper | |
| 1 (Type/Class) | LambdaUC.Syntax.Sync.Eval |
| 2 (Data Constructor) | LambdaUC.Syntax.Sync.Eval |