val lexer : Lexing.lexbuf -> Parser.token