Searched refs:table_header (Results 1 – 2 of 2) sorted by relevance
110 table_header = textwrap.dedent("""115 parts = [warning, table_header]
319 const char *table_header) { in emitter_dict_begin() argument326 emitter_printf(emitter, "%s\n", table_header); in emitter_dict_begin()