sig type t val compare : Heap.OrderType.t -> Heap.OrderType.t -> int end