)]}'
{
  "commit": "b0ce3c4a684c5f0c8b5ae33fa5ab26b43f88c5f1",
  "tree": "54e6ad89d6a29418b9264a342f6fb50c1013069a",
  "parents": [
    "df9cdcd1b7cf7863680672d147ab09394104f827"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Sep 02 14:03:57 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Sep 02 14:03:57 2024 -0700"
  },
  "message": "chore: use `Expr.numObjs` instead of `lean_expr_size_shared`\n\nRemark: declarations like `sizeWithSharing` must be in `IO` since they\nare not functions.\n\nThe commit also uses the more efficient `ShareCommon.shareCommon\u0027`.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "166eac5ee26bbd2e7bbed175357a296b3a2192b1",
      "old_mode": 33188,
      "old_path": "src/Lean/Expr.lean",
      "new_id": "85e374e52a16f64092a790a4cf5b7d75aa1bcea4",
      "new_mode": 33188,
      "new_path": "src/Lean/Expr.lean"
    },
    {
      "type": "modify",
      "old_id": "da12b25b747e4d1298963055570e093aefc6712e",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter.lean",
      "new_id": "d0515d37b9b5701f17ce15575a978472c6f92573",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter.lean"
    },
    {
      "type": "modify",
      "old_id": "34147ecb40e37f6df3a9fec59fb24070453450f5",
      "old_mode": 33188,
      "old_path": "src/kernel/for_each_fn.cpp",
      "new_id": "101e64215b22da2fe522200cdb51b59bae321672",
      "new_mode": 33188,
      "new_path": "src/kernel/for_each_fn.cpp"
    }
  ]
}