The PQUEUE signature

Overview

 functor MkSkewBinomialHeapPQ functor MkLeftistHeapPQ 

A priority queue $Q$ is a finite collection of key value pairs that allows insertion of new pairs and lookup and deletion of the minimum key.