Module PrioQueues

module PrioQueues: sig .. end

This module provides a Queue that allows to add each element with a priority. The pop operation behaves as follows:

It returns the element with the minimal priority that was added into the queue at first.

module type ORD = sig .. end

module type S = sig .. end

module Make: functor (Ord : ORD) -> S 
  with type key = Ord.t