Searched refs:write_user_types (Results 1 – 1 of 1) sorted by relevance
760 static void write_user_types(FILE *header) in write_user_types() function1838 write_user_types(header); in write_header()