Internal
📁 Source: Aesop/Options/Internal.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsOptions', forwardMaxDepth?, generateScript, toOptions, toOptions', instInhabitedOptions', default | 7 |
| Theorems | 0 |
| Total | 7 |
Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
Options' 📖 | CompData | — |
instInhabitedOptions' 📖 | CompOp | — |
Aesop.Options
Definitions
| Name | Category | Theorems |
|---|---|---|
toOptions' 📖 | CompOp | — |
Aesop.Options'
Definitions
| Name | Category | Theorems |
|---|---|---|
forwardMaxDepth? 📖 | CompOp | — |
generateScript 📖 | CompOp | — |
toOptions 📖 | CompOp | — |
Aesop.instInhabitedOptions'
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
---