singleton-sift-down ( value prio singleton empty -- heap )


Vocabulary
persistent.heaps.private

Inputs
valuean object
prioan object
singletonan object
emptyan object


Outputs
heapan object


Definition