)]}'
{
  "id": "4a0b4d31a0796ef6df72d58e7eacdb5efff0fd53",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "4ca6a1cb831ea57d89e1985c2c7d01b04a5318cb",
      "name": "BUILD"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b0a1221107e7f9fee701638a0df61abaa67f1576",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "203da5135eb75f7168e90b479ffa609632a68f44",
      "name": "formal_methods"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c8fbb6af0d2f9470409981a7b8eac577b7239ae6",
      "name": "inference"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "54daf2bd5f49fba40910f397450867c5d93c5798",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8e156bba56d9a53755f73050cff442678ca55561",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "adcd9c81bf2d0b5700653c3facf549306c55b62b",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ca94c8a564ff222552ee9ada72377ed4042e8131",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "61eb15d3342705157d121b950837d679e4f9c1b1",
      "name": "pointer_nullability_analysis_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b33fdf56d6b01d0e0edde8048dfbeb4295790971",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "806166a3c527f1170d1fcd47dde56b1322792720",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2a27d8e2e665e61906eff7e60f5ab0553ff94140",
      "name": "pointer_nullability_lattice.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "00b1720aa6ce4553e2efae65677de198f3da1895",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4e670765ac3465153f92b8e698faa960bb4d3f25",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "075b5acaad3260b9d71622ed7924103291fdfa9e",
      "name": "pointer_nullability_matchers_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3e54939eb057a99691321ce28cc7ee70225681ab",
      "name": "pointer_nullability_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "87f02fd3d24fa3e349a3b8d8bc436983b2e37398",
      "name": "proto_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0e63a5f002f90f3b4a9451f05b8a4e271c7e7339",
      "name": "proto_matchers.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5ff0627df9b5bd12d8e90f87697b9a949c5f15bf",
      "name": "test"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "af998f3d1ea85b1c0a716c6995b727ee5a313cdc",
      "name": "type_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "54d5e9676ebbf8bc82fcfb33220a61d2429e45e9",
      "name": "type_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e058bf3872f1af85ea198889a1496d3d5935f616",
      "name": "type_nullability_test.cc"
    }
  ]
}