[][src]Type Definition esp32::rtcio::rtc_gpio_pin12_reg::RTC_GPIO_PIN12_INT_TYPE_R

type RTC_GPIO_PIN12_INT_TYPE_R = R<u8, u8>;

Reader of field RTC_GPIO_PIN12_INT_TYPE