sig
  type 'a t
  val compare :
    'a Pqueue.OrderedPolyType.t -> 'b Pqueue.OrderedPolyType.t -> int
end