BaseM

📁 Source: Aesop/BaseM.lean

Statistics

Metric	Count
Definitions BaseM, rulePatternCache, stats, instInhabitedState, default, instMonadBacktrackSavedState, instMonadHashMapCacheAdapterExprEntry, instMonadStats, run, instEmptyCollectionState	10
Theorems	0
Total	10

Aesop

Definitions

Name	Category	Theorems
BaseM 📖	CompOp	—
instEmptyCollectionState 📖	CompOp	—

Aesop.BaseM

Definitions

Name	Category	Theorems
instInhabitedState 📖	CompOp	—
instMonadBacktrackSavedState 📖	CompOp	—
instMonadHashMapCacheAdapterExprEntry 📖	CompOp	—
instMonadStats 📖	CompOp	—
run 📖	CompOp	—

Aesop.BaseM.State

Definitions

Name	Category	Theorems
rulePatternCache 📖	CompOp	—
stats 📖	CompOp	—

Aesop.BaseM.instInhabitedState

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index