Cache

📁 Source: Aesop/RulePattern/Cache.lean

Statistics

Metric	Count
Definitions RulePatternCache, Entry, map, instEmptyCollectionRulePatternCache, instInhabitedRulePatternCache, default	6
Theorems	0
Total	6

Aesop

Definitions

Name	Category	Theorems
RulePatternCache 📖	CompData	—
instEmptyCollectionRulePatternCache 📖	CompOp	—
instInhabitedRulePatternCache 📖	CompOp	—

Aesop.RulePatternCache

Definitions

Name	Category	Theorems
Entry 📖	CompOp	—
map 📖	CompOp	—

Aesop.instInhabitedRulePatternCache

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index