Vocabulary
persistent.heaps

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


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

Definition