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