push-top ( value prio heap -- newheap )

Vocabulary

persistent.heaps.private

Inputs

value	an object
prio	an object
heap	an object

Outputs

newheap

an object

Definition

USING: accessors kernel persistent.heaps ;

IN: persistent.heaps.private

: push-top ( value prio heap -- newheap )
    [ [ value>> ] [ prio>> ] [ right>> ] tri pheap-push ]
    [ left>> ] bi <branch> ;