riot_sys::bindgen

Constant GPIO_DIR_PIN13_Pos

Source 
pub const GPIO_DIR_PIN13_Pos: u32 = 13;