Lookup

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

Statistics

Metric	Count
Definitions MatchResult, elts, flatten, toArray, getMatch, instInhabitedMatchResult, default	7
Theorems	0
Total	7

Lean.Meta.RefinedDiscrTree

Definitions

Name	Category	Theorems
MatchResult 📖	CompData	—
getMatch 📖	CompOp	—
instInhabitedMatchResult 📖	CompOp	—

Lean.Meta.RefinedDiscrTree.MatchResult

Definitions

Name	Category	Theorems
elts 📖	CompOp	—
flatten 📖	CompOp	—
toArray 📖	CompOp	—

Lean.Meta.RefinedDiscrTree.instInhabitedMatchResult

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index