riot_sys::bindgen

Constant LED_NUMOF

Source 
pub const LED_NUMOF: u32 = 4;