Extension

📁 Source: Aesop/Stats/Extension.lean

Statistics

Metric	Count
Definitions StatsArray, StatsExtension, importedEntries, StatsExtensionEntry, aesopStx, fileName, forCurrentFile, position?, stats, getStatsArray, mkStatsArray, recordStatsForCurrentFileIfEnabled, recordStatsIfEnabled, statsExtension	14
Theorems	0
Total	14

Aesop

Definitions

Name	Category	Theorems
StatsArray 📖	CompOp	—
StatsExtension 📖	CompOp	—
StatsExtensionEntry 📖	CompData	—
getStatsArray 📖	CompOp	—
mkStatsArray 📖	CompOp	—
recordStatsForCurrentFileIfEnabled 📖	CompOp	—
recordStatsIfEnabled 📖	CompOp	—
statsExtension 📖	CompOp	—

Aesop.StatsExtension

Definitions

Name	Category	Theorems
importedEntries 📖	CompOp	—

Aesop.StatsExtensionEntry

Definitions

Name	Category	Theorems
aesopStx 📖	CompOp	—
fileName 📖	CompOp	—
forCurrentFile 📖	CompOp	—
position? 📖	CompOp	—
stats 📖	CompOp	—

---

← Back to Index