Functor PrioQueues.Make

module Make: 
functor (Ord : ORD) -> S 
  with type key = Ord.t

type 'a t 

type key 

exception Empty

val create : unit -> 'a t

val clear : 'a t -> unit

val is_empty : 'a t -> bool

val top : 'a t -> 'a

val pop : 'a t -> 'a

val push : key -> 'a -> 'a t -> unit

val string_of : ('a -> string) -> 'a t -> string