let top_exn t = snd (Heap.top_exn t.heap)