Command

📁 Source: Aesop/Frontend/Command.lean

Statistics

Metric	Count
Definitions addRules, declareRuleSets, eraseRules, evalStatsReport?, showRules, showStats	6
Theorems	0
Total	6

Aesop.Frontend.Parser

Definitions

Name	Category	Theorems
addRules 📖	CompOp	—
declareRuleSets 📖	CompOp	—
eraseRules 📖	CompOp	—
evalStatsReport? 📖	CompOp	—
showRules 📖	CompOp	—
showStats 📖	CompOp	—

---

← Back to Index