push-in ( value prio heap -- newheap )


Vocabulary
persistent.heaps.private

Inputs and outputs
valuean object
prioan object
heapan object
newheapan object


Definition