)]}'
{
  "commit": "c279c088c81f0783340e6c7a1e90bec1bd01d292",
  "tree": "258741a5e5c010b2eae7b91b18ca681f0e78fb70",
  "parents": [
    "086d45f27c83f67237fd8cce5e2b54fb0e639494"
  ],
  "author": {
    "name": "David Thrane Christiansen",
    "email": "david@davidchristiansen.dk",
    "time": "Thu Mar 20 15:04:56 2025 +0100"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Thu Mar 20 14:04:56 2025 +0000"
  },
  "message": "doc: review Int docstrings (#7568)\n\nThis PR adds missing `Int` docstrings and makes the style of all of them\nconsistent.",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a6412945498fd9e4d514a15e61402617466dcbb7",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Basic.lean",
      "new_id": "27b5f7e5291894dbd79117b0a9f8ac4bae90e5d0",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "6e6eccc157cf32f33f48b8f7af722e186969c8a0",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/BasicAux.lean",
      "new_id": "09b0317e997d7d860bce7da5ea1c09c7199f32f3",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/BasicAux.lean"
    },
    {
      "type": "modify",
      "old_id": "40e94b945ad39e3b94a269234fa25cf2cc0aafc0",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Bitblast.lean",
      "new_id": "4f5391ea9989956590bc5b9c116d746a04518deb",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Bitblast.lean"
    },
    {
      "type": "modify",
      "old_id": "3a4ee8faae34371a9aeb9336ecb39ef366273203",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/Basic.lean",
      "new_id": "148b1156d72d95752bf710075b84e22ba355755d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "8de1faad96f2f8b1850f44a13cc923812347d726",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/Bitwise/Basic.lean",
      "new_id": "64206c2f697a6d982074c0c56422965513a131b6",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/Bitwise/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "3d580cfdd30c2701f438d723d4d6076de8c1210c",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/DivMod/Basic.lean",
      "new_id": "ff71dfd5631a38a52fe9b1d9fb826295365f2305",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/DivMod/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "5f7c2c12ae4908955dfe5af0cc31d916063b0a47",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/Gcd.lean",
      "new_id": "7204b6193d94ffe939adada5f5ab031548ab8513",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/Gcd.lean"
    },
    {
      "type": "modify",
      "old_id": "1eabb7495587882ebe001c0e7c183dc3caec3c6e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Repr.lean",
      "new_id": "ddd10a479643b03f8e1de2c4f87605205f0edc4e",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Repr.lean"
    },
    {
      "type": "modify",
      "old_id": "e650c36b436940ba0347282ce6214ed98ad4a85a",
      "old_mode": 33188,
      "old_path": "src/Init/Data/SInt/Basic.lean",
      "new_id": "50de66de266216e9377cf1068393542462381e4e",
      "new_mode": 33188,
      "new_path": "src/Init/Data/SInt/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "eeee215474a669726f26e2f0f6bde184e28a79d5",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/BVDecide.lean",
      "new_id": "60082cbffa7f28e4805c0f19cd027571ca7f237d",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/BVDecide.lean"
    },
    {
      "type": "modify",
      "old_id": "7de8d69a39a864bdf4eedb5439a12272be8ef0c4",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.lean",
      "new_id": "86c93aab922276d8927e54e719718111534965f3",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.lean"
    }
  ]
}