DiscrTree

📁 Source: Batteries/Lean/Meta/DiscrTree.lean

Statistics

Metric	Count
Definitions cmp, instOrd_batteries, mergePreservingDuplicates, mergeChildren, mergePreservingDuplicates	5
Theorems	0
Total	5

Lean.Meta.DiscrTree

Definitions

Name	Category	Theorems
mergePreservingDuplicates 📖	CompOp	—

Lean.Meta.DiscrTree.Key

Definitions

Name	Category	Theorems
cmp 📖	CompOp	—
instOrd_batteries 📖	CompOp	—

Lean.Meta.DiscrTree.Trie

Definitions

Name	Category	Theorems
mergePreservingDuplicates 📖	CompOp	—

Lean.Meta.DiscrTree.Trie.mergePreservingDuplicates

Definitions

Name	Category	Theorems
mergeChildren 📖	CompOp	—

---

← Back to Index