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