let top_with_key_exn t = Heap.top_exn t.heap