HandleNumOrIdent
📁 Source: MRiscX/Elab/HandleNumOrIdent.lean
Statistics
| Metric | Count |
|---|---|
| 9 | |
| Theorems | 0 |
| Total | 9 |
(root)
Definitions
| Name | Category | Theorems |
|---|---|---|
checkIfVariableToTerm 📖 | CompOp | — |
mkUInt64Lit 📖 | CompOp | — |
mkUIntOfNat 📖 | CompOp | — |
mkUintOfNat 📖 | CompOp | — |
numOrIdentToSyntax 📖 | CompOp | — |
parseLabelname 📖 | CompOp | — |
parseMriscxNumOrIdent 📖 | CompOp | — |
parseMriscxNumOrIdentToTerm 📖 | CompOp | — |
parseTermToMriscxNumOrIdent 📖 | CompOp | — |
---