Forward
📁 Source: Aesop/Rule/Forward.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsForwardRule, destruct, instBEq, instHashable, instOrd, instToString, name, prio, term, toForwardRuleInfo, ForwardRulePriority, compare, instOrd, instToString, penalty?, successProbability?, instBEqForwardRulePriority, beq, instInhabitedForwardRule, default, instInhabitedForwardRulePriority, default | 22 |
| Theorems | 0 |
| Total | 22 |
Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
ForwardRule 📖 | CompData | — |
ForwardRulePriority 📖 | CompData | — |
instBEqForwardRulePriority 📖 | CompOp | — |
instInhabitedForwardRule 📖 | CompOp | — |
instInhabitedForwardRulePriority 📖 | CompOp | — |
Aesop.ForwardRule
Definitions
| Name | Category | Theorems |
|---|---|---|
destruct 📖 | CompOp | — |
instBEq 📖 | CompOp | — |
instHashable 📖 | CompOp | — |
instOrd 📖 | CompOp | — |
instToString 📖 | CompOp | — |
name 📖 | CompOp | — |
prio 📖 | CompOp | — |
term 📖 | CompOp | — |
toForwardRuleInfo 📖 | CompOp | — |
Aesop.ForwardRulePriority
Definitions
| Name | Category | Theorems |
|---|---|---|
compare 📖 | CompOp | — |
instOrd 📖 | CompOp | — |
instToString 📖 | CompOp | — |
penalty? 📖 | CompOp | — |
successProbability? 📖 | CompOp | — |
Aesop.instBEqForwardRulePriority
Definitions
| Name | Category | Theorems |
|---|---|---|
beq 📖 | CompOp | — |
Aesop.instInhabitedForwardRule
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
Aesop.instInhabitedForwardRulePriority
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
---