Check

📁 Source: Aesop/Tree/Check.lean

Statistics

Metric	Count
Definitions Check, checkAcyclic, checkConsistentParentChildLinks, checkIds, checkIntroducedMVars, checkInvariants, checkInvariantsIfEnabled, checkIrrelevance, checkMVars, checkState, checkInvariantsIfEnabled	11
Theorems	0
Total	11

Aesop

Definitions

Name	Category	Theorems
Check 📖	CompData	—
checkInvariantsIfEnabled 📖	CompOp	—

Aesop.MVarClusterRef

Definitions

Name	Category	Theorems
checkAcyclic 📖	CompOp	—
checkConsistentParentChildLinks 📖	CompOp	—
checkIds 📖	CompOp	—
checkIntroducedMVars 📖	CompOp	—
checkInvariants 📖	CompOp	—
checkInvariantsIfEnabled 📖	CompOp	—
checkIrrelevance 📖	CompOp	—
checkMVars 📖	CompOp	—
checkState 📖	CompOp	—

---

← Back to Index