Documentation Verification Report

NameMapAttribute

📁 Source: Batteries/Lean/NameMapAttribute.lean

Statistics

Metric	Count
Definitions `NameMapAttributeImpl`, `add`, `descr`, `name`, `ref`, `NameMapExtension`, `add`, `find?`, `instInhabitedNameMapAttributeImpl`, `default`, `instInhabitedNameMapExtension`, `instInhabitedThunk_batteries`, `registerNameMapAttribute`, `registerNameMapExtension`	14
Theorems	0
Total	14

Lean

Definitions

Name	Category	Theorems
`NameMapAttributeImpl` 📖	CompData	—
`NameMapExtension` 📖	CompOp	—
`instInhabitedNameMapAttributeImpl` 📖	CompOp	—
`instInhabitedNameMapExtension` 📖	CompOp	—
`instInhabitedThunk_batteries` 📖	CompOp	—
`registerNameMapAttribute` 📖	CompOp	—
`registerNameMapExtension` 📖	CompOp	—

Lean.NameMapAttributeImpl

Definitions

Name	Category	Theorems
`add` 📖	CompOp	—
`descr` 📖	CompOp	—
`name` 📖	CompOp	—
`ref` 📖	CompOp	—

Lean.NameMapExtension

Definitions

Name	Category	Theorems
`add` 📖	CompOp	—
`find?` 📖	CompOp	—

Lean.instInhabitedNameMapAttributeImpl

Definitions

Name	Category	Theorems
`default` 📖	CompOp	—

---

← Back to Index