Constructors
📁 Source: Aesop/Builder/Constructors.lean
Statistics
| Metric | Count |
|---|---|
| 5 | |
| Theorems | 0 |
| Total | 5 |
Aesop.RuleBuilder
Definitions
| Name | Category | Theorems |
|---|---|---|
constructors 📖 | CompOp | — |
constructorsCore 📖 | CompOp | — |
getConstructorsIndexingMode 📖 | CompOp | — |
Aesop.RuleBuilderOptions
Definitions
| Name | Category | Theorems |
|---|---|---|
constructorsIndexTransparency 📖 | CompOp | — |
constructorsTransparency 📖 | CompOp | — |
---