)]}'
{
  "commit": "d0617ff1ee3bf408182259d5d1c615e505d2e929",
  "tree": "9992291fbcad6fb3d98418d9e76216e0a2955068",
  "parents": [
    "9757a7be53deb894e7a92c550689f93211ef7391"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Aug 27 19:09:08 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Aug 27 19:09:08 2025 -0700"
  },
  "message": "feat: helper `AC.Seq` functions\n\nThis PR adds helper functions for the `AC.Seq` type.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "77e62e6aab46f957143fe792b1d9fda9afcda551",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/AC.lean",
      "new_id": "a37c0838cd879f04b6e3b00db7cc99fab6bae172",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/AC.lean"
    },
    {
      "type": "modify",
      "old_id": "316bde109725ce95d90862c9891ae315419ea556",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Seq.lean",
      "new_id": "c393f2a9e659149dcda02ecbca487ab338bc21a5",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Seq.lean"
    }
  ]
}