esp_idf_hal::sys

Constant ledc_timer_t_LEDC_TIMER_MAX

Source 
pub const ledc_timer_t_LEDC_TIMER_MAX: u32 = 4; // 4u32