Method getPush

lib/script/script.js:2732–2735

(index)

   */

  getPush(index) {
    const op = this.get(index);
    return op ? op.toPush() : null;
  }

  popPush() {
    const op = this.pop();