)]}'
{
  "id": "cd2a6abc29493d7b2fc2e5bb83eb3e3409a12669",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4800e18125a10792ed31e51ab99d2d16f86ae7f5",
      "name": "BorrowedAnnotation.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5325a57b13399c8e4366d4f318521f2359cc1d77",
      "name": "ClosedTermCache.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "be7e357e7652775415b84fe221a133165c3e4748",
      "name": "ConstFolding.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "59d7cec27594ce92064fdf92238738638995f638",
      "name": "ExportAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c61be64b25a74a0ba0f0e627e9ee2c78bf01361f",
      "name": "ExternAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8a1dbbaec8c595a2de0c34bd348ed4581c09e244",
      "name": "IR.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ded9aa3ba1ed63eae9adf1cec6f5026809e3fd75",
      "name": "IR"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5be302e786519d49c9048f46c6a781cbb8b6b26a",
      "name": "ImplementedByAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b292abb6c8a262633004b4a5faa0674e41537c06",
      "name": "InitAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ef4f9615154073cda41b6e93288d67bc0082363f",
      "name": "InlineAttrs.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f2d22b24b771750e0dba06f8fd8e81a4539c1c97",
      "name": "NameMangling.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9a185da07451e7e6971315270bf898508179372c",
      "name": "NeverExtractAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1e70ca080a168bc63a0abc1fd6c39befa10f0e9c",
      "name": "Specialize.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "76e67f585cee498a527cdfce66133e7fb2422c48",
      "name": "Util.lean"
    }
  ]
}