)]}'
{
  "commit": "96dd4e84c15c0b61144d8044fa0917ccc8e4fef9",
  "tree": "f20f1ef60a0f5e718ee0e15c171bc94833b47a4e",
  "parents": [
    "c0b021e196e0f82ae51db12a771b18d2b9f69bfa"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Oct 15 18:33:06 2023 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Oct 15 19:14:07 2023 -0700"
  },
  "message": "feat: support for ground terms at `DiscrTree.lean`\n\nWIP for discussing with @joehendrix\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6fb8ccf0818b7a8b9605e7e08dc854972d4e485d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/DiscrTree.lean",
      "new_id": "4c305e0e5015da27b3e0598cca5dfabfd3cf7418",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/DiscrTree.lean"
    },
    {
      "type": "modify",
      "old_id": "e44e4a311060a852e82aad78dd4f30cefc5bdb8a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/DiscrTreeTypes.lean",
      "new_id": "b22fc400fb97459c86e2f482cf33472f1a0afeff",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/DiscrTreeTypes.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "f660de0b5f8b6b91c024eaf6b4f7af4775d692be",
      "new_mode": 33188,
      "new_path": "tests/lean/run/ground.lean"
    }
  ]
}