Invalidation-Free Binary Heaps, from DataStructures.jl - View it on GitHub