let
size (heap: heap) : int =
heap.hp_length