PSQueues – Priority Search Queues
Lean: Hale.PSQueues | Haskell: psqueues
Priority search queues (IntPSQ) for efficient priority-indexed operations.
Files
Hale/PSQueues/Data/IntPSQ.lean– IntPSQ implementation
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
Lean: Hale.PSQueues | Haskell: psqueues
Priority search queues (IntPSQ) for efficient priority-indexed operations.
Hale/PSQueues/Data/IntPSQ.lean – IntPSQ implementation