[ 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.