sig
  type elt
  type t
  val create : Index.PriorityQueue.elt -> Index.PriorityQueue.t
  val length : Index.PriorityQueue.t -> int
  val is_empty : Index.PriorityQueue.t -> bool
  val mem : Index.PriorityQueue.t -> Index.PriorityQueue.elt -> bool
  val head : Index.PriorityQueue.t -> Index.PriorityQueue.elt
  val enqueue : Index.PriorityQueue.t -> Index.PriorityQueue.elt -> unit
  val dequeue : Index.PriorityQueue.t -> Index.PriorityQueue.elt
  val drop : Index.PriorityQueue.t -> unit
  val priority : Index.PriorityQueue.t -> Index.PriorityQueue.elt -> float
  val inc_priority :
    Index.PriorityQueue.t -> Index.PriorityQueue.elt -> float -> unit
  val scale : Index.PriorityQueue.t -> float -> unit
end

---

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