PrintOpaques

📁 Source: Batteries/Tactic/PrintOpaques.lean

Statistics

Metric	Count
Definitions M, State, opaques, visited, collect, «command#printOpaques_»	6
Theorems	0
Total	6

Batteries.Tactic

Definitions

Name	Category	Theorems
«command#printOpaques_» 📖	CompOp	—

Batteries.Tactic.CollectOpaques

Definitions

Name	Category	Theorems
M 📖	CompOp	—
State 📖	CompData	—
collect 📖	CompOp	—

Batteries.Tactic.CollectOpaques.State

Definitions

Name	Category	Theorems
opaques 📖	CompOp	—
visited 📖	CompOp	—

---

← Back to Index