declare const _: {
  name: 'Dafny'
  type: 'programming'
  aceMode: 'text'
  extensions: ['.dfy']
  languageId: 969323346
  tmScope: 'text.dfy.dafny'
  color: '#FFEC25'
  interpreters: ['dafny']
}
export = _