micropython esp32外部中断

import time
from machine import Pin

#定义PIN引脚对象
# button = Pin(19, Pin.IN, Pin.PUll_UP)  # 使用上拉电阻  
# button = Pin(19, Pin.IN, Pin.PUD_UP)  # 使用上拉电阻 
button = Pin(19, Pin.IN, Pin.PULL_UP)
led = Pin(2,Pin.OUT)

#定义外部中断函数
def button_irq(button):
    #按键消抖
    time.sleep_ms(10)
    if button.value()==0:
        led.value(not led.value())
#绑定中断函数
button.irq(button_irq, Pin.IRQ_FALLING)