Searched defs:header (Results 1 – 1 of 1) sorted by relevance
78 header = '\n'.join(lines) variable79 header = header.split("static inline CeedInt CeedIntPow", 1)[0] variable85 header = re.sub("va_list", "const char *", header) variable