)]}'
{
  "id": "438f92d3f6df654dbd6bb1a131fd5a15997620e6",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "dec70ee4980b571229f784a33d72b421ede3b1d5",
  "path": "src/kernel/inductive.cpp"
}