[][src]Type Definition esp8266::io_mux::gpio_pin12::GPIO_PIN12_INT_TYPE_R

type GPIO_PIN12_INT_TYPE_R = R<u8, u8>;

Reader of field GPIO_PIN12_INT_TYPE