(dct)
| 139 | |
| 140 | |
| 141 | def gen(dct): |
| 142 | out = io.StringIO() |
| 143 | out.write(HEADER) |
| 144 | missing = set() |
| 145 | gen_block(dct, "", set(), missing, out) |
| 146 | missing_labels = "\n".join(m for m in sorted(missing)) |
| 147 | out.write(FOOTER.format(missing=missing_labels)) |
| 148 | return out |
| 149 | |
| 150 | |
| 151 | def gen_headers(headers): |