Уже обсуждали это с вами на Еве. Это прагма называется, специальные инструкции интерпретатору или интегрированной среде разработки. Давали ее, чтобы показать детям, что такое типизация в программировании, так как в питоне динамическая типизация переменных.Считаю, что это было лишним, хотя бы потому, что все это плохо документировано.