)]}'
{
  "commit": "d82844af61821d21138a3643dda4431bf9c5dd2b",
  "tree": "c6dd63c5853760ac8b450495cad185fdc27ba342",
  "parents": [
    "0072d13bd40aef791090d1e3e964413f1176162e"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 06 10:03:11 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 06 10:09:06 2024 -0800"
  },
  "message": "fix: fold raw `Nat` literals at `dsimp`\n\ncloses #2916\n\nRemark: this PR also renames `Expr.natLit?` \u003d\u003d\u003e `Expr.rawNatLit?`.\nMotivation: consistent naming convention: `Expr.isRawNatLit`.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0bdaaa4131ed731dd521d80458f25b3300a8505e",
      "old_mode": 33188,
      "old_path": "src/Lean/Expr.lean",
      "new_id": "0db02e1705f21811bac41f2c4b8e706f557a2e23",
      "new_mode": 33188,
      "new_path": "src/Lean/Expr.lean"
    },
    {
      "type": "modify",
      "old_id": "aa20e6a5aba01c5d06f32807366e49cd4af18c10",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Reduce.lean",
      "new_id": "e5144d08a5b853a251d86461f2175fa39275c4fd",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Reduce.lean"
    },
    {
      "type": "modify",
      "old_id": "0ad49a6f765828d767ee93fbda3686b113688799",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Main.lean",
      "new_id": "ecd1ca67ae058cb37c1d68400c1f307fc3599c6a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Main.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "f90249abe8434e287536eeae83006b9704582cdf",
      "new_mode": 33188,
      "new_path": "tests/lean/run/2916.lean"
    },
    {
      "type": "modify",
      "old_id": "431aaecdc5d2e896ca80ebd5246d786b20ea1416",
      "old_mode": 33188,
      "old_path": "tests/lean/run/maze.lean",
      "new_id": "23c2f64c2912b3fbe814a50621826d0492357fe2",
      "new_mode": 33188,
      "new_path": "tests/lean/run/maze.lean"
    },
    {
      "type": "modify",
      "old_id": "230835f6ab4cfebdaa392c7a9210960e0e0aeda7",
      "old_mode": 33188,
      "old_path": "tests/lean/run/meta2.lean",
      "new_id": "7f7a9dbf2ffb1c98ecb85a1b81123c7c88d57413",
      "new_mode": 33188,
      "new_path": "tests/lean/run/meta2.lean"
    }
  ]
}