[][src]Type Definition esp32::rtcio::rtc_gpio_pin13_reg::RTC_GPIO_PIN13_INT_TYPE_R

type RTC_GPIO_PIN13_INT_TYPE_R = R<u8, u8>;

Reader of field RTC_GPIO_PIN13_INT_TYPE