Match

📁 Source: Batteries/CodeAction/Match.lean

Statistics

Metric	Count
Definitions findAllInfos, loop, getMatchHeaderRange?, hasImplicitNonparArg, isMatchTerm, matchExpand, patternFromConstructor	7
Theorems	0
Total	7

Batteries.CodeAction

Definitions

Name	Category	Theorems
findAllInfos 📖	CompOp	—
getMatchHeaderRange? 📖	CompOp	—
hasImplicitNonparArg 📖	CompOp	—
isMatchTerm 📖	CompOp	—
matchExpand 📖	CompOp	—
patternFromConstructor 📖	CompOp	—

Batteries.CodeAction.findAllInfos

Definitions

Name	Category	Theorems
loop 📖	CompOp	—

---

← Back to Index