Type Definition rpi_pico_sdk::gpio_irq_callback_t

type gpio_irq_callback_t = Option<unsafe extern "C" fn(gpio: uint, events: u32)>;