)]}'
{
  "id": "9e315456f7f230cc7981710d47fb902ad13f67d9",
  "repo": "tint",
  "revision": "4cd5eea87e19e4a33894bc67978aae196fdbef78",
  "path": "src/sem/function.cc"
}