sig
type 'a t
type key
exception Empty
val create : unit -> 'a PrioQueues.S.t
val clear : 'a PrioQueues.S.t -> unit
val is_empty : 'a PrioQueues.S.t -> bool
val top : 'a PrioQueues.S.t -> 'a
val pop : 'a PrioQueues.S.t -> 'a
val push : PrioQueues.S.key -> 'a -> 'a PrioQueues.S.t -> unit
val string_of : ('a -> string) -> 'a PrioQueues.S.t -> string
end