PrintPrefix

📁 Source: Batteries/Tactic/PrintPrefix.lean

Statistics

Metric	Count
Definitions PrintPrefixConfig, imported, internals, propositions, propositionsOnly, showTypes, elabPrintPrefixConfig, printPrefix	8
Theorems	0
Total	8

Batteries.Tactic

Definitions

Name	Category	Theorems
PrintPrefixConfig 📖	CompData	—
elabPrintPrefixConfig 📖	CompOp	—
printPrefix 📖	CompOp	—

Batteries.Tactic.PrintPrefixConfig

Definitions

Name	Category	Theorems
imported 📖	CompOp	—
internals 📖	CompOp	—
propositions 📖	CompOp	—
propositionsOnly 📖	CompOp	—
showTypes 📖	CompOp	—

---

← Back to Index