push-in ( 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-in ( value prio heap -- newheap )
    [ 2nip [ value>> ] [ prio>> ] bi ] [ right>> pheap-push ]
    [ 2nip left>> ] 3tri <branch> ;