Searched refs:builtin_header_filename (Results 1 – 1 of 1) sorted by relevance
2051 builtin_header_filename, symboltable_cpp_filename, operator_header_filename, argument2209 with open(builtin_header_filename, 'wt') as outfile_header: