)]}'
{
  "id": "e4c3476e1681506fab744f3cb2df29bbe03612fe",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "d886114afa773ff8c4fbeb61e8a1582f07205cdb",
  "path": "src/kernel/expr.cpp"
}