Function is_str

js/SCAST.js:248–251

()

            return tok.type=='num';
        }
        function is_str(){
            var tok = input.peek();
            return tok.type=='str';
        }
        
        function skip_punc(ch) {
            if (is_punc(ch)) input.next();