push-top ( value prio heap -- newheap )


Vocabulary
persistent.heaps.private

Inputs
valuean object
prioan object
heapan object


Outputs
newheapan object


Definition