Module PQueue

module PQueue: sig .. end
Priority queue definitions and implementation

module type PQ = sig .. end
The signature for a priority queue type

Priority Queue Implementations


module ListImpl: PQ 
A priority queue implementation based on sorted lists
module HeapImpl: PQ 
A priority queue implementation using a binary heap

Heapsort


module Heapsort: 
functor (PQ : PQ) -> sig .. end
A heapsort implementation using the given priority queue implementation