Implementação do Visitor para o prTy