ExpandSafePrefix

📁 Source: Aesop/Search/ExpandSafePrefix.lean

Statistics

Metric	Count
Definitions SafeExpansionM, numRapps, expandSafePrefix, isSafeExpansionFailedException, safeExpansionFailedException, safeExpansionFailedExceptionId	6
Theorems	0
Total	6

Aesop

Definitions

Name	Category	Theorems
SafeExpansionM 📖	CompOp	—
expandSafePrefix 📖	CompOp	—
isSafeExpansionFailedException 📖	CompOp	—
safeExpansionFailedException 📖	CompOp	—
safeExpansionFailedExceptionId 📖	CompOp	—

Aesop.SafeExpansionM.State

Definitions

Name	Category	Theorems
numRapps 📖	CompOp	—

---

← Back to Index