| O | Language.Haskell.Liquid.Types |
| obl | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
| Oblig | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
| oblig | Language.Haskell.Liquid.Constraint.Types |
| OCons | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
| ofBareType | Language.Haskell.Liquid.Bare.OfType |
| ofBPVar | Language.Haskell.Liquid.Bare.OfType |
| ofBSort | Language.Haskell.Liquid.Bare.OfType |
| ofMeaSort | Language.Haskell.Liquid.Bare.OfType |
| ofReft | Test.Target.Targetable |
| ofRSort | Language.Haskell.Liquid.Types |
| ofType | Language.Haskell.Liquid.Types.RefType |
| ofUReft | Language.Haskell.Liquid.Types |
| OInv | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
| OkRT | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PrettyPrint |
| oldOutput | Language.Haskell.Liquid.UX.DiffCheck |
| oneLine | Language.Haskell.Liquid.GHC.Misc |
| oneOf | Test.Target.Targetable |
| Only | Language.Haskell.Liquid.Types |
| orFail | Language.Haskell.Liquid.Desugar.DsMonad |
| OTerm | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
| outerScTr | Language.Haskell.Liquid.Transforms.Rec |
| Output | Language.Haskell.Liquid.Types |
| o_bots | Language.Haskell.Liquid.Types |
| o_result | Language.Haskell.Liquid.Types |
| o_templs | Language.Haskell.Liquid.Types |
| o_types | Language.Haskell.Liquid.Types |
| o_vars | Language.Haskell.Liquid.Types |