)]}'
{
  "id": "c55712e0b24365fba99392842c5e63d606a9eced",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "ebec3626d78ba9c7e56e86108e9c2db0d0ea1de1",
      "name": "Format.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f77def6b24fc2aa129309618c4dd30afdb23ca40",
      "name": "Json.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9ec6e23947a77b50431f30aff5bea18b9eda8101",
      "name": "Json"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "811e10add4cc2959110e0b4f52be8f588c5daa35",
      "name": "JsonRpc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fee7652bcea6e977c900f1b38249d3f1ddc31691",
      "name": "KVMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "978a0606f887ec1bc9721be0944ec0efb857c317",
      "name": "LBool.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "17df6370add80567cdf6c120a923ad6948667592",
      "name": "LOption.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1d50d14bd413dead20dcace19089f603fd3d075e",
      "name": "Lsp.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "41423e0b6182436f0eb23e50a403a2c0cc2d2065",
      "name": "Lsp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4f80d525bc3ef62c8b55a2e71b8ac014426b31df",
      "name": "Name.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "113ee7e1363836e6882790a7fecf04dc5cb72fa6",
      "name": "NameTrie.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "02109c7c71e4164f2351c957c21a4a142bc7ba89",
      "name": "Occurrences.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "77a03a822590c7e03653300a3d5fce393454c7bb",
      "name": "OpenDecl.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8e45e4806ef2b2bc3202456938301a632f5923ab",
      "name": "Options.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fa520111d4477af68ec93146dc4fe4b4979f6c0e",
      "name": "Position.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6f10c4eb76e45596ea3ed218e4c194972a565d42",
      "name": "PrefixTree.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "07021ca686dc5a75b7a5ac0dc12e8a72a246c0ff",
      "name": "SMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3d76ce4d8aeee21be456c89bc70a11392e471841",
      "name": "Trie.lean"
    }
  ]
}