Module type Aux.PRIOQUEUE

module type PRIOQUEUE = sig .. end

Priority queues with minimal elements on top.

type 'a t

val make_empty : leq:('a -> 'a -> bool) -> 'a t

val of_list : leq:('a -> 'a -> bool) -> 'a list -> 'a t

val insert : 'a t -> 'a -> 'a t

val peek : 'a t -> 'a

val extract : 'a t -> 'a * 'a t

val map : leq:('b -> 'b -> bool) ->
       monotone:('a -> 'b) -> 'a t -> 'b t

exception Queue_is_empty

val is_empty : 'a t -> bool