Constant riot_sys::GPIO_DIR_PIN13_Input

source ยท 
pub const GPIO_DIR_PIN13_Input: u32 = 0;