Up
module
Priority_queue
:
sig
#
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.Std.Deferred.t
#
val
iter_and_clear : ('a, 'b)
t
->
f:('a
->
unit)
->
unit
#
val
clear : ('a, 'b)
t
->
unit
end