functor (I : IndexedType) ->
  sig
    type elt = I.t
    type t
    val create : elt -> t
    val length : t -> int
    val is_empty : t -> bool
    val mem : t -> elt -> bool
    val head : t -> elt
    val enqueue : t -> elt -> unit
    val dequeue : t -> elt
    val drop : t -> unit
    val priority : t -> elt -> float
    val inc_priority : t -> elt -> float -> unit
    val scale : t -> float -> unit
  end

---

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