StructureStatic

📁 Source: Aesop/Script/StructureStatic.lean

Statistics

Metric	Count
Definitions StaticStructureM, Context, steps, perfect, run, toSScriptStatic, structureStaticCore	7
Theorems	0
Total	7

Aesop.Script

Definitions

Name	Category	Theorems
StaticStructureM 📖	CompOp	—
structureStaticCore 📖	CompOp	—

Aesop.Script.StaticStructureM

Definitions

Name	Category	Theorems
Context 📖	CompData	—
run 📖	CompOp	—

Aesop.Script.StaticStructureM.Context

Definitions

Name	Category	Theorems
steps 📖	CompOp	—

Aesop.Script.StaticStructureM.State

Definitions

Name	Category	Theorems
perfect 📖	CompOp	—

Aesop.Script.UScript

Definitions

Name	Category	Theorems
toSScriptStatic 📖	CompOp	—

---

← Back to Index