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

export default _