Function eof

js/SCAST.js:217–219

()

            return prev_id
        }
        function eof() {
            return peek() == null;
        }
    }
    
    function parse(input) {