Constant esp_idf_sys::RTCIO_GPIO13_CHANNEL

source ยท 
pub const RTCIO_GPIO13_CHANNEL: u32 = 14;