A memory buffer which keeps its stored elements in an order so that each stored element satisfies the heap property established by a sort function.
This reference sematics type can be used as underlaying storage of data structures leveraging on a Heap as their backed storage system.