from machine import Pin
button=Pin(5,Pin.IN)
redled=Pin(2,Pin.OUT)
greenled=Pin(3,Pin.OUT)
while True:
    if button.value()==0:
        redled.value(1)
    else:
        redled.value(0)
        print("redled ON")
    if button.value()==1:
        greenled.value(1)
    else:
        greenled.value(0)
        print("greenled ON")