(title, names, indent=" ")
| 588 | merged[name] = init_val |
| 589 | |
| 590 | def pp(title, names, indent=" "): # Just pretty-printing |
| 591 | if names: |
| 592 | return f"{title}:\n" + "\n".join(f"{indent}{k}" for k in sorted(names)) |
| 593 | else: |
| 594 | return "" |
| 595 | |
| 596 | # Now, if there are keys that only exist in inited or loaded, be helpful: |
| 597 | not_in_loaded = inited_flat.keys() - loaded_flat.keys() |