Method pushFollows

www/js/_hyperscript.js:1213–1215

(...strs)

      return this.tokens.popFollow();
    }
    pushFollows(...strs) {
      return this.tokens.pushFollows(...strs);
    }
    popFollows(count) {
      return this.tokens.popFollows(count);
    }