sig
  type t
  val compare : Pqueue.OrderedType.t -> Pqueue.OrderedType.t -> int
end