Index - O
| obvious | Wingman.Tactics |
| OccName | Wingman.Types |
| One | Wingman.Metaprogramming.Parser.Documentation |
| oneTactic | Wingman.Metaprogramming.Parser |
| operators | Wingman.Metaprogramming.Parser |
| overAlgebraicTerms | Wingman.Tactics |
| overFunctions | Wingman.Tactics |
| overProvenance | Wingman.Types |