Misc

📁 Source: Batteries/CodeAction/Misc.lean

Statistics

Metric	Count
Definitions addSubgoalsAction, addSubgoalsActionCore, addSubgoalsSeqAction, casesExpand, eqnStub, findStack?, findTermInfo?, getElimExprNames, getExplicitArgs, holeKindToHoleString, instanceStub, removeAfterDoneAction, startTacticStub	13
Theorems	0
Total	13

Batteries.CodeAction

Definitions

Name	Category	Theorems
addSubgoalsAction 📖	CompOp	—
addSubgoalsActionCore 📖	CompOp	—
addSubgoalsSeqAction 📖	CompOp	—
casesExpand 📖	CompOp	—
eqnStub 📖	CompOp	—
findStack? 📖	CompOp	—
findTermInfo? 📖	CompOp	—
getElimExprNames 📖	CompOp	—
getExplicitArgs 📖	CompOp	—
holeKindToHoleString 📖	CompOp	—
instanceStub 📖	CompOp	—
removeAfterDoneAction 📖	CompOp	—
startTacticStub 📖	CompOp	—

---

← Back to Index