Module type PrioQueue.S

module type S = sig .. end

type t 

type key 

type data 

exception Empty

val create : unit -> t

val clear : t -> unit

val is_empty : t -> bool

val top : t -> data

val pop : t -> data

val push : key -> data -> t -> unit

val string_of : t -> string

val remove : data -> t -> unit