Type Definition esp_idf_sys::timer_idx_t

type timer_idx_t = u32;

@brief Select a hardware timer from timer groups