declare const _: {
  name: 'Rocq Prover'
  type: 'programming'
  color: '#d0b68c'
  extensions: ['.v', '.coq']
  tmScope: 'source.coq'
  aceMode: 'text'
  languageId: 69
  aliases: ['coq', 'rocq']
}
export = _