declare const _: {
  name: 'Boogie'
  type: 'programming'
  aceMode: 'text'
  extensions: ['.bpl']
  languageId: 955017407
  tmScope: 'source.boogie'
  color: '#c80fa0'
  interpreters: ['boogie']
}
export = _