Extension

📁 Source: Aesop/Frontend/Extension.lean

Statistics

Metric	Count
Definitions addGlobalRule, checkRuleSetNotDeclared, declareRuleSet, declareRuleSetUnchecked, eraseGlobalRules, extensionDescr, getDeclaredGlobalRuleSets, getDefaultGlobalRuleSets, getGlobalRuleSet, getGlobalRuleSetData, getGlobalRuleSetFromData, getGlobalRuleSets, isRuleSetDeclared, modifyGetGlobalRuleSet, modifyGlobalRuleSet	15
Theorems	0
Total	15

Aesop.Frontend

Definitions

Name	Category	Theorems
addGlobalRule 📖	CompOp	—
checkRuleSetNotDeclared 📖	CompOp	—
declareRuleSet 📖	CompOp	—
declareRuleSetUnchecked 📖	CompOp	—
eraseGlobalRules 📖	CompOp	—
extensionDescr 📖	CompOp	—
getDeclaredGlobalRuleSets 📖	CompOp	—
getDefaultGlobalRuleSets 📖	CompOp	—
getGlobalRuleSet 📖	CompOp	—
getGlobalRuleSetData 📖	CompOp	—
getGlobalRuleSetFromData 📖	CompOp	—
getGlobalRuleSets 📖	CompOp	—
isRuleSetDeclared 📖	CompOp	—
modifyGetGlobalRuleSet 📖	CompOp	—
modifyGlobalRuleSet 📖	CompOp	—

---

← Back to Index