UnsafeQueue

📁 Source: Aesop/Tree/UnsafeQueue.lean

Statistics

Metric	Count
Definitions PostponedSafeRule, output, rule, toUnsafeRule, UnsafeQueue, entriesToMessageData, initial, instEmptyCollection, instInhabited, UnsafeQueueEntry, instOrd, instToString, name, successProbability, instInhabitedPostponedSafeRule, default, instInhabitedUnsafeQueueEntry, default	18
Theorems	0
Total	18

Aesop

Definitions

Name	Category	Theorems
PostponedSafeRule 📖	CompData	—
UnsafeQueue 📖	CompOp	—
UnsafeQueueEntry 📖	CompData	—
instInhabitedPostponedSafeRule 📖	CompOp	—
instInhabitedUnsafeQueueEntry 📖	CompOp	—

Aesop.PostponedSafeRule

Definitions

Name	Category	Theorems
output 📖	CompOp	—
rule 📖	CompOp	—
toUnsafeRule 📖	CompOp	—

Aesop.UnsafeQueue

Definitions

Name	Category	Theorems
entriesToMessageData 📖	CompOp	—
initial 📖	CompOp	—
instEmptyCollection 📖	CompOp	—
instInhabited 📖	CompOp	—

Aesop.UnsafeQueueEntry

Definitions

Name	Category	Theorems
instOrd 📖	CompOp	—
instToString 📖	CompOp	—
name 📖	CompOp	—
successProbability 📖	CompOp	—

Aesop.instInhabitedPostponedSafeRule

Definitions

Name	Category	Theorems
default 📖	CompOp	—

Aesop.instInhabitedUnsafeQueueEntry

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index