Def BinaryHeap.size

Modification history