Vocabulary
persistent.heaps.private

Inputs
valuean object
prioan object
leftan object
rightan object


Outputs
heapan object


Definition


:: reroot-left ( value prio left right -- heap )
left value>> left prio>> value prio left left>> left right>>
sift-down right <branch> ;