StructureDynamic

📁 Source: Aesop/Script/StructureDynamic.lean

Statistics

Metric	Count
Definitions DynStructureM, Context, steps, updateMVarIds, perfect, instInhabitedContext, default, run, DynStructureResult, postState, script, toSScriptDynamic, structureDynamicCore, withUpdatedMVarIds	14
Theorems	0
Total	14

Aesop.Script

Definitions

Name	Category	Theorems
DynStructureM 📖	CompOp	—
DynStructureResult 📖	CompData	—
structureDynamicCore 📖	CompOp	—
withUpdatedMVarIds 📖	CompOp	—

Aesop.Script.DynStructureM

Definitions

Name	Category	Theorems
Context 📖	CompData	—
instInhabitedContext 📖	CompOp	—
run 📖	CompOp	—

Aesop.Script.DynStructureM.Context

Definitions

Name	Category	Theorems
steps 📖	CompOp	—
updateMVarIds 📖	CompOp	—

Aesop.Script.DynStructureM.State

Definitions

Name	Category	Theorems
perfect 📖	CompOp	—

Aesop.Script.DynStructureM.instInhabitedContext

Definitions

Name	Category	Theorems
default 📖	CompOp	—

Aesop.Script.DynStructureResult

Definitions

Name	Category	Theorems
postState 📖	CompOp	—
script 📖	CompOp	—

Aesop.Script.UScript

Definitions

Name	Category	Theorems
toSScriptDynamic 📖	CompOp	—

---

← Back to Index