declare const _: {
  "name": "Lean 4",
  "type": "programming",
  "group": "Lean",
  "extensions": [
    ".lean"
  ],
  "tmScope": "source.lean4",
  "aceMode": "text",
  "languageId": 455147478
}
export = _