Constant riot_sys::GPIO_OUTSET_PIN13_Pos

pub const GPIO_OUTSET_PIN13_Pos: u32 = 13;