package alt-ergo-lib

The type of elements of the heap.

The type of heaps.

Create a heap with the given initial size.

Is the heap empty ?

Insert a new element in the heap.

Remove the minimum element from the heap and return it.

• raises Not_found

  if the heap is empty.