)]}'
{
  "id": "2a27d8e2e665e61906eff7e60f5ab0553ff94140",
  "repo": "crubit",
  "revision": "9f1e3c7fb30819e4bbb2ee1fcd5bcbb65e6b3e9b",
  "path": "nullability/pointer_nullability_lattice.h"
}