var _lexer_8cpp =
[
    [ "DIGITS", "_lexer_8cpp.html#a28c8bd90ea71ec24e5f43f413a9ee8b4", null ],
    [ "IDENTIFIERS", "_lexer_8cpp.html#a2f45e4037b2089a3c1ac9f7ad664d2f6", null ],
    [ "LETTERS", "_lexer_8cpp.html#ab19b99692e802c4a2e44884ec87713bb", null ],
    [ "WHITESPACE", "_lexer_8cpp.html#abfa0d183e035eb9705b5faec98294d0f", null ]
];