Documentation Verification Report

AttributeExtra

📁 Source: Batteries/Lean/AttributeExtra.lean

Statistics

Metric	Count
Definitions `ParametricAttributeExtra`, `attr`, `base`, `getParam?`, `setParam`, `TagAttributeExtra`, `base`, `ext`, `getDecls`, `hasTag`, `instInhabitedParametricAttributeExtra`, `default`, `instInhabitedTagAttributeExtra`, `default`, `registerParametricAttributeExtra`, `registerTagAttributeExtra`	16
Theorems	0
Total	16

Lean

Definitions

Name	Category	Theorems
`ParametricAttributeExtra` 📖	CompData	—
`TagAttributeExtra` 📖	CompData	—
`instInhabitedParametricAttributeExtra` 📖	CompOp	—
`instInhabitedTagAttributeExtra` 📖	CompOp	—
`registerParametricAttributeExtra` 📖	CompOp	—
`registerTagAttributeExtra` 📖	CompOp	—

Lean.ParametricAttributeExtra

Definitions

Name	Category	Theorems
`attr` 📖	CompOp	—
`base` 📖	CompOp	—
`getParam?` 📖	CompOp	—
`setParam` 📖	CompOp	—

Lean.TagAttributeExtra

Definitions

Name	Category	Theorems
`base` 📖	CompOp	—
`ext` 📖	CompOp	—
`getDecls` 📖	CompOp	—
`hasTag` 📖	CompOp	—

Lean.instInhabitedParametricAttributeExtra

Definitions

Name	Category	Theorems
`default` 📖	CompOp	—

Lean.instInhabitedTagAttributeExtra

Definitions

Name	Category	Theorems
`default` 📖	CompOp	—

---

← Back to Index