Match
📁 Source: Batteries/CodeAction/Match.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsfindAllInfos, loop, getMatchHeaderRange?, isMatchTerm, matchExpand, pattern_from_constructor | 6 |
| Theorems | 0 |
| Total | 6 |
Batteries.CodeAction
Definitions
| Name | Category | Theorems |
|---|---|---|
findAllInfos 📖 | CompOp | — |
getMatchHeaderRange? 📖 | CompOp | — |
isMatchTerm 📖 | CompOp | — |
matchExpand 📖 | CompOp | — |
pattern_from_constructor 📖 | CompOp | — |
Batteries.CodeAction.findAllInfos
Definitions
| Name | Category | Theorems |
|---|---|---|
loop 📖 | CompOp | — |
---