let
is_empty (heap: heap) : bool =
heap.hp_length = 0