let
max (heap: heap) : data =
heap.hp_heap.(max_index heap)