sig
  type t = Search.heapterm
  val compare : Search.heapterm -> Search.heapterm -> int
end