Function push

server/src/main/resources/static/dcm/react.development.js:2500–2504

(heap, node)

  }

  function push(heap, node) {
    var index = heap.length;
    heap.push(node);
    siftUp(heap, node, index);
  }
  function peek(heap) {
    var first = heap[0];
    return first === undefined ? null : first;