[ library(heaps) | Reference Manual | Alphabetic Index ]
min_of_heap(+Heap, ?Key, ?Datum)
returns the Key-Datum pair at the top of the heap
Description
returns the Key-Datum pair at the top of the heap (which is of
course the pair with the smallest Key), but does not remove it
from the heap. It fails if the heap is empty.