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

export default _