Documentation Verification Report

Init

📁 Source: Aesop/Frontend/Extension/Init.lean

Statistics

Metric	Count
Definitions `DeclaredRuleSets`, `defaultRuleSets`, `ruleSets`, `RuleSetExtension`, `declaredRuleSetsRef`, `getDeclaredRuleSets`, `getDefaultRuleSetNames`, `instEmptyCollectionDeclaredRuleSets`, `instInhabitedDeclaredRuleSets`, `default`	10
Theorems	0
Total	10

Aesop

Definitions

Name	Category	Theorems
`DeclaredRuleSets` 📖	CompData	—
`RuleSetExtension` 📖	CompOp	—
`declaredRuleSetsRef` 📖	CompOp	—
`getDeclaredRuleSets` 📖	CompOp	—
`getDefaultRuleSetNames` 📖	CompOp	—
`instEmptyCollectionDeclaredRuleSets` 📖	CompOp	—
`instInhabitedDeclaredRuleSets` 📖	CompOp	—

Aesop.DeclaredRuleSets

Definitions

Name	Category	Theorems
`defaultRuleSets` 📖	CompOp	—
`ruleSets` 📖	CompOp	—

Aesop.instInhabitedDeclaredRuleSets

Definitions

Name	Category	Theorems
`default` 📖	CompOp	—

---

← Back to Index