@cella-lang/cpp 0.1.202610110138 → 0.1.202610110209

package/CHANGES.md

@@ -5,6 +5,15 @@
 
 ## 未發佈
 
+### 子陣列傳給函式
+
+- `natSubR`、`gfTake`、`gfUntake`、`gfDrop`、`gfUndrop`（引理 `lengthTakeLe`、`lengthDropR`、`allInitTake`、`allInitDrop`、`rpre`、`rfrom`、`lengthRpre`、`lengthRfrom`、`allInitRpre`、`allInitRfrom`）。
+
+### std::list
+
+- `GList A`（建構子 `glist entries next`；`glEntries`、`glNextId`）、`glNew`、`glValues`、`glSize`、`glPushBack`、`glPushFront`、`glNonEmptyB`、`glFront`、`glBack`、`glPopFront`、`glPopBack`；迭代器沿用 `MsIt`：`glBegin`、`glEnd`、`glValidB`、`glDerefM`、`glDerefB`、`glDeref`、`glSet`、`glNext`、`glPrevB`、`glPrev`、`glItEq`、`GListIt`（`gliList`、`gliIt`）、`glInsert`、`glEraseIt`。
+- `glFromList`、`glReverse`、`glSortOkB`、`glSortBy`、`glRemove`、`glRemoveIf`、`glUnique`、`glMergeOkB`、`glMerge`、`glSplice`（`glRenum`、`glRenumNext`、`insAllBeforeId`）。
+
 ### multiset 的迭代器
 
 - `GMSet` 的元素帶插入時配給的編號（建構子 `gmset lt entries next`；`msEntries`、`msNextId`；`msValues` 照舊回傳值）。

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 24,
-  "checkerHash": "5ff10db7c5abddd3",
+  "checkerHash": "a6a6d0136f297a82",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
@@ -230,6 +230,14 @@
       "merkle": "ae9223a42b880ab3be83dc0f42f83b241c22c790ec60e149f2e39831750b34a8",
       "own": "efdeb0e6aada4a485d3fdd86a090955747cde893e957c0f1122db8b72e362249"
     },
+    "cpp.cpp.GList": {
+      "merkle": "5916222055b29468ddd1441173eab983c0b3ec3b41a733e5dbd876cf6043e9c6",
+      "own": "d09eba0e7d9a60ac91afa4ce661c7856c7090a98714cd24c438f2b2da248ff65"
+    },
+    "cpp.cpp.GListIt": {
+      "merkle": "38c13851f7f3578bfd8499f6576764e8cd33e001f7d17ffa789d86d5dd640e32",
+      "own": "74b63313e2e7c7bb801d8d3246f112e5e84a57859dfe5f526ce3a7795bedecd5"
+    },
     "cpp.cpp.GMMap": {
       "merkle": "a0b723bd7374b1cf8506ff121c6c91425cbead69cdb6f653b8a523b65d2da328",
       "own": "0e832c454d2c7bedcad4d04e8627ce331b4db0e367ee709e0c78e8233e98007c"
@@ -706,14 +714,30 @@
       "merkle": "2560bc00592bccdef1450853c77668948b254b71fff546e4aa218782956c02f2",
       "own": "8a6a225045c57a5bcb022f5a73a9132c208f408a3702f3d23cecd14786b18695"
     },
+    "cpp.cpp.allInitDrop": {
+      "merkle": "7229ce9a01c2333534077615b38f6ad97ddc5b760e3f4b827738bbd6d3820463",
+      "own": "ab216f4646858fbea2d945ae35c4940b8a358057a4a2dbcbe1aff6cd61ca6418"
+    },
     "cpp.cpp.allInitNthG": {
       "merkle": "8851b0b9b628f6d2a57e0671a8d4026ea7df278fd3ff7efe8f32f97560f4bc78",
       "own": "2e09d7a101c0c43c77ade49328d223ea75de06b15a3eab6df5bd8c8383729770"
     },
+    "cpp.cpp.allInitRfrom": {
+      "merkle": "5aeaeface047f0560bfc887a11e7d1545de3598e00868f588a35bf999b6ac14d",
+      "own": "794d7ecb9a4724dcf4a26107d49fcd097dd651e2d51a033d9c868ecaa5361283"
+    },
+    "cpp.cpp.allInitRpre": {
+      "merkle": "1bffa5ff62c8b8ece3e920b81ce6891f86466980a5bdf44cc47754707a1cc524",
+      "own": "a09587f3e7486e33c650b6a39f1e30f475a84a00ff9580f834a4f3f17c972723"
+    },
     "cpp.cpp.allInitSetNthG": {
       "merkle": "9de72192f784a35c0bdc0a8ba97cb0c54e98350be2e80dd149d4a18351febb80",
       "own": "c14896521e6c96df4d50d1206ed1da7147de5140f154ac4ecb3ac682ddbd8ee4"
     },
+    "cpp.cpp.allInitTake": {
+      "merkle": "d53592ff7ac870f4ab42102ec850498de9d85eaec5d151d262fc24a8ccf768a9",
+      "own": "6fd2cd210a8a31805a4937c418a646747aef2c65f58b170cc9ab220d0b982371"
+    },
     "cpp.cpp.allL2": {
       "merkle": "8bc2c15e4a640d133ea721dc65c8bbfb3cf2b85ba2ac83c32788ec7899b5740e",
       "own": "bc83b1257b7d725a8c55ec56b29737be6da543daf0287c19de31ff2d0899395c"
@@ -2722,6 +2746,10 @@
       "merkle": "14559c5ac08ffdac16dc0878055708000c2379041b8f2b48f9e067358986116a",
       "own": "a3834dfb93001a2c56d79d8b3df8065f539735294bdc64b317f7ce9ba0f25e55"
     },
+    "cpp.cpp.gfDrop": {
+      "merkle": "784f2ba03e04c24c7ce3d152247faebfffadbe684471e0978f95f11a8105d645",
+      "own": "285f38a81811ebe8377258170849a51efcfeb68770295b41d41c3da4c1088d0e"
+    },
     "cpp.cpp.gfFold": {
       "merkle": "a920c9abf3ed736ace0bda14d1627ded0e6e3d52fa7b43bfde03abfa63e5e274",
       "own": "d9f4b7fa1d1ca51d1b25dcc20c7017037e46f666d65f93c20105f899a193269f"
@@ -2770,6 +2798,18 @@
       "merkle": "8b659949b2e0011bda7c582ce9efab9f32f213737e24e73e723684d8733f2988",
       "own": "b2872d2d921803d8f5224080a7e864b0157636265247b68d3a022b97b6ffcdb8"
     },
+    "cpp.cpp.gfTake": {
+      "merkle": "2aad38724aa7d97aa1a0c8676330185506187027e00b15e52b9d7a955800c113",
+      "own": "20f78214327b1ed99e1f6a7e718393b0096ac469f5419267898c63ce91337737"
+    },
+    "cpp.cpp.gfUndrop": {
+      "merkle": "861b5d7a3d4b721afdae4e03c0fbcadbfe095db6850babe1528c57e990923c56",
+      "own": "bdf61e7d605d6aab7e0f17fd3a8f677e482ca9514da3e06c5e986de94f770ead"
+    },
+    "cpp.cpp.gfUntake": {
+      "merkle": "c9b53cd8961df6256a36e1413619ee070ef078bc9a2fb0648e062f02f70c4c2f",
+      "own": "302644a519a6b4dff7318c9fffc656bb105154ba04cf4fd75c1abc3eace43f9a"
+    },
     "cpp.cpp.gfullOf": {
       "merkle": "62c37bd2fbdb274ed670ba72ab8c32dfc658222e3efa8ed3b5214effe546eda3",
       "own": "cd11f61362923a383873f230a6ad60a78ed4d49b82b8780074f5d18b570c9ebf"
@@ -2782,6 +2822,174 @@
       "merkle": "2dfaeec3a4ebc2c0e1ad2ab5ca277e443cd87f6ff6a9a856b990155da39af496",
       "own": "1cb6c4a18533fae3e6de2794ffbc1eec6978b6790ed2a1762fff83501c07fb77"
     },
+    "cpp.cpp.glBack": {
+      "merkle": "f6268f24e7bd5013f9b5646e1a3df8848d6a5529dc7424eb201f93c8677e96ab",
+      "own": "5320a9bc83e8169891279f3fe45ebf88ae14e14b3c49145ae51173c01f2a0dce"
+    },
+    "cpp.cpp.glBackOk": {
+      "merkle": "1b9c5399ac332df90c1742e5abfe3429d9491560ade18277f8176e0605492e25",
+      "own": "a13bc11b1d693defb75c660bf119d35109b5f99ebb6be79d318751835ce2d2df"
+    },
+    "cpp.cpp.glBegin": {
+      "merkle": "d02fbd86b9b4fdc9263a8b5a56d94cb9af30a5901f7cf06d0ddf763e2fbbac11",
+      "own": "52937d59b12636df444d66e6fc2660723e670429da05f8bc2b1318545afdfdaf"
+    },
+    "cpp.cpp.glDeref": {
+      "merkle": "02fbbce31f1b2ed14ab81d3123fc4f7340ede63a36110957732cb07a6d45774a",
+      "own": "36c3fec53f6e1574ce503391df55a00064297efd507e78c6590ffa3d3a13d8fe"
+    },
+    "cpp.cpp.glDerefB": {
+      "merkle": "f01e25b9834c7899a5cbe616dc22a76de847c9919acafdc07c203e2c4273d936",
+      "own": "d1b8a6a159f68c9ad1a7193c0b427477212706af58f8a12a7c4881b1fc18c1b9"
+    },
+    "cpp.cpp.glDerefM": {
+      "merkle": "b9b17d8e2b9776e9abf3fb02c49948d8869b0008e1ca6b0ba06a34d22ae7eec1",
+      "own": "fa3b3d328fc363d53741f732e0805c13f9a097a1335d42c9e3f362bee39b6b3d"
+    },
+    "cpp.cpp.glEnd": {
+      "merkle": "e5cd8bb3291423c5ac7dc0f60833cd629b485e615bca652a4267b329fd3c167b",
+      "own": "ea2c57045db0a57ce1773e1abfa6c91c3265fea132fdb4bcbc178d2a4879bf41"
+    },
+    "cpp.cpp.glEntries": {
+      "merkle": "56602b3d73a1868a6789783b62541414e85fe2faca3965a1df64a87e0554866c",
+      "own": "dba6e1d9b9317ba6807e8c9389cb94374678c23dc6cc24ca4411181366d5f014"
+    },
+    "cpp.cpp.glEraseIt": {
+      "merkle": "9c4d68dd73c9aa46913917394d0b5f3eb2b94d78f3843632228d06e4d2a27ef3",
+      "own": "cf7edcebfdab6ed25271673ac068a5f257fb924df3235e434b8c2986df067982"
+    },
+    "cpp.cpp.glFromList": {
+      "merkle": "19192613df64d85cc639228d436facf9c78b8b76c1f11bc6e815d0ae02d1780b",
+      "own": "045156cccbec1073e82a1f1b53a7805c6bd63b808084c106bab91f75a6083fba"
+    },
+    "cpp.cpp.glFront": {
+      "merkle": "f3ea621f085200c51463679f7902896b0e2472cc5b4a20eca9d85779c38c387c",
+      "own": "d7697346067e95b0f161a0f0272f2d352975b7ea7d11add044ffb43bef1ff880"
+    },
+    "cpp.cpp.glFrontOk": {
+      "merkle": "17c483c02070ffb46a896fd221e59d2c0d84eab53541638bc5a5e481683eec8a",
+      "own": "40bae5c49f163f1c6286fb658a637adae128442cc1cfd4351ab0dadfc6a31af8"
+    },
+    "cpp.cpp.glInsert": {
+      "merkle": "62a207a0fb47d97a44d8fb8bcf5c8c0eb3014338b2642a6d16b8d8259f988f50",
+      "own": "5f617f09674533de32fe758cce1219434c98611bd6d0d30bbae0e4a49dc094a9"
+    },
+    "cpp.cpp.glItEq": {
+      "merkle": "d9729c6d274a395cf95e811d74cee23933e119eca979e47d30a4727656633650",
+      "own": "c898a1ac5a613f71765404ab74fb8bcc2f47f862d989b07efa2382726699079c"
+    },
+    "cpp.cpp.glMerge": {
+      "merkle": "01e3037a925bb065c1920d60f8f9fdcaba26cf437703611cc2fcb842ebc8e9bc",
+      "own": "eb96e3bc3b2d754b184b44137532e4eca0e56e825818bb68fdf5d92564635fda"
+    },
+    "cpp.cpp.glMergeOkB": {
+      "merkle": "60e43a974195336c5355b2ed4e1ef82d20de91d0bf4b673345d2da9f5b9aee87",
+      "own": "edff78e8fb186a436f042d3d018c8bb768d0ac8d01d74aa25af4e76230c9bc37"
+    },
+    "cpp.cpp.glNew": {
+      "merkle": "4d3434e386e5827eb56416f5004870be33080a6fd79ee4ab088ed2dd1cafcb9f",
+      "own": "2ad5f675d58a102b4366f9d57a7b47b3dbca52ec4b5f481bb769031ac03bd99e"
+    },
+    "cpp.cpp.glNext": {
+      "merkle": "5ea074b54ecd5e72914e47fedaa6043c54e0a911f265c1430555899c8cf58260",
+      "own": "29c09bc39d222579e47ce1fb0d7d0f71348234d62527d1d1b69af49254001c7c"
+    },
+    "cpp.cpp.glNextId": {
+      "merkle": "df109bbf06765c5e77a6378d97015e8f4c0d70e974bf6d368badc21ed03aad68",
+      "own": "be1d88a3add7b807e8a3e4d1bcad7c528ad224abbc3f2a51c5b7ac473efbd7ab"
+    },
+    "cpp.cpp.glNonEmptyB": {
+      "merkle": "bc77443d42f543fafdc5e1b0f69eb83986afdf3094eb0ac801c36ab7b7f702e8",
+      "own": "867ed63801848f8c462b9bfe0066391d686515cafd8b9f97b5eca04127da9bb9"
+    },
+    "cpp.cpp.glPopBack": {
+      "merkle": "3fd4bb7c47a584b5642108722109fb05cbd56c3f63400433a043f87a323effe8",
+      "own": "a027e635ee2302a5e99fd80ea10c1816cb4df0c717ca9d5ea0ac6bec8f118476"
+    },
+    "cpp.cpp.glPopFront": {
+      "merkle": "59d710c57b4caf62d66bb1a71e94bd8b073c5fbb8fdb779457fe7ea99b4d7c9f",
+      "own": "a9062dc5b49d6a3c08a6edd5bb643f484bbf550677144419ec4d387062cfe320"
+    },
+    "cpp.cpp.glPrev": {
+      "merkle": "f725b55ac6c3e82e22a19444709e395947b457a20e1a5c7ac5ea74f1f1b2e1bf",
+      "own": "07dda697783174a0aaecc58bbfd03b46a244c0311ae8d0b969329e073027f88c"
+    },
+    "cpp.cpp.glPrevB": {
+      "merkle": "66244e80bdf0fad491897dc2e67644a715a131be1fe3c1378dc0ffa505304d35",
+      "own": "335637ce1225fe848d85c812e4a45c4872971d7c563b896b194d3ec1f35a85ce"
+    },
+    "cpp.cpp.glPushBack": {
+      "merkle": "69f341c0a106863a4b212eb7263f70f9cb2d213bc26241ea9442e36b71813f9e",
+      "own": "24f6f531ded5d5888a949156c62c939a2e6716e5747ff745a6c7cf150bc86188"
+    },
+    "cpp.cpp.glPushFront": {
+      "merkle": "c1437d727bb12aa8e5c3cab8b65c97a5eb0645eda753bada57dc761ab7150a4c",
+      "own": "d87da8d64c3acf90be2659e9d508d60149c7583bfd094b08456619189bd47df0"
+    },
+    "cpp.cpp.glRemove": {
+      "merkle": "f6642ae3c50a5b3cd0f0d29f467db764ee8d7e8271e7c6c9f88ecc819f951943",
+      "own": "5abce4ac1f338407253324d9918ff5ebfd9d35be87989cf2dacd2bfec51cb4ad"
+    },
+    "cpp.cpp.glRemoveIf": {
+      "merkle": "730e70ce8aee469d15871c8e0d856c295ae0bb75776d16566a7d4df61063c905",
+      "own": "2d6cae8562a1caada4738fac71cbb5bd282fe71cd75231b92a60a0553b360a9d"
+    },
+    "cpp.cpp.glRenum": {
+      "merkle": "0746f5d18ba7630b9914311e68c9ce8c8f0fb655aa2f1157cf968217f5cb6168",
+      "own": "287e5364127d2a923aa580b7080633e980f7e2853f6a28719f8c0d634d6597e7"
+    },
+    "cpp.cpp.glRenumNext": {
+      "merkle": "022592490cf2519a336e88046a8a2cce3c2cc8cfd88fc91b05aa776d44fa30fe",
+      "own": "5268ed14aa27aa61bb9c6b9bfb0072d4789110e1bb5ffe37c52a99280fe27398"
+    },
+    "cpp.cpp.glReverse": {
+      "merkle": "51eb2e52e5fed7d2f84c699910597ab42275d6a47cad81734c93afcaa5ed7ffc",
+      "own": "2f9e5d78c5ff50cfb8410dff0eacc3b1269e0a8a00c8b8ec5e90be00a2470e5c"
+    },
+    "cpp.cpp.glSet": {
+      "merkle": "a30ef5af4e4c4703faba1da4631b5b1dab5257c7ca9203a47fef52ce72cec062",
+      "own": "0dae10c1531729c17603f5375c0d22033fbc41ad7ca80f4cbc6385467ac7b356"
+    },
+    "cpp.cpp.glSetAt": {
+      "merkle": "e62b430e77c490d4731adcded44e508e2d2f2af244ce3781cb9f9abc19042d99",
+      "own": "e7b997e3672142500caa38d7dad9c4f9d41912d1272d274564cc66b2589f0620"
+    },
+    "cpp.cpp.glSize": {
+      "merkle": "d75c025805d7be51ebc8a84567801402e6f4726b9d918426ae11586afb2dfde9",
+      "own": "e3f536c454ae1130e92584402bd76ab71e639f329923c4ac47af8b2f0b1ef505"
+    },
+    "cpp.cpp.glSortBy": {
+      "merkle": "c2ffdd42d77dc6b09af211637e6437389c244b227c6803295e40619c6ccf6f0b",
+      "own": "13a7b8b8937f028a4b29d60a4ff2abd4beb6486625aabfd37984aadba45f3ce0"
+    },
+    "cpp.cpp.glSortOkB": {
+      "merkle": "313f36575a9cdd82fa004eb5875ee08b77ca776e03a2fbe10d54e4b3fc2ea03b",
+      "own": "064e874a5c6a9ea333dd021fef37351dc38b4da95b00d1629e428fe368b45c6f"
+    },
+    "cpp.cpp.glSplice": {
+      "merkle": "a7f772d6aa78fc6d7600e1d7537b9dcbbaf2b9a6cb23d2f88125b35b766fa00b",
+      "own": "d01ef37fcb02fbaf73cd0a31fa867d710774108daab80bf24c7f8e031d2e073a"
+    },
+    "cpp.cpp.glUnique": {
+      "merkle": "5367f4214fad9fbf9e0dd5b311aee67be503d59d547f502de3f36de2ad6e6781",
+      "own": "17864e7e704f73eb8a8d2c0fd486f8a82c06edf98b2e865e5df4bd98e90eb75e"
+    },
+    "cpp.cpp.glValidB": {
+      "merkle": "c393330f04a8d2834e4b733562e9b114dab636de38a93bb3fc8ab4d2f0cc613d",
+      "own": "e74890ed3ea2d777daaddc97bc54b02746540ecf7b477a152c79297350a37ab4"
+    },
+    "cpp.cpp.glValues": {
+      "merkle": "933e59be8d5366eb783f543c51ef41e3d79ab4459caecae06cbde8291a87dce2",
+      "own": "e27f43f9c866a0aa7a349ee1b6d43d6cb8955c4b6f6842702e3de6ad607978bb"
+    },
+    "cpp.cpp.gliIt": {
+      "merkle": "a8199d8365bf230060d639e1c432755077c0450b46791a47a43cda37ebdfd705",
+      "own": "35a6e8afdd6c950a9e7e0c13ca2826f71048a5c03912b713b8165b892df5c46e"
+    },
+    "cpp.cpp.gliList": {
+      "merkle": "5227740f7586f224a0e0e56c742c988864484e7c550c4f4c4e5387910cceb6df",
+      "own": "6e4ff1db8499831919f20c9ad2ba2b216d1313397a30c98d4c1fe1832fc1e0d7"
+    },
     "cpp.cpp.gmBegin": {
       "merkle": "02da1fa2dc4e9a183237d90fa56775bfad17f4e4e7c971a3c8253d632f00d513",
       "own": "27b841bf7fa34ce11fa5535a166ed8148cf54a4c79c37f891f53ab643b17acfc"
@@ -3162,10 +3370,18 @@
       "merkle": "f3158af1e933e216ba8f50be31c77086ee86917c1c8457a69b24536074bf0105",
       "own": "35818e2fd9bd2f66c13e3e69c1bafb4a260e0c1a3e1e6ac3cdc7aea24b15bc09"
     },
+    "cpp.cpp.insAllBeforeId": {
+      "merkle": "63f98fb0afe6a4a40d94219639ce83c2f781c23251b100f730eff79dd5f3b6a7",
+      "own": "9c3ad39b4ba8c71a5b97c7caae895e363d50c06f9d7e7af2daea0723f4e499cf"
+    },
     "cpp.cpp.insAt": {
       "merkle": "b06d40aaad23cdd032266ffa0b0e6758087d0612ff1120986bb2871bc575626e",
       "own": "7962903573d98bff1f2ad1b0189f23f0a5c278f31e6f8aa6d4a4de0c2748cd69"
     },
+    "cpp.cpp.insBeforeId": {
+      "merkle": "463b45f64a18c4d8e940f4d0c5c07a493f84db00a7ce2fabb2853b587db8bc63",
+      "own": "db303ad9ccb54af6af8c5b835815574f89db2a3af26c5b38fb67d274dc5ed83e"
+    },
     "cpp.cpp.insertA": {
       "merkle": "b3e4595e8b109b58284d1e39fd65fd9a8d33cae240323cde5f88b61d3357a16d",
       "own": "fe6161108c61c5e637caeea636c856f48b0c7f5653725a2ff87edbb91d19e4b1"
@@ -3414,6 +3630,10 @@
       "merkle": "0abb1e1f7da1ca3d8bd73356d735e04021abe35d6d63af234d4bbac5ac8bde0f",
       "own": "7546103c3f5ed7be8118a9b6b8eb42fe1aced780c5e9955288674fab90f1d663"
     },
+    "cpp.cpp.lastConsOk": {
+      "merkle": "b53374ff44490acd1242fa8074829b242bce2db3e4664db2d8b81a28ad011420",
+      "own": "b54e0e18d7d49c3c6402ec9d1adb2d3b913ae591c65b9e5c6754b594f096f4d2"
+    },
     "cpp.cpp.lastIdOf": {
       "merkle": "41dbfd64e5e163aae7f3a82a58aacc780568a2d779f8c1b07ad5adb541d0b1bc",
       "own": "fcd0b4e0de7a448bef43e00d6796f9e9c39eccee68f32edb78d9b18046452861"
@@ -3426,6 +3646,10 @@
       "merkle": "3cac5dbda416929fcaac480f985bd92a119f05e49d16b6f7197e11180c2f922a",
       "own": "ca81f36dbf323fedb5e9b6b7922387659931138e925b8301e9cdaaec30175eb9"
     },
+    "cpp.cpp.lastSomeOk": {
+      "merkle": "3f5dc0e1ed998498eafd867d3736fa021ca77a0f590e69208a31fb35491f49d5",
+      "own": "df2301353e6987a9a4d89807829203ca54f723f174dd916684f6dd7d4b3c598e"
+    },
     "cpp.cpp.lastWhereG": {
       "merkle": "4f69b8e61f251d717ccf5dcfd4beafa5f9311070f53ab1b99e40ef0ca709541d",
       "own": "ec1ba4944c292134dff6d7fed32ce2ff371a651ece429ffdac68b9339f60bcbf"
@@ -3486,6 +3710,10 @@
       "merkle": "888b06db3579750673ff2d1751e8b768dc42c34a03c2a0b44da425fd54e7a2d5",
       "own": "ca128de0931deae2162437c10a97d008d3f09941b6544d7338fc73c130668b2b"
     },
+    "cpp.cpp.lengthDropR": {
+      "merkle": "54c6350338f14b952e5055510351a4420e53a6bf429ab1a62de943f674a74279",
+      "own": "5f3778a31a0b79c4c7a92d766d285ea1ffaee528222fee24a5898a76f73deab2"
+    },
     "cpp.cpp.lengthEraseA": {
       "merkle": "6ff863ba426521cd90ad573e8b2c1473acbe86672649b800eda51a1c491b7122",
       "own": "fbeb9e72e77d2713b71f99874fdc7591f009d5bae7ae8c2187f105d954fbb248"
@@ -3510,6 +3738,14 @@
       "merkle": "cff492fe4363b15ab9bd15efac05e898ae1f33afd5985f5a31444dc5b70ad37b",
       "own": "d8f16a1e5d0e5192b0e550dad71517988c124cdb6c4214f68a35829aa5bbe449"
     },
+    "cpp.cpp.lengthRfrom": {
+      "merkle": "a099d36383d5eee39b2cc77000d484d8d187db0fd976ebb0f3aee206b4ca1d54",
+      "own": "77960e1217ef1440a4185aeab7b1bc4e723742278e1e7ecf7a40628fa089fe89"
+    },
+    "cpp.cpp.lengthRpre": {
+      "merkle": "974f34f6e8d31d10d93bc409c8d6726c82f1b920dbe60103e1726502f56925a4",
+      "own": "8cbcfa08bfe1b937a16f839a99f7e97972dfd75c5396234e46591c15445e3b6a"
+    },
     "cpp.cpp.lengthSetAt": {
       "merkle": "bb9bcfcf9362cd69a3c4552b00a85a5a2af6a35c550fadc092864ff6befd8caf",
       "own": "52aee4b4ec4fc7e728d268839f4ce5055de8a9197a92a6b51de5571e0f4c9ece"
@@ -3518,6 +3754,10 @@
       "merkle": "34e519d94d139948ace6ad59f1d59faac1d24b9c5db72f3ee609b9d4ee267733",
       "own": "1cce75d1b1b5cec7c06359d663b01d550b8326645b6735d5fa96f3df071d7c8c"
     },
+    "cpp.cpp.lengthTakeLe": {
+      "merkle": "b91972c0e2852d7f60808d29c2be8cda43473fd7ec4bc9b0a31e7637c88d8a90",
+      "own": "cd69cee80db8bfeeffd4934888dec19217c737edfd19b85f1e2139c706922745"
+    },
     "cpp.cpp.lexTotalAt": {
       "merkle": "afecee5253e1845f19e611ffd9685af1c91942cc461cd5204146e61ce7f218a3",
       "own": "02b22a202ccef349a53d518119da54c490b91e6f453b40f4565ad0aeadb6e192"
@@ -4190,6 +4430,10 @@
       "merkle": "4fdf450e5c52e756031df87fd52e3aa31e498b795bec3fc240c287a28116928f",
       "own": "a4a8e2f4341226e8c84e74ba48dff5de6ee1e0cf011cf1f8fc79121b9a03fed2"
     },
+    "cpp.cpp.natSubR": {
+      "merkle": "eb5f3216b3415604e4a9a550e91fc15f8f91779aa492db7ea9efe798565c04f7",
+      "own": "cb7203528106b0e2203c0adc21687312695346914f3f0676ad6a61fe45ac7f3d"
+    },
     "cpp.cpp.natTri": {
       "merkle": "5b06d249b6d13069ef475c9e62fde9b215f5c1bbdb4940713ba0c1a2d6c37212",
       "own": "ba3f03d362dd9c01ffceaa8d4cc3927cff2f74c23eb273a156fd5cb1701d269b"
@@ -4222,6 +4466,10 @@
       "merkle": "eed9c5b82a70209a0122c70752c5b0e6b6103dcbfd6a684c5953cb044f69038c",
       "own": "645f1fec67141f98f9a3548e82809e6be00170f432372f931a6e27319980c9b1"
     },
+    "cpp.cpp.nonEmptyMap": {
+      "merkle": "c1951a3f6c600796ed50de5bbcbeaafcfcd675e23bef9efb5b64e52b6e03ce7f",
+      "own": "53ccc4018fc00f4c540adbf94d58c957d398b1820c8b2365f77bd3a4e66e026e"
+    },
     "cpp.cpp.notV": {
       "merkle": "52be169dbc49e8af18dbedcc7870b9f6a41f5954cb2f57e5d7dbd696f3b8e662",
       "own": "c0d6d7e659a00fecdf49c6e689dc3c45925894863eb5035e7d968fa7f58b2664"
@@ -4682,6 +4930,10 @@
       "merkle": "10163f8e1bf2660766a876c12a57cb82439086081c8d24afa464528ec67f66d1",
       "own": "774405778185c9a82ce46a64e5c8e813846e88f941f2af07a96b66ceb63cfa5b"
     },
+    "cpp.cpp.rfrom": {
+      "merkle": "0ef03ff00a3334429954eff91d70ed102a10e6a24e580920e30a54b2022229f7",
+      "own": "9934a90a8b883b7a08a0d9a869774454110e4a77ba572c5c82677ae1c6e6ce1d"
+    },
     "cpp.cpp.rne": {
       "merkle": "03e918176ead3c1b197d3b80516107072e1025f3f30197219db549f28c12fe0a",
       "own": "2d4b0fdd58876d3713ec253e3262b2e7420a856450c6a9d1400ef3b20ebf3b49"
@@ -4726,6 +4978,10 @@
       "merkle": "5a50f905f7f3f2515e4237f0890f20552f0c6bbf059ebffa8d76428c1320fa9f",
       "own": "35dc8411286a1279f71da1df6415cf8a935e2feaafaaf58312d5f9de0bff85ae"
     },
+    "cpp.cpp.rpre": {
+      "merkle": "017ac2f4773dc22e5c2b697f3a1bc6e318d9aa5e87aa685cd30562765ee4d4fa",
+      "own": "7f84c336e858386d36ef521ab1d8f401038c035cdc59b227b2befcaee4012ecd"
+    },
     "cpp.cpp.rsIOS": {
       "merkle": "4dd8dc27474afc9e5c12286937d3693eff6638a4ae75996fd08e83d4a1491095",
       "own": "b5c2a4d5be5f6aa9910f5c15b3c904b88cf28b494dbc1a951facb79b6db1878e"
@@ -6026,7 +6282,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2953127,
+      "bytes": 3057532,
       "deps": [
         "cpp"
       ]
@@ -6034,7 +6290,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "5ff10db7c5abddd3",
+      "checkerHash": "a6a6d0136f297a82",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110138",
+  "version": "0.1.202610110209",
   "description": "A formally verified C++ subset for the Cella proof checker: integer types with C++ promotions and conversions (LP64 / AVR), control flow with small-step semantics, iostream, arrays, vector, sort, and standard containers — compiled module pack.",
   "files": [
     "cpp.cell",
@@ -20,14 +20,14 @@
   "license": "Apache-2.0",
   "author": "SungYu Chang",
   "peerDependencies": {
-    "cella-lang": "0.1.202610110024"
+    "cella-lang": "0.1.202610110209"
   },
   "cella": {
-    "checkerHash": "5ff10db7c5abddd3",
+    "checkerHash": "a6a6d0136f297a82",
     "cbfVersion": 24,
     "modules": [
       "cpp"
     ],
-    "packHash": "2243c9cb12f07817"
+    "packHash": "392f35ec8e06a92a"
   }
 }