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