Name

Statistics

Metric	Count
Definitions `BuilderName`, `instOrd`, `instToString`, `DisplayRuleName`, `instCoeRuleName`, `instToJson`, `instToString`, `PhaseName`, `instOrd`, `instToString`, `RuleName`, `builder`, `compare`, `hash`, `instBEq`, `instHashable`, `instOrd`, `instToJson`, `instToString`, `name`, `phase`, `quickCompare`, `scope`, `ScopeName`, `instOrd`, `instToString`, `getRuleNameForExpr`, `instBEqBuilderName`, `beq`, `instBEqDisplayRuleName`, `beq`, `instBEqPhaseName`, `beq`, `instBEqScopeName`, `beq`, `instHashableBuilderName`, `hash`, `instHashableDisplayRuleName`, `hash`, `instHashablePhaseName`, `hash`, `instHashableScopeName`, `hash`, `instInhabitedBuilderName`, `default`, `instInhabitedDisplayRuleName`, `default`, `instInhabitedPhaseName`, `default`, `instInhabitedRuleName`, `default`, `instInhabitedScopeName`, `default`, `instOrdDisplayRuleName`, `ord`, `instToJsonBuilderName`, `toJson`, `instToJsonPhaseName`, `toJson`, `instToJsonScopeName`, `toJson`	61
Theorems	0
Total	61

Aesop

Definitions

Name	Category	Theorems
`BuilderName` 📖	CompData	—
`DisplayRuleName` 📖	CompData	—
`PhaseName` 📖	CompData	—
`RuleName` 📖	CompData	—
`ScopeName` 📖	CompData	—
`getRuleNameForExpr` 📖	CompOp	—
`instBEqBuilderName` 📖	CompOp	—
`instBEqDisplayRuleName` 📖	CompOp	—
`instBEqPhaseName` 📖	CompOp	—
`instBEqScopeName` 📖	CompOp	—
`instHashableBuilderName` 📖	CompOp	—
`instHashableDisplayRuleName` 📖	CompOp	—
`instHashablePhaseName` 📖	CompOp	—
`instHashableScopeName` 📖	CompOp	—
`instInhabitedBuilderName` 📖	CompOp	—
`instInhabitedDisplayRuleName` 📖	CompOp	—
`instInhabitedPhaseName` 📖	CompOp	—
`instInhabitedRuleName` 📖	CompOp	—
`instInhabitedScopeName` 📖	CompOp	—
`instOrdDisplayRuleName` 📖	CompOp	—
`instToJsonBuilderName` 📖	CompOp	—
`instToJsonPhaseName` 📖	CompOp	—
`instToJsonScopeName` 📖	CompOp	—

Aesop.BuilderName

Definitions

Name	Category	Theorems
`instOrd` 📖	CompOp	—
`instToString` 📖	CompOp	—

Aesop.DisplayRuleName

Definitions

Name	Category	Theorems
`instCoeRuleName` 📖	CompOp	—
`instToJson` 📖	CompOp	—
`instToString` 📖	CompOp	—

Aesop.PhaseName

Definitions

Name	Category	Theorems
`instOrd` 📖	CompOp	—
`instToString` 📖	CompOp	—

Aesop.RuleName

Definitions

Name	Category	Theorems
`builder` 📖	CompOp	—
`compare` 📖	CompOp	—
`hash` 📖	CompOp	—
`instBEq` 📖	CompOp	—
`instHashable` 📖	CompOp	—
`instOrd` 📖	CompOp	—
`instToJson` 📖	CompOp	—
`instToString` 📖	CompOp	—
`name` 📖	CompOp	—
`phase` 📖	CompOp	—
`quickCompare` 📖	CompOp	—
`scope` 📖	CompOp	—

Aesop.ScopeName

Definitions

Name	Category	Theorems
`instOrd` 📖	CompOp	—
`instToString` 📖	CompOp	—

Aesop.instBEqBuilderName

Definitions

Name	Category	Theorems
`beq` 📖	CompOp	—

Aesop.instBEqDisplayRuleName

Definitions

Name	Category	Theorems
`beq` 📖	CompOp	—

Aesop.instBEqPhaseName

Definitions

Name	Category	Theorems
`beq` 📖	CompOp	—

Aesop.instBEqScopeName

Definitions

Name	Category	Theorems
`beq` 📖	CompOp	—

Aesop.instHashableBuilderName

Definitions

Name	Category	Theorems
`hash` 📖	CompOp	—

Aesop.instHashableDisplayRuleName

Definitions

Name	Category	Theorems
`hash` 📖	CompOp	—

Aesop.instHashablePhaseName

Definitions

Name	Category	Theorems
`hash` 📖	CompOp	—

Aesop.instHashableScopeName

Definitions

Name	Category	Theorems
`hash` 📖	CompOp	—

Aesop.instInhabitedBuilderName

Definitions

Name	Category	Theorems
`default` 📖	CompOp	—

Aesop.instInhabitedDisplayRuleName

Definitions

Name	Category	Theorems
`default` 📖	CompOp	—

Aesop.instInhabitedPhaseName

Definitions

Name	Category	Theorems
`default` 📖	CompOp	—

Aesop.instInhabitedRuleName

Definitions

Name	Category	Theorems
`default` 📖	CompOp	—

Aesop.instInhabitedScopeName

Definitions

Name	Category	Theorems
`default` 📖	CompOp	—

Aesop.instOrdDisplayRuleName

Definitions

Name	Category	Theorems
`ord` 📖	CompOp	—

Aesop.instToJsonBuilderName

Definitions

Name	Category	Theorems
`toJson` 📖	CompOp	—

Aesop.instToJsonPhaseName

Definitions

Name	Category	Theorems
`toJson` 📖	CompOp	—

Aesop.instToJsonScopeName

Definitions

Name	Category	Theorems
`toJson` 📖	CompOp	—

---

← Back to Index