Trace

📁 Source: Mathlib/Lean/MessageData/Trace.lean

Statistics

Metric	Count
Definitions TraceResult, dedupByString, extractInstName, instDecidableEqTraceResult, instReprTraceResult, repr, stripTraceResultPrefix, traceResultOf	8
Theorems	0
Total	8

Lean.MessageData

Definitions

Name	Category	Theorems
TraceResult 📖	CompData	—
dedupByString 📖	CompOp	—
extractInstName 📖	CompOp	—
instDecidableEqTraceResult 📖	CompOp	—
instReprTraceResult 📖	CompOp	—
stripTraceResultPrefix 📖	CompOp	—
traceResultOf 📖	CompOp	—

Lean.MessageData.instReprTraceResult

Definitions

Name	Category	Theorems
repr 📖	CompOp	—

---

← Back to Index