)]}'
{
  "id": "523e2e1fccd017a585e59bf12f0c8a91c245d4b0",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "5d366a5c975efdb875befe3429e312166cd496f3",
      "name": "ast.dart"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9cb06fbc52d5406baa8c55f672e5e81e8a4b48df",
      "name": "binary"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "76fd5d86946a9eb160300fc021bafc6534eac264",
      "name": "canonical_name.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "51f0730b03d6d3d378496a6b214a61552f764f68",
      "name": "class_hierarchy.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d5f19404ab33ebbe7dec383d6b7d62c6055d29bb",
      "name": "clone.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "551ce7967df75887c07ec1051212f3013cdebc65",
      "name": "coq_annot.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aa8d0f7379d05c1b8cae97c59009de54d85aece6",
      "name": "core_types.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "56f4a9f46a9fdb0f14483728c21b1be170328cdf",
      "name": "error_formatter.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2646fc4e125be3972838e9f1db57dd40b02fa1b1",
      "name": "external_name.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f54993396e0b0fa5c9f3f7f31784250419777157",
      "name": "import_table.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aa2a9030ba91927c6bbbc8ffeaeb13def201785d",
      "name": "kernel.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "abebaa4a4fcc3399e3cc8c3357548dcd61be563a",
      "name": "library_index.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5924ca69ff14699df798c23271405ae4cf63fd35",
      "name": "naive_type_checker.dart"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "30006740209f3e54607fffdd7bd1d5d96b87dac0",
      "name": "src"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3c94df8a783ba294f9db17852b82ccfcdebab2d4",
      "name": "target"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dd9c35a8ecbf8b9876faf948fe14a9e83564d6a8",
      "name": "testing"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9f8c17db7f40f544a2f096a491ae87b0b50f5eba",
      "name": "text"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "53e63e26e7a14e663760e63415d8cbebd3edc37a",
      "name": "transformations"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a8d41d4cb608c7e6334bb5fc91d56c7336dc53c6",
      "name": "type_algebra.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8faae52e43c6ea2b746fbb8480c5a421018719e1",
      "name": "type_checker.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "795f9d4105eca3dc760579df9d91835088133e4d",
      "name": "type_environment.dart"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8e90ad9d2389e1fe0aba3e7f41e1c0a7c2f004bd",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "39ee5406d54975eb9fa623df3448f24a30ce4e47",
      "name": "verifier.dart"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b1a99386c3bfb510f65fddfa8ed386d121e0191b",
      "name": "visitor.dart"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e053dfe474f72854ee32969a143d12499671eb80",
      "name": "vm"
    }
  ]
}