Forward

📁 Source: Aesop/Index/Forward.lean

Statistics

Metric	Count
Definitions ForwardIndex, constRules, get, getConstRuleMatches, getRuleWithName?, insert, instEmptyCollection, merge, nameToRule, trace, tree, instInhabitedForwardIndex, default	13
Theorems	0
Total	13

Aesop

Definitions

Name	Category	Theorems
ForwardIndex 📖	CompData	—
instInhabitedForwardIndex 📖	CompOp	—

Aesop.ForwardIndex

Definitions

Name	Category	Theorems
constRules 📖	CompOp	—
get 📖	CompOp	—
getConstRuleMatches 📖	CompOp	—
getRuleWithName? 📖	CompOp	—
insert 📖	CompOp	—
instEmptyCollection 📖	CompOp	—
merge 📖	CompOp	—
nameToRule 📖	CompOp	—
trace 📖	CompOp	—
tree 📖	CompOp	—

Aesop.instInhabitedForwardIndex

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index