)]}'
{
  "commit": "0eea1e4f35244e5a39adf9fe3edc65e3c6317598",
  "tree": "bf89505af08d4809d4a0b68262f7e0155d86d4fa",
  "parents": [
    "723acce2a7179cd0f3ebb7deb833528cb6226fef"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 24 18:15:18 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 24 18:16:44 2025 -0800"
  },
  "message": "feat: add `Sym.getMaxFVar?`\n\nThis PR adds the function `getMaxFVar?` for implementing `SymM` primitives.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "913c26fd5ef791d64b88b11748da9c8475f22499",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Sym.lean",
      "new_id": "09cc3d0615bc4b6a1194afc2a5617bbe4025bc1c",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Sym.lean"
    },
    {
      "type": "modify",
      "old_id": "503d2c003a8b6a8cf3086be397edbc2b23f45ccf",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Sym/Main.lean",
      "new_id": "67fc9a2a55fe6fc795a6e002f999f5251122045e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Sym/Main.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "e029dc55fd8a2a6be7f1b69996b8273cfb10eb5b",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Sym/MaxFVar.lean"
    },
    {
      "type": "modify",
      "old_id": "b11a1019751effc9c30cf4d5f5da2dc5f21513d3",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Sym/SymM.lean",
      "new_id": "d8b16f8580b8e4d57c1762f028c8ef744550bfdb",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Sym/SymM.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2390f0850ab4d0a999ca99616ffa02a23f02efef",
      "new_mode": 33188,
      "new_path": "tests/lean/run/getMaxFVar.lean"
    }
  ]
}