Index - W
| WingmanMetaprogram | Wingman.StaticPlugin |
| wingmanRules | Wingman.LanguageServer |
| with | Wingman.Naming |
| withModifiedGoal | Wingman.Judgements |
| withNewCoercions | Wingman.Judgements |
| withNewGoal | Wingman.Judgements |
| with_arg | Wingman.Tactics |
| wrapError | Wingman.Metaprogramming.Parser |
| WriteDiagnostics | |
| 1 (Type/Class) | Wingman.LanguageServer |
| 2 (Data Constructor) | Wingman.LanguageServer |
| writeDocumentation | Wingman.Metaprogramming.Parser |
| WrongBranch | Wingman.Types |