token: function (s) { // whitespace-eating token return function (s) { return o.rtoken(new RegExp("^\\s*" + s + "\\s*"))(s); }; }
token: function (s) { // whitespace-eating token return o.rtoken(new RegExp("^\\s*" + s + "\\s*")); }