declare const _: {
  name: 'Promela'
  type: 'programming'
  aceMode: 'text'
  extensions: ['.pml']
  languageId: 441858312
  tmScope: 'source.promela'
  color: '#de0000'
}
export = _