nb_heap_empty/1

nb_heap_empty(+ Heap)*

Succeeds if Heap is empty.