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