Existe uma definição objetiva? É implementado como um fragmento do código-fonte do python? Em caso afirmativo, alguém poderia produzir as linhas de código exatas? Tem todos os idiomas com, digamos, um protocolo 'it' de iteração de declaração próprio?