)]}'
{
  "id": "e2bab98d360b3da261cf608caa402da89b9c5e93",
  "repo": "tint",
  "revision": "fc792989e1d03ea7c37efbfcc42cea06c45ccd3e",
  "path": "src/sem/info.cc"
}