ElabM

📁 Source: Aesop/ElabM.lean

Statistics

Metric	Count
Definitions ElabM, Context, forAdditionalGlobalRules, forAdditionalRules, forErasing, forGlobalErasing, goal, parsePriorities, run, getGoal, instMonadElabM, shouldParsePriorities	12
Theorems	0
Total	12

Aesop

Definitions

Name	Category	Theorems
ElabM 📖	CompOp	—
getGoal 📖	CompOp	—
instMonadElabM 📖	CompOp	—
shouldParsePriorities 📖	CompOp	—

Aesop.ElabM

Definitions

Name	Category	Theorems
Context 📖	CompData	—
run 📖	CompOp	—

Aesop.ElabM.Context

Definitions

Name	Category	Theorems
forAdditionalGlobalRules 📖	CompOp	—
forAdditionalRules 📖	CompOp	—
forErasing 📖	CompOp	—
forGlobalErasing 📖	CompOp	—
goal 📖	CompOp	—
parsePriorities 📖	CompOp	—

---

← Back to Index