[−][src]Constant rpi_pico_sdk_sys::NUM_TIMERS

pub const NUM_TIMERS: u32 = 4;