✏️ Editing: pytypedefs.h