DelabCode
📁 Source: MRiscX/Delab/DelabCode.lean
Statistics
| Metric | Count |
|---|---|
| 8 | |
| Theorems | 0 |
| Total | 8 |
(root)
Definitions
| Name | Category | Theorems |
|---|---|---|
CodeUnexpander 📖 | CompOp | — |
SyntaxInstrMap 📖 | CompOp | — |
createLabelInstructionArray 📖 | CompOp | — |
instInhabitedSyntaxInstrMap 📖 | CompOp | — |
instReprSyntaxInstrMap 📖 | CompOp | — |
termToInstr 📖 | CompOp | — |
termToInstrMap 📖 | CompOp | — |
termToLabelMap 📖 | CompOp | — |
---