| OctFrac | Cryptol.Parser.AST |
| OctLit | Cryptol.Parser.AST |
| offlineProveSat | Cryptol.REPL.Command |
| ogFromParam | Cryptol.Utils.Ident |
| ogIsModParam | Cryptol.Utils.Ident |
| ogModule | Cryptol.Utils.Ident |
| ogName | Cryptol.Utils.Ident |
| ogNamespace | Cryptol.Utils.Ident |
| ogSource | Cryptol.Utils.Ident |
| One | Cryptol.ModuleSystem.Names |
| onlineProveSat | Cryptol.REPL.Command |
| Only | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| onlyNonTrivial | Cryptol.TypeCheck.Sanity |
| Op | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| op1 | Cryptol.TypeCheck.SimpType |
| op2 | Cryptol.TypeCheck.SimpType |
| op3 | Cryptol.TypeCheck.SimpType |
| optAliases | Cryptol.REPL.Monad |
| optCheck | Cryptol.REPL.Monad |
| optDefault | Cryptol.REPL.Monad |
| optEff | Cryptol.REPL.Monad |
| optHelp | Cryptol.REPL.Monad |
| OptionArg | Cryptol.REPL.Command |
| OptionDescr | |
| 1 (Type/Class) | Cryptol.REPL.Monad |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| optName | Cryptol.REPL.Monad |
| optParens | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ordinal | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| ordSuffix | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| OrigName | |
| 1 (Type/Class) | Cryptol.Utils.Ident |
| 2 (Data Constructor) | Cryptol.Utils.Ident |
| origNameToDefPName | Cryptol.Parser.Name |
| OrigSource | Cryptol.Utils.Ident |
| orV | Cryptol.Eval.Generic |
| Other | Cryptol.Parser.Token |
| OtherFailure | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| OtherIOError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| otherIOError | Cryptol.ModuleSystem.Monad |
| OverlappingPat | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| OverlappingRecordUpdate | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer |
| OverlappingSyms | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer |