@cella-lang/cpp 0.1.202610110156 → 0.1.202610110220

package/CHANGES.md

@@ -5,6 +5,18 @@
 
 ## 未發佈
 
+### 其他容器的 `.at()`
+
+- `gmapAtX`、`umAtX`、`strAtX`、`dqAtX`。
+
+### 串流的其餘
+
+- `cinVB`（`baseDigit`、`readDigitsB`、`skipHexPrefix`、`readFieldB`、`cinGoB`）；`cerrF`、`cerrVF`、`cerrFF`、`cerrStrF`、`clogS`、`clogV`、`clogF`、`clogVF`、`clogFF`。
+
+### 子陣列傳給函式
+
+- `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`。

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 24,
-  "checkerHash": "5ff10db7c5abddd3",
+  "checkerHash": "a6a6d0136f297a82",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
@@ -714,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"
@@ -934,6 +950,10 @@
       "merkle": "13a595ff233964456b3f81bcfc38258d1509b872603a63cef66290bc6a5dfaa7",
       "own": "847100a2886e17f456ce401a9a86b9fd0c72ca27e03dfd403a91ccd4bb8df0af"
     },
+    "cpp.cpp.baseDigit": {
+      "merkle": "494ce75ea147dc3c985d4f4679a1b5247370025e5347aa99a8d665e62eef0f26",
+      "own": "3791c77771ee38d6ee8b574b9a65f92a40b430b12a02e2fef5ffc1b29818873f"
+    },
     "cpp.cpp.binValue": {
       "merkle": "67b596c3106e666e4aa73fdf77888a8d335638402d6825b98e880a6e92af3cf6",
       "own": "60a6d9314c6a1230ee61263af101cb48578d5e4f65b0f3f4b6970d982428ca0e"
@@ -1150,14 +1170,30 @@
       "merkle": "bd892c34fde54ef0dce27d069eebe1a4894925d7fd67ca2c4008a8e7f31f64ba",
       "own": "1340232d7333f09348ed8115519d3c571ab369de1d1f9384d4ee904a99fccffd"
     },
+    "cpp.cpp.cerrF": {
+      "merkle": "fe6ea0da3f8bd059bf41042661ed4dd3d0a1f4b64d9b48787fdc58859a7e7302",
+      "own": "54f2b961c4b09bb65f8402731d9ba7d4c22bd50f4beca8791e4a829449807b64"
+    },
+    "cpp.cpp.cerrFF": {
+      "merkle": "3f5b3583d1e7679b2c3154f3ace1e539f31dce8277023070f9dde998adc201c9",
+      "own": "033ed6a6be3e1b3e2baeb94f9b1837d0775658bd6078964159fcdcff554a9abb"
+    },
     "cpp.cpp.cerrS": {
       "merkle": "61ef68bd332dbaacce5f292fd405f4b5e8d547f7b3cd6cd348387d90afe3b692",
       "own": "685874d7b7587418c7eb23737c10dce9691e95beeb6bd95c734100e9beb88c95"
     },
+    "cpp.cpp.cerrStrF": {
+      "merkle": "3989e361fba33e8e7b160d4bbb8aa18a3fbbef5fc5292818fd0f7538cb7b7200",
+      "own": "456aeac4c8119299f3665cb935b4e2d12957e64c031b62338e336ee81db1bd0d"
+    },
     "cpp.cpp.cerrV": {
       "merkle": "91bc7d749b98b6f46b88cb0d87c765774630b7d8b2a7262349c0c52fb9abed42",
       "own": "286dea05054c10010fa69eb5883697b729f5a392c97cc69c587843e7b5c12f0e"
     },
+    "cpp.cpp.cerrVF": {
+      "merkle": "f1af3327ceb25b6d3d65d91b3bace7f75aa9d00bdf3af9d8c93e1beded26a67e",
+      "own": "e7bf7850055f5c1463e00feec0d1614ca7162b59f77ef0e3cd76e53e801d1fbb"
+    },
     "cpp.cpp.charVal": {
       "merkle": "1842da71fb1bcf098a960468618fed418a85ee3328305b77951ac0da37fc47dc",
       "own": "bff31031400b7d754110ae122b70446abab0aa4bc1c689f59f2b684100b208e0"
@@ -1174,6 +1210,10 @@
       "merkle": "1c894572abe62277f9b2c08987cf2356233e29d2c652e34c89550be26edf057d",
       "own": "a4c2e9a0be18c4714e49e676478e9145814c11073fa13936008c5efe638d289e"
     },
+    "cpp.cpp.cinGoB": {
+      "merkle": "c2d04956d30cde5d5af11b1b0c71dfe9d108d99e0a1f060bf5a275dded4c25a2",
+      "own": "7ee6733ad1ed5a91bf6c83f9b71391b8e1a5644c6fa60aa08df4f67750e859d1"
+    },
     "cpp.cpp.cinOk": {
       "merkle": "f1a39aaf5f025ecdb201aaec8995d2bddb69e1d704ccad216d5de2330b8d26d3",
       "own": "5d7524a15eb939a1bfc5ea294c8a11e9fc909c28c2de50fe567f6c0479b91b41"
@@ -1190,10 +1230,34 @@
       "merkle": "efda7608e09306f6cf65423f5084ac660351655e75cb42721adfc1bea6b07d88",
       "own": "c9b8361f36871a12bd42c7bbf99d3da24031670091727409537c34da842bac87"
     },
+    "cpp.cpp.cinVB": {
+      "merkle": "801b5bacd766216c2a6069fbfaf8112052abfc388bd1ca050ae298b9a8afa9cc",
+      "own": "0bea6c0a49c65670f9df9eb55f93fe1c9c4165ffcd1a8998859b4d872632aca3"
+    },
     "cpp.cpp.clearA": {
       "merkle": "89dad86b6244382906285895795bdf8ef368eb609856a92704c7951cdad15e66",
       "own": "ad7ea90b7e8e69a794e0c73db9d8d902a34949b2295d1de77835a7a278af0621"
     },
+    "cpp.cpp.clogF": {
+      "merkle": "712dc9e64cec441fdf93df1eb4207ab491e04a6da0e52dc70e3863f9b09c97c9",
+      "own": "9240e9c6eb64baeb2ba384bf8e9a8abe87dc2768c711c021ddc921e19e17c60d"
+    },
+    "cpp.cpp.clogFF": {
+      "merkle": "06b26411bceac9178657598c36bc9f9c8802367784d26d17309e6651cbf7cf91",
+      "own": "386283ce324b31f8c27c0af480970d07bc61aa5eaf44e88601fa066c771ef699"
+    },
+    "cpp.cpp.clogS": {
+      "merkle": "fad713fce9526e6675265f4862a068cba18e8adc98aebb2bc5affb087f31e414",
+      "own": "8f2a3655351fd49deeb4d866a8a55b41a04e94b990c0d3649da0498badee703a"
+    },
+    "cpp.cpp.clogV": {
+      "merkle": "0db24895c87cd1e76f704b3325fc07845f75c0ac2a553d9efcab117bec9511a0",
+      "own": "d4747dfd6a1299db928c595b0dd4c439ac463a1ca0f64397f0a952725169e2e0"
+    },
+    "cpp.cpp.clogVF": {
+      "merkle": "cd032552faade6b1b25c2601db933c729dc8f0169d9ff3d4d43de5164cd67ad2",
+      "own": "21c6db87f2b8efb028201038cf34049debc51ad8f36a372ec272dcef99792635"
+    },
     "cpp.cpp.collectF": {
       "merkle": "2c744c65458313342ce5ea0ccb637e02795ca04b391c904e7c4696e701028c80",
       "own": "d073e795a7917aebf49e95a36ba0091a5485004c2b3a582c5dd6bcd84e9de58a"
@@ -1530,6 +1594,10 @@
       "merkle": "758439d303836f658726a7f230bda641ba98036088faea0761fa4c2fb793dcb1",
       "own": "fd050fb496aff460a6a72c04ed62f098ac429a5b351f68c618678c74d7b3d6a5"
     },
+    "cpp.cpp.dqAtX": {
+      "merkle": "89dbd741477bb9f8f823823b408b0a6b71eaa4f10fb4be5ceea2f211ab534562",
+      "own": "874d17d6cbd5f2f1675d67a19575bf04732a25d90ec188b2645406dd48338ae4"
+    },
     "cpp.cpp.dqBack": {
       "merkle": "b7e5af6a5470b3bcf6a48fc2f40ef9b786658f22cb4887836b9785ac4965f594",
       "own": "61408d82bc4f3c3878b9c1a1414da7ae33ecd7b0244748eaa472ce6100f107a0"
@@ -2730,6 +2798,10 @@
       "merkle": "14559c5ac08ffdac16dc0878055708000c2379041b8f2b48f9e067358986116a",
       "own": "a3834dfb93001a2c56d79d8b3df8065f539735294bdc64b317f7ce9ba0f25e55"
     },
+    "cpp.cpp.gfDrop": {
+      "merkle": "784f2ba03e04c24c7ce3d152247faebfffadbe684471e0978f95f11a8105d645",
+      "own": "285f38a81811ebe8377258170849a51efcfeb68770295b41d41c3da4c1088d0e"
+    },
     "cpp.cpp.gfFold": {
       "merkle": "a920c9abf3ed736ace0bda14d1627ded0e6e3d52fa7b43bfde03abfa63e5e274",
       "own": "d9f4b7fa1d1ca51d1b25dcc20c7017037e46f666d65f93c20105f899a193269f"
@@ -2778,6 +2850,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"
@@ -3022,6 +3106,10 @@
       "merkle": "dba86273b00067223bd4797014cf0da39d316927389e5b758215e394aa809187",
       "own": "0759e84533c8838998c9813c9aad64a696f07163dd6cced98ae2addc3b857d28"
     },
+    "cpp.cpp.gmapAtX": {
+      "merkle": "6d2e403c2f3d847a2204fcd718465eff834d1de27e0cf13186d50f0a85cd79b4",
+      "own": "58edf5f54dbcdf224d8db7c032e6ac21984c1ed695fa69c7ccab6bc11f9970bf"
+    },
     "cpp.cpp.gmapCount": {
       "merkle": "172482a3783cadbbdbbb9b89aabad2e5fd0840f2ed87b941006fef12e3b18d6a",
       "own": "fbfdc09e3c127e304f5d84e43b3f93f0057c9f3e1475e35c341c0bacd098cdf2"
@@ -3490,6 +3578,10 @@
       "merkle": "b72948b3ef181890d4e907560f738f17c6fbfd92a33529bcbc39438bad6617d6",
       "own": "3f0b47a55e2450b65e31969226c4a9d99fce07611c766025c4fefe7f32280ae1"
     },
+    "cpp.cpp.isXChar": {
+      "merkle": "54b7a0789b08b4204b5f6d0e3651daf842003d0b4d560a3f580f134ab99108b6",
+      "own": "58c2e6a502152c21053cf298bb9ac69ee3e60e03c60229e748c5e9b58cdd0249"
+    },
     "cpp.cpp.isZeroV": {
       "merkle": "50a4e226c2e5cf65ca51cea4020eeccaf369f5807a40dd3266b6b3e8dd54eb74",
       "own": "28c7db3e1ad2f62b108fb6f256cd346b2e2f937b60b9dfc5b5281c051873cc21"
@@ -3678,6 +3770,10 @@
       "merkle": "888b06db3579750673ff2d1751e8b768dc42c34a03c2a0b44da425fd54e7a2d5",
       "own": "ca128de0931deae2162437c10a97d008d3f09941b6544d7338fc73c130668b2b"
     },
+    "cpp.cpp.lengthDropR": {
+      "merkle": "54c6350338f14b952e5055510351a4420e53a6bf429ab1a62de943f674a74279",
+      "own": "5f3778a31a0b79c4c7a92d766d285ea1ffaee528222fee24a5898a76f73deab2"
+    },
     "cpp.cpp.lengthEraseA": {
       "merkle": "6ff863ba426521cd90ad573e8b2c1473acbe86672649b800eda51a1c491b7122",
       "own": "fbeb9e72e77d2713b71f99874fdc7591f009d5bae7ae8c2187f105d954fbb248"
@@ -3702,6 +3798,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"
@@ -3710,6 +3814,10 @@
       "merkle": "34e519d94d139948ace6ad59f1d59faac1d24b9c5db72f3ee609b9d4ee267733",
       "own": "1cce75d1b1b5cec7c06359d663b01d550b8326645b6735d5fa96f3df071d7c8c"
     },
+    "cpp.cpp.lengthTakeLe": {
+      "merkle": "b91972c0e2852d7f60808d29c2be8cda43473fd7ec4bc9b0a31e7637c88d8a90",
+      "own": "cd69cee80db8bfeeffd4934888dec19217c737edfd19b85f1e2139c706922745"
+    },
     "cpp.cpp.lexTotalAt": {
       "merkle": "afecee5253e1845f19e611ffd9685af1c91942cc461cd5204146e61ce7f218a3",
       "own": "02b22a202ccef349a53d518119da54c490b91e6f453b40f4565ad0aeadb6e192"
@@ -4382,6 +4490,10 @@
       "merkle": "4fdf450e5c52e756031df87fd52e3aa31e498b795bec3fc240c287a28116928f",
       "own": "a4a8e2f4341226e8c84e74ba48dff5de6ee1e0cf011cf1f8fc79121b9a03fed2"
     },
+    "cpp.cpp.natSubR": {
+      "merkle": "eb5f3216b3415604e4a9a550e91fc15f8f91779aa492db7ea9efe798565c04f7",
+      "own": "cb7203528106b0e2203c0adc21687312695346914f3f0676ad6a61fe45ac7f3d"
+    },
     "cpp.cpp.natTri": {
       "merkle": "5b06d249b6d13069ef475c9e62fde9b215f5c1bbdb4940713ba0c1a2d6c37212",
       "own": "ba3f03d362dd9c01ffceaa8d4cc3927cff2f74c23eb273a156fd5cb1701d269b"
@@ -4806,10 +4918,18 @@
       "merkle": "d5d30e8622d9fc862fc5129b752317354d145f7ef18a8b4455a0a2c5cf29a9d6",
       "own": "167d125b1ad549f2b7615cf47dc189de456a19447191c7681da137f220ebf623"
     },
+    "cpp.cpp.readDigitsB": {
+      "merkle": "70fe8d048a3b92bb89a0ce31d89217a8af7563e1d537ff7cdb39395208f358f4",
+      "own": "76fb7b4694dbf5fa729de45aacc640f4e496369bfdb61d50bac70a51588c8224"
+    },
     "cpp.cpp.readField": {
       "merkle": "7970143de8112cd54e67bd730745a9f459a9c9011c4a8738a508ef99959f8c5f",
       "own": "d8ed8860dfaa91d6c9666ba40b57e29910b4e960e27bdffad0da9ff9709de875"
     },
+    "cpp.cpp.readFieldB": {
+      "merkle": "cace67e3b219a2e8ba85e90c4d1dc942e479ec2cf64dcfea5c4b4c4d25a67e18",
+      "own": "cca7e89dc6d4841ba1817ab73ad247150647cb0f4406f9d20de1ec8606fedcb4"
+    },
     "cpp.cpp.readableB": {
       "merkle": "2e6e7e654c4dc28b82cc118182b9b0442b51dc8eb59acb5014c8d1d369c44257",
       "own": "97c939eb9a202c3cb2f6ec5c21771a6a87e272a996b8da4d5c863e78e077da13"
@@ -4878,6 +4998,10 @@
       "merkle": "10163f8e1bf2660766a876c12a57cb82439086081c8d24afa464528ec67f66d1",
       "own": "774405778185c9a82ce46a64e5c8e813846e88f941f2af07a96b66ceb63cfa5b"
     },
+    "cpp.cpp.rfrom": {
+      "merkle": "0ef03ff00a3334429954eff91d70ed102a10e6a24e580920e30a54b2022229f7",
+      "own": "9934a90a8b883b7a08a0d9a869774454110e4a77ba572c5c82677ae1c6e6ce1d"
+    },
     "cpp.cpp.rne": {
       "merkle": "03e918176ead3c1b197d3b80516107072e1025f3f30197219db549f28c12fe0a",
       "own": "2d4b0fdd58876d3713ec253e3262b2e7420a856450c6a9d1400ef3b20ebf3b49"
@@ -4922,6 +5046,10 @@
       "merkle": "5a50f905f7f3f2515e4237f0890f20552f0c6bbf059ebffa8d76428c1320fa9f",
       "own": "35dc8411286a1279f71da1df6415cf8a935e2feaafaaf58312d5f9de0bff85ae"
     },
+    "cpp.cpp.rpre": {
+      "merkle": "017ac2f4773dc22e5c2b697f3a1bc6e318d9aa5e87aa685cd30562765ee4d4fa",
+      "own": "7f84c336e858386d36ef521ab1d8f401038c035cdc59b227b2befcaee4012ecd"
+    },
     "cpp.cpp.rsIOS": {
       "merkle": "4dd8dc27474afc9e5c12286937d3693eff6638a4ae75996fd08e83d4a1491095",
       "own": "b5c2a4d5be5f6aa9910f5c15b3c904b88cf28b494dbc1a951facb79b6db1878e"
@@ -5206,6 +5334,10 @@
       "merkle": "9d23815ad06bdb1e95dd9a8115f8f8777f0e31c6933843ca6217affa6e0beceb",
       "own": "c129564b7936e5b6a15021804dfabfac1fbc7b657b3d62ff0057a4649b3185d6"
     },
+    "cpp.cpp.skipHexPrefix": {
+      "merkle": "89f336dc7f18f1f445082da4ae2a98ad5e63927da4220b0271d248413f867af1",
+      "own": "13d21b5a7cd25050cd7709ca876b0c76e4595b978575a055ad44f37729fd6860"
+    },
     "cpp.cpp.skipS": {
       "merkle": "c7349743cb5e15fa12d593886269da10bd8407bf6c545689a3b32c6547457829",
       "own": "d3f8cf1c844d8e47ce6a3943d16078040039ffcd396e8f21c15d1548438057e7"
@@ -5454,6 +5586,10 @@
       "merkle": "d519966299740af29757c7e99e16419fe924c8647d35f4b072815ff835668153",
       "own": "f04d4bda24159f8ad4d6fdc2b36c2460f678a0de80bd59dab9474b81ebc814f6"
     },
+    "cpp.cpp.strAtX": {
+      "merkle": "02fb55766d24abe52d49ccadabf1de6fa385d1f89cc58d3c50303465d6a749b2",
+      "own": "3f2fad886bd50c655b47e2495660bd0e775c07b8b0d1af0a9aaea8540337513b"
+    },
     "cpp.cpp.strBack": {
       "merkle": "baaabe99cf3292d7bac773df8a424d8b1e7d1f1d3e18e6d43d0e4a532ee362de",
       "own": "f5ca95cf13cf57e0a78324d528867776f82ec2eb3369fc536414d0b96042fd40"
@@ -5926,6 +6062,10 @@
       "merkle": "e1bdaf9fa4a254cfc256b1cf569e2867a69c10859e8900e9b0df9e9434f6c76e",
       "own": "c9c5321bcc4df517827880865524f513db187eb7bb8805c046d609a554398e3b"
     },
+    "cpp.cpp.umAtX": {
+      "merkle": "459918d5831dec02a33a40665ddb2bf005236efee4a29a6fd6ee54738b7221c9",
+      "own": "c594115ef8562fb1311581977af74be225d5547f4a75de570df05051c261cee5"
+    },
     "cpp.cpp.umCount": {
       "merkle": "038362c2198504bab2ed5cadd176e5ac880b7277bbaeb635565e181558c8134f",
       "own": "22ac8919b54b79c0de23846fd3f1d73451cf974169a7748d9010e261abda997e"
@@ -6222,7 +6362,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 3010697,
+      "bytes": 3077377,
       "deps": [
         "cpp"
       ]
@@ -6230,7 +6370,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "5ff10db7c5abddd3",
+      "checkerHash": "a6a6d0136f297a82",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110156",
+  "version": "0.1.202610110220",
   "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": "09d736dd8a3c001e"
+    "packHash": "cddb8aacf4474750"
   }
 }