pheap-pop ( heap -- newheap value prio )
Persistent heaps

Prev:	pheap-push ( value prio heap -- newheap )
Next:	pheap-pop* ( heap -- newheap )

Vocabulary
persistent.heaps

Inputs

heap	a persistent heap

Outputs

newheap	a new persistent heap
value	an object
prio	a priority

Word description
Creates a new persistent heap with the minimum element removed, returning that element and its priority.

Definition

USING: kernel ;

IN: persistent.heaps

: pheap-pop ( heap -- newheap value prio )
    [ pheap-pop* ] [ pheap-peek ] bi ;