module Lwt_pqueue:sig
..end
A priority queue maintains, in the abstract sense, a set of elements in order, and supports fast lookup and removal of the first ("minimum") element. This is used in Lwt for organizing threads that are waiting for timeouts.
The priority queues in this module preserve "duplicates": elements that
compare equal in their order.
module type OrderedType =sig
..end
module type S =sig
..end
module Make: