\manpage {\_p\_queue} {P,I,impl} {PQueues with Implementation Parameter} 
 
\definition
An instance of type \name\ is a priority queue implemented by data type $impl$.
$impl$ must be one of the priority queue implementations listed in
section \ref{Implementations Priority Queues} or a user defined data structure
fulfilling the specification given in section \ref{User Implementations
Priority Queues}. Note that the priority type $P$ must linearly ordered.

 
