invariants.core.algo
This is a binary heap that is efficient; all operations are in O(log(n)) smallest first
This is a binary heap that is less efficient than the BinomialHeap.