Encode

📁 Source: Mathlib/Lean/Meta/RefinedDiscrTree/Encode.lean

Statistics

Metric	Count
Definitions toList, encodeExpr, encodeExprWithEta, evalLazyEntry, initializeLazyEntryWithEta, initializeLazyEntryWithEtaAux	6
Theorems	0
Total	6

Lean.Meta.RefinedDiscrTree

Definitions

Name	Category	Theorems
encodeExpr 📖	CompOp	—
encodeExprWithEta 📖	CompOp	—
evalLazyEntry 📖	CompOp	—
initializeLazyEntryWithEta 📖	CompOp	—
initializeLazyEntryWithEtaAux 📖	CompOp	—

Lean.Meta.RefinedDiscrTree.LazyEntry

Definitions

Name	Category	Theorems
toList 📖	CompOp	—

---

← Back to Index