My understanding is that Heap is now Pairing_heap, located
in a sublibrary (namely core_kernel.pairing_heap).
For some reason, we missed this move while preparing the
changelog for v0.13; sorry for the inconvenience.
1 Like