from machine import Pin
import time 

# configurar los pines de salida para los LEDs
pin_rojo = Pin(22, Pin.out) 
pin_amarillo = Pin(27, Pin.out) 
Pin_verde = Pin(28, Pin.out)

# Función para cambiar el estado de los LEDs para el semaforo
def cambiar_semaforo():
    pin_roja.on()
    time.sleep(2) #tiempo en rojo
    pin_rojo.off()
    while true:
      cambiar_semaforo()
      #pin