Documentation: ninja.parser.lexer