Constant obs_number_type_OBS_NUMBER_SLIDER

pub const obs_number_type_OBS_NUMBER_SLIDER: obs_number_type = 1;