core.js
function txt(text) {
        var name = '"' + text.replace(/"/gm, '\\"') + '"';
        return new Pattern(name, function (str, pos) {
            if (str.substr(pos, text.length) == text)
                return { res: text, end: pos + text.length };
        });
    }
function txt(text) {
        var name = '"' + text.replace(/"/gm, '\\"') + '"';
        return new Pattern(name, function (str, pos) {
            if (str.substr(pos, text.length) == text)
                return { res: text, end: pos + text.length };
        });
    }
function txt ( text ) { var name = '"' + text . replace ( / " / gm , '\\"' ) + '"' ; return new Pattern ( name , function ( str , pos ) { if ( str . substr ( pos , text . length ) == text ) return { res : text , end : pos + text . length } ; } ) ; }
parses a known text
parses a known text