sig
  type elt = int
  type t
  val create :
    (Priority_queue.elt -> Priority_queue.elt -> int) -> Priority_queue.t
  val is_empty : Priority_queue.t -> bool
  val insert : Priority_queue.t -> Priority_queue.elt -> unit
  val pop : Priority_queue.t -> Priority_queue.elt
  val promote : Priority_queue.t -> Priority_queue.elt -> unit
  val clear : Priority_queue.t -> unit
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.