builtinTactics top-level property
Map<String, BuiltinTactic>
builtinTactics
Implementation
Map<String, BuiltinTactic> get builtinTactics => currentContext.builtinTactics;
Map<String, BuiltinTactic> get builtinTactics => currentContext.builtinTactics;