Constant dotdoteq_in_patterns 

pub const dotdoteq_in_patterns: Symbol;