declare const _: {
  name: 'Lean'
  type: 'programming'
  extensions: ['.lean', '.hlean']
  tmScope: 'source.lean'
  aceMode: 'text'
  languageId: 197
}
export = _