| O | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| obl | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Oblig | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| oblig | Language.Haskell.Liquid.Constraint.Types |
| occInfo | Liquid.GHC.API |
| OccName | Liquid.GHC.API |
| occNameFS | Liquid.GHC.API |
| occNameString | Liquid.GHC.API |
| occurAnalysePgm | Liquid.GHC.API |
| OccurrenceMap | Language.Haskell.Liquid.GHC.Play |
| OCons | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ofBareType | Language.Haskell.Liquid.Bare.Resolve |
| ofBareTypeE | Language.Haskell.Liquid.Bare.Resolve |
| ofBPVar | Language.Haskell.Liquid.Bare.Resolve |
| ofRSort | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ofType | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| ofUReft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| OInv | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| OkRT | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| oldOutput | Language.Haskell.Liquid.UX.DiffCheck |
| oldPLE | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| oneLine | Language.Haskell.Liquid.GHC.Misc |
| Only | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Opt_DeferTypedHoles | Liquid.GHC.API |
| Opt_Haddock | Liquid.GHC.API |
| Opt_ImplicitImportQualified | Liquid.GHC.API |
| Opt_KeepRawTokenStream | Liquid.GHC.API |
| Opt_PIC | Liquid.GHC.API |
| ordClassKey | Liquid.GHC.API |
| ordClassName | Liquid.GHC.API |
| ordSrcSpan | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| orHeader | Language.Haskell.Liquid.UX.CmdLine |
| orMessages | Language.Haskell.Liquid.UX.CmdLine |
| OTerm | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| outerScTr | Language.Haskell.Liquid.Transforms.Rec |
| Output | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Outputable | Liquid.GHC.API |
| OutputableBndr | Liquid.GHC.API |
| OutputableP | Liquid.GHC.API |
| OutputResult | |
| 1 (Type/Class) | Language.Haskell.Liquid.UX.CmdLine |
| 2 (Data Constructor) | Language.Haskell.Liquid.UX.CmdLine |
| o_bots | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| o_result | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| o_templs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| o_types | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| o_vars | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |