Constant obs_number_type_OBS_NUMBER_SLIDER 

pub const obs_number_type_OBS_NUMBER_SLIDER: obs_number_type = 1;