Vocabulary
persistent.heaps

Inputs and outputs
heapa persistent heap
newheapa new persistent heap


Word description
Creates a new persistent heap with the minimum element removed.

Definition