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