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

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


Vocabulary
persistent.heaps

Inputs and outputs
valuean object
prioa priority
heapa persistent heap
newheapa new persistent heap


Word description
Creates a new persistent heap also containing the given object of the given priority.

Definition

GENERIC: pheap-push ( value prio heap -- newheap )


Methods