)]}'
{
  "commit": "47f3e6bb92015997df72ac88bf53806b52606642",
  "tree": "af7e86c48a5f4809e352e78df19f186ac425cec6",
  "parents": [
    "34d89766467a6e45d91e1b29f1ab8362d240f0d5"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Apr 01 13:45:14 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Apr 01 14:16:35 2024 -0700"
  },
  "message": "chore: fix bad `(\u003c- ...)` occurrences\n\nRemark: some of them were harmless since they were accessing some\nread-only state.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7abba9789516f818f5086741e1222b740945eeb3",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/EmitLLVM.lean",
      "new_id": "cd6a12b456b27ff7c79849cc814ab9433eced41c",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/EmitLLVM.lean"
    },
    {
      "type": "modify",
      "old_id": "98e267c730246547bff4a299dc81f554397e51b5",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/LambdaLifting.lean",
      "new_id": "b93049da6dbeb3023103e252a59cce8ac13f8b67",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/LambdaLifting.lean"
    },
    {
      "type": "modify",
      "old_id": "89f786a36d413f28808c5d77c27f5a3baa5fc897",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinTerm.lean",
      "new_id": "7c5a75c2cd12e966d0910b31a64f34cf46df5e07",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinTerm.lean"
    },
    {
      "type": "modify",
      "old_id": "5d9075471c66dbf0ef7208cb04d70a0eb342a386",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Deriving/DecEq.lean",
      "new_id": "33b6fedb909d786e18ce82683264b929137364bc",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Deriving/DecEq.lean"
    },
    {
      "type": "modify",
      "old_id": "66fe460fb03e4a1fbfd226c6f687ca9c57b8c8d5",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Do.lean",
      "new_id": "aa67ea6cc713a3d407768509627c93122db2a006",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Do.lean"
    },
    {
      "type": "modify",
      "old_id": "fedc1b987304f83afa7c48b09487dd09989fbd88",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Structure.lean",
      "new_id": "d161bf1850cf3c4ae7e3f5cbb6353a2a777f935d",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Structure.lean"
    },
    {
      "type": "modify",
      "old_id": "2545846a8c034c1c84ab442b68ab9ed8af92f03e",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Ext.lean",
      "new_id": "53ec228c83b1a8b7faddcebaa49ef3b9f8cfea85",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Ext.lean"
    },
    {
      "type": "modify",
      "old_id": "5f2f680f29df8a968a9342b0bc0064a8b219444d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/AbstractMVars.lean",
      "new_id": "678824eadd8eb7a917290635c3f4a06409f035fb",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/AbstractMVars.lean"
    },
    {
      "type": "modify",
      "old_id": "4d304e6d59226f09c2aa18a07a69337cb7a3ad31",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Match/MatcherApp/Transform.lean",
      "new_id": "0683b4f8dbcb070ed89cd3f45690b6786edf2762",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Match/MatcherApp/Transform.lean"
    },
    {
      "type": "modify",
      "old_id": "8ebdc1af14a7dc1f1902df74f3977fffd0e079d6",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Rewrites.lean",
      "new_id": "9f39329a0e233b13b44f5ac079363c5cd614b4f8",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Rewrites.lean"
    }
  ]
}