Module Async_extended.Priority_queue

type ('elt, 'priority) t

elements with smaller priority number will be poped first

val create : ('b ‑> 'b ‑> int) ‑> ('a, 'b) t
val length : (_, _) t ‑> int
val enqueue : ('a, 'b) t ‑> priority:'b ‑> 'a ‑> unit
val dequeue : ('a, 'b) t ‑> 'a Async.Deferred.t
val iter_and_clear : ('a, 'b) t ‑> f:('a ‑> unit) ‑> unit
val clear : ('a, 'b) t ‑> unit