reroot-left ( value prio left right -- heap )


Vocabulary
persistent.heaps.private

Inputs and outputs
valuean object
prioan object
leftan object
rightan object
heapan object


Definition


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