CtorNames

📁 Source: Aesop/Script/CtorNames.lean

Statistics

Metric	Count
Definitions CtorNames, args, ctor, hasImplicitArg, mkFreshArgNames, toAltVarNames, toInductionAlt, toInductionAltLHS, toRCasesPat, ctorNamesToInductionAlts, ctorNamesToRCasesPats, mkCtorNames	12
Theorems	0
Total	12

Aesop

Definitions

Name	Category	Theorems
CtorNames 📖	CompData	—
ctorNamesToInductionAlts 📖	CompOp	—
ctorNamesToRCasesPats 📖	CompOp	—
mkCtorNames 📖	CompOp	—

Aesop.CtorNames

Definitions

Name	Category	Theorems
args 📖	CompOp	—
ctor 📖	CompOp	—
hasImplicitArg 📖	CompOp	—
mkFreshArgNames 📖	CompOp	—
toAltVarNames 📖	CompOp	—
toInductionAlt 📖	CompOp	—
toInductionAltLHS 📖	CompOp	—
toRCasesPat 📖	CompOp	—

---

← Back to Index