Index - B
| BeginMetaprogram | Wingman.Types, Wingman.Plugin, Ide.Plugin.Tactic |
| Bind | Wingman.Metaprogramming.Parser.Documentation |
| bindOne | Wingman.Metaprogramming.Parser |
| blacklistingDestruct | Wingman.Judgements |
| blockComment | Wingman.Metaprogramming.Lexer |
| braces | Wingman.Metaprogramming.Lexer |
| brackets | Wingman.Metaprogramming.Lexer |
| buildDataCon | Wingman.CodeGen |
| buildHypothesis | Wingman.Judgements |
| buildPatHy | Wingman.LanguageServer |
| buildTopLevelHypothesis | Wingman.LanguageServer |
| bvar' | Wingman.CodeGen.Utils, Wingman.CodeGen |