sig
  type t
  val compare : Heap.OrderedType.t -> Heap.OrderedType.t -> int
  val to_string : Heap.OrderedType.t -> string
end