Function read_string

js/SCASTPY.js:129–139

(ch)

            return str;
        }
        function read_string(ch) {
            return { 
                type: "str", 
                value: read_escaped(ch) ,
                poi:{
                    line:start.line,
                    start:start.column,
                    end:input.poi().column
                }
            };
        }
        function read_indentation(predicate) {
            var str = "";
            input.next()