Constant ledc_timer_bit_t_LEDC_TIMER_BIT_MAX 

pub const ledc_timer_bit_t_LEDC_TIMER_BIT_MAX: ledc_timer_bit_t = 15;