@cella-lang/cpp 0.1.202610102138 → 0.1.202610102205

package/CHANGES.md

@@ -5,6 +5,17 @@
 
 ## 未發佈
 
+### 二維陣列、resize、cerr
+
+- 內建的二維陣列：`arr2Zeros`、`arr2Uninit`、`arr2Init`、`arr2InitFlat`（`arr2InitOkB`、`padRow`、`chunkRows`）。
+- `gResize`；`resizeA` 改成它的別名（雜湊改變）。
+- `std::cerr`：`IOS` 多一個欄位 `err`，`mkIOS` 的參數變成 `inp out err failed eof`（不相容：直接呼叫 `mkIOS` 的要補 err）；`cerrS`、`cerrV`。
+
+### 二維 vector、multiset 與 multimap
+
+- `gFill`、`gAt2`、`gSet2`（`vector<vector<T>>`）。
+- `GMSet`（`msNew`、`msInsert`、`msErase`、`msCount`、`msSize`、`msEmpty`、`msValues`、`msOkB`）、`GMMap`（`mmNew`、`mmInsert`、`mmErase`、`mmCount`、`mmValuesOf`、`mmSize`、`mmEmpty`、`mmToList`、`mmKeys`、`mmOkB`）。
+
 ### set 與 map
 
 - 鍵的型別任意、比較函式可自訂：`GSet`、`GMap`（`gsetNew`、`gsetInsert`、`gsetErase`、`gsetHas`、`gsetCount`、`gsetSize`、`gsetEmpty`、`gsetValues`、`gsetOkB`；`gmapNew`、`gmapSet`、`gmapTouch`、`gmapGet`、`gmapGetM`、`gmapErase`、`gmapHas`、`gmapCount`、`gmapSize`、`gmapEmpty`、`gmapKeys`、`gmapValues`、`gmapToList`、`gmapOkB`；`pk`、`pv`、`swoNewB`、`triOkB`、`insertBy`）。

package/index.json

@@ -206,6 +206,14 @@
       "merkle": "181a49eb1a1f43c81de9a731397b08c3c334cae07ddfbd4364e07629d80a2157",
       "own": "6cda4f9b32ed7b93b65fe28a7e2856bd6e302e41fd2f67a27ecea93f03b951dd"
     },
+    "cpp.cpp.GMMap": {
+      "merkle": "937b740f287d1917fd9d283cd67a40ac09726f3f9d925bd4825da1fb035bf5d9",
+      "own": "89c9d37835b5cac1310d6211c6d6ea43ab98f54d637fcb75f50b35699bd123c3"
+    },
+    "cpp.cpp.GMSet": {
+      "merkle": "78877855891e804b8d5de07ac4a4a3571e2adc9e46a302e167f293846953497f",
+      "own": "70c3ff42790a76a8d57c37719acb624e65faa873f4b1dc77bc0ebddc56dbfc69"
+    },
     "cpp.cpp.GMap": {
       "merkle": "5bf723468ebb1b9bac4f155dd9bfe532d52e47d6d821ee87f8568a5a826bb83b",
       "own": "dd7b59ed5fd0993254ecbd3c9199acb3bbbd38ca1c6134b7e95d3d924f1a6330"
@@ -231,12 +239,12 @@
       "own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
     },
     "cpp.cpp.IOS": {
-      "merkle": "7bca8585fb75b4bbb718cab1752826485668535ed4a057cf755e9f511af248d9",
-      "own": "2d4c0c453d7a00528866a112602bf4aded5e19d4b45ac2310989d7da818f9ac2"
+      "merkle": "742b3cc2c801ef752aae020860997aea7aa310632782f450d45e0103075a22ab",
+      "own": "a4a58b24863c3a3e7eb50fc3ba062107cfb9fb70eb58d428da0da2131d8286e1"
     },
     "cpp.cpp.IOS.mk": {
-      "merkle": "68e6bd23953408a3122f54f10dc51341be2f7661fd18b757d6959fdf8b8b1baa",
-      "own": "d6c70f067ae331d6f0940aa369f516b3ce6f09f3053f763653fd73f79f230507"
+      "merkle": "e11df9082f2084a24e011be81bce600cbbe9cdb56fa5c71289cba3661575179f",
+      "own": "c23ddf67910d4874341e29439ece2293cf00038731e70b1371441bb2cc191352"
     },
     "cpp.cpp.IType": {
       "merkle": "0dd443ac677be03bf00dd3f4a0924b29f9e7ffe592ad7a666d6febcdf3735499",
@@ -383,16 +391,16 @@
       "own": "5f216997674cb3ba75e57b7ad7050326c06b46194f191b7cb16e8392e773a169"
     },
     "cpp.cpp.Read": {
-      "merkle": "e40cada6fa32b1efa4d7de92f9144ad528c6f1d7450cfb6a7f06857c440c3724",
-      "own": "a4000a8025e5fd1f869fcd92044925ccbd19a1529683e65dd854cce7905db67d"
+      "merkle": "168457ebfddbfc294c9559d262fec35303bed9236cbc3c74b5ac473c06acfd50",
+      "own": "1126203ec7fc99fd1651c8902a331283894e073c8931104435e12b22258fb2f1"
     },
     "cpp.cpp.ReadF": {
-      "merkle": "fb287a80e023e979fc1309464a5a2aa7f36165cc244bd1d8d383debcde65c7f2",
-      "own": "072e48ad4d0490379ad8562edbb42134a0853031dfeb7970ce63282b3dbb3ee0"
+      "merkle": "9f008c0896858753f527bc20059726748656256d98b53b2712cce5ed5ca4c747",
+      "own": "166fe79b52169982be46aeffea62eb8d2ad6870de22a6abb2cb76eb89425a612"
     },
     "cpp.cpp.ReadS": {
-      "merkle": "e58c63d65ede45a6a31a0dc3449201e97a5c497961b9c6d8ad86a2d575255147",
-      "own": "2c89844d4671be02b5055235c3179d8fd818737e1e4d7e9e417a8b2d7fdfe0ac"
+      "merkle": "9058c02d593f459a9a8a67ba9917043f40242eb33a5283188dec2c649108868e",
+      "own": "d8593552e58d50ec762fc9b84cd329a5e1cd6bde7634a61a792a11db2a622e0a"
     },
     "cpp.cpp.Readable": {
       "merkle": "66bb9168d8f42861331ef7538e18ea1ef99e6835f97c7e8ce8ae92765e53e9cd",
@@ -694,6 +702,26 @@
       "merkle": "f761bb63ebd69ec287aee0ae7c8fdf7543a5f488ab093f66e4a5b8e9f34b0c65",
       "own": "fa5031b1af37a978b534faf784524186f80e4b035eb693e400e2d6856c41e7c0"
     },
+    "cpp.cpp.arr2Init": {
+      "merkle": "592bc7934cb5bb137f9c41d5189c3613b78f2365f5cca7ba850565e7dadb9bf8",
+      "own": "a1df1b9fdf62071a248c67c658627e355846235f3b2c4f613ebb4e54ddf54b43"
+    },
+    "cpp.cpp.arr2InitFlat": {
+      "merkle": "414e024ed0e2ef62234002861e141b608bdf053f8f53410ef1bedf687be313fd",
+      "own": "588982d2d925bf1a4d57d3de993e4509cfc810bbb1c00e93d50edaa103306d7c"
+    },
+    "cpp.cpp.arr2InitOkB": {
+      "merkle": "c12dc05cadd47879589339f80111ccb8e93119590c8e0b848106f640ebc79091",
+      "own": "03df0d16cd4e740a8a66b2ef49531c709782884484e5d4dea77cdd7a2feb93f5"
+    },
+    "cpp.cpp.arr2Uninit": {
+      "merkle": "31804a39545ee02ce4e0d839254fe63ece532b081783209a9f8104ff02ffbb45",
+      "own": "bb9b7c839d59557e350933f79b098cfb0b03b9f00937536daf0f1060a7d48fd3"
+    },
+    "cpp.cpp.arr2Zeros": {
+      "merkle": "da0c089e964c9dadf41980f5598976c535bcd997c4f7b24f5293af571e8cb5e4",
+      "own": "3996952405ec7b5de54789ce27d6324878910443257455689f5b0f1ddf62a50a"
+    },
     "cpp.cpp.arrLen": {
       "merkle": "0b893f8bc8fb528dba09cfe0cc0295f0046eb57bd84bc0f62b58ec47055d807d",
       "own": "982c718ebbfc048fd06a19cc184a5fc7760b0182aa0f11d9fba1e1b84532a537"
@@ -1014,33 +1042,45 @@
       "merkle": "bd892c34fde54ef0dce27d069eebe1a4894925d7fd67ca2c4008a8e7f31f64ba",
       "own": "1340232d7333f09348ed8115519d3c571ab369de1d1f9384d4ee904a99fccffd"
     },
+    "cpp.cpp.cerrS": {
+      "merkle": "61ef68bd332dbaacce5f292fd405f4b5e8d547f7b3cd6cd348387d90afe3b692",
+      "own": "685874d7b7587418c7eb23737c10dce9691e95beeb6bd95c734100e9beb88c95"
+    },
+    "cpp.cpp.cerrV": {
+      "merkle": "91bc7d749b98b6f46b88cb0d87c765774630b7d8b2a7262349c0c52fb9abed42",
+      "own": "286dea05054c10010fa69eb5883697b729f5a392c97cc69c587843e7b5c12f0e"
+    },
     "cpp.cpp.charVal": {
       "merkle": "1842da71fb1bcf098a960468618fed418a85ee3328305b77951ac0da37fc47dc",
       "own": "bff31031400b7d754110ae122b70446abab0aa4bc1c689f59f2b684100b208e0"
     },
+    "cpp.cpp.chunkRows": {
+      "merkle": "4b86a104d5b866a79db976b52a5dde175eef2ec36448eedacc9b57f634748ac3",
+      "own": "2b9d795b1b089e4766f483b8b3acf1e45b27766891f52792f1b0e0692ed9ff98"
+    },
     "cpp.cpp.cinF": {
-      "merkle": "81a066f8c4f962339db4f748446cbcf8afe5e62f825f30be829cd085e5a80cff",
-      "own": "75d9c92a3fe66c2102e5663dbf36a96c76589fc8bcdc095e9dd0be1932e17af3"
+      "merkle": "cd8278b7f72dfcc3df75d65f733d4a35f34e9bd9d494629656eac39dba766da7",
+      "own": "c5f0f1d047d223a6a99ac9130e863ca99f717212929e549bc3f096d46ca2af25"
     },
     "cpp.cpp.cinGo": {
-      "merkle": "ecc7a8cd5e25aa3ab36b41b706368136ef341c733cb0fd67803fe6b59b725025",
-      "own": "248f7531b9d675f6a64288f5b181ae2b6ae71af1994b7c17a243aa20fd0b835e"
+      "merkle": "1c894572abe62277f9b2c08987cf2356233e29d2c652e34c89550be26edf057d",
+      "own": "a4c2e9a0be18c4714e49e676478e9145814c11073fa13936008c5efe638d289e"
     },
     "cpp.cpp.cinOk": {
-      "merkle": "defc451c18e86150951bc79767c68058e9fcd9bc4dac9c35fe087bc7b961b4ae",
-      "own": "185848b85fd5293e9d6ab539fa7420db4b9863570990d1354a0ea98852c1878d"
+      "merkle": "f1a39aaf5f025ecdb201aaec8995d2bddb69e1d704ccad216d5de2330b8d26d3",
+      "own": "5d7524a15eb939a1bfc5ea294c8a11e9fc909c28c2de50fe567f6c0479b91b41"
     },
     "cpp.cpp.cinStr": {
-      "merkle": "c9b3da5d4afe7f6bff3f6346ecead7df06c92c967a8c1598c15af8a52112f31f",
-      "own": "f01e44d66c4c099bfe262d3877bcbf1f1ef05f1246013d6728bd6e319c5e4325"
+      "merkle": "c6fec1824c857ed343b78c1bc871150167f5a8ca964fb8e831f347739ad8ad07",
+      "own": "f54715d34c9d4483810fe7d0d2a31fe689d594deb904a0d079725f7adacf1a87"
     },
     "cpp.cpp.cinStrGo": {
-      "merkle": "82fef0e5579e28b415986f20154ea47b4f6c65555ce7eae8d364165913ff7a5d",
-      "own": "cde255ba1bd504d90c72f8f3b772875cd84dbf59f92ababa56b91c0e4ec357ae"
+      "merkle": "1fe4d4a8b4e2af9e2b5d839cf2cb195fe2d6d1c93125c0faf61cbf062be356ec",
+      "own": "b76aab857399f1380f7bb31c86d63a61f12850830a17b5cb787f553990bac051"
     },
     "cpp.cpp.cinV": {
-      "merkle": "feb88bc0f18fde8145cc11c34a41f34b4aeac377f7ec34948327cd51c9d2643c",
-      "own": "74e47c074da1abe50a70a949055c19012994a7e9d6b671ae4930db295b3cdd9b"
+      "merkle": "efda7608e09306f6cf65423f5084ac660351655e75cb42721adfc1bea6b07d88",
+      "own": "c9b8361f36871a12bd42c7bbf99d3da24031670091727409537c34da842bac87"
     },
     "cpp.cpp.clearA": {
       "merkle": "89dad86b6244382906285895795bdf8ef368eb609856a92704c7951cdad15e66",
@@ -1151,47 +1191,47 @@
       "own": "7c3f50f276da1747bd0cd579ea30272eb467198725d7f8bbe29d1c95732a8dd1"
     },
     "cpp.cpp.coutCStr": {
-      "merkle": "77dbe6cb613414cf3077829ebda19c30d7618e6808d1703b148d6150de963fce",
+      "merkle": "77de8cf0be0bf29e33ae33226ee3be6bad4368869e1fc3926ad60c59ab9ea2a3",
       "own": "9125a345c0713b00456c0183a1b3c053e01be0502f4073088cf58d5c28598f83"
     },
     "cpp.cpp.coutF": {
-      "merkle": "7935e449e557033821c942297b019d886559d69da38aeb74a927a6774463495f",
+      "merkle": "8e216d831724c40068bd28ae63a961cbcc89be8a7fe895e4568ff6c6d30fd26f",
       "own": "06203576d7e4ddda3e63c4e367155e9a4fb98b163f685301462dd88a23701a9d"
     },
     "cpp.cpp.coutFF": {
-      "merkle": "1b017a12b3ef7e87b8f6acfdc67b1fc40e8e14a36bae8b78d82789363eeff299",
+      "merkle": "7bdf4d674a76b8715f039e46813220f0b2f87b7dd0241bb9017d8db58170eeef",
       "own": "3261056603d9dc2a39521e1a8577f55feda7fc1e8a7c6a69fd854733d0740032"
     },
     "cpp.cpp.coutFixed": {
-      "merkle": "3ef59f441670162fdccde5f37955d3f8ae8e485f5dac947a8242438d7fee36d8",
+      "merkle": "fc04f2fdd1911d4d435b0dfcfa0e0fbdab31049396a83f7e15e3c26dde97341b",
       "own": "35f343c49742c45ae1fc7c4b5e7c1b51397f6411135cc38ffaa94c28c09ca973"
     },
     "cpp.cpp.coutG": {
-      "merkle": "38c77b22bb41446b261ef1ade99eafd90e73b4a615cb56a19f4f4602222fb4dd",
+      "merkle": "e9e6b023c4bf805e544eb31f99f3cf4dd45ef772eba8eaff6e49a3fd1b77a66e",
       "own": "7c348df4cbf8459e6732aab9c8c35ccf1d2bf94118a0b12148b12e91fb4ed770"
     },
     "cpp.cpp.coutLitF": {
-      "merkle": "d79e5611ca84ce8f97ea7f390640108c0b0ddfbd80981c7a78bcff414c0a54c2",
+      "merkle": "37d1daef083a5b06d7a10cf536dfa273284df22a257aae6a61c9594ab33b33ed",
       "own": "f0788c68cfa1f1bd88ffae9dcfe68fd5942f64519df8da63acb6f3d4a2022de4"
     },
     "cpp.cpp.coutS": {
-      "merkle": "174a94933102cb291dd19e30377267cb79c832be7cf2a0e7b33a2b82c5420cfb",
-      "own": "24f2f2745e9132cf2636ad0500c6bf856d4d3ea05916b373183883c6b2be80cf"
+      "merkle": "c9a8817c019f79acc727d2f8cb4bd5e538afa29ace80de2db6e54b91bc0cab45",
+      "own": "59f832c64b7553b220ba1987f827fd6a98b96efa7c4e036abd41584899ad9f28"
     },
     "cpp.cpp.coutStr": {
-      "merkle": "744650240b801bacc04251f387c239f30f5d79aa2984a692c3315a6001d22002",
+      "merkle": "db69bb5365d16ea5db444791a7e790491b325ab2e2d98c3c03501091ef73ccd2",
       "own": "fde7640e20f5c9ecccbe698eda71ca75336d6c45c629ffd7e31eea6115e3395f"
     },
     "cpp.cpp.coutStrF": {
-      "merkle": "c53b73d192e4c791b0e2f71277714a26acd3cd62f9de6b4b88431dc6dd065bd9",
+      "merkle": "1dd21b54845736930819dbd0de79bd916e55f02f21f41acd3a80d81de498d17c",
       "own": "6ec7741a3f87f71263b1f9622d4edd79162e9a8aec5345fcf675ccc73c78b418"
     },
     "cpp.cpp.coutV": {
-      "merkle": "71da7a834267759179292d69d7aa9d5a99ceaed9fcc76dd41b0d5bae30800820",
-      "own": "b15d0e7c993d9e59fea8e417ad9955b823d934e2a68c89c661f3dde1338f037d"
+      "merkle": "a2d7d7e1bae8f6b0244666d6a9eacaa13144d9a0bb58c14a71e911e46dfeb7a7",
+      "own": "d5271024d933c06ed121ed20fd31b6b5e2f8703782c905b209a4eba00483ec0c"
     },
     "cpp.cpp.coutVF": {
-      "merkle": "9bdd6ca6c621da632b4c78c4a67369c6738385136d2b9d673e79d9d1a308d035",
+      "merkle": "db146c4d5377438de247b8068157873af49fb646712394bee05d0b4a6078332b",
       "own": "905e091ac53b38e2eba5b9c0776b34cb0376469a9123897456af9eac75919ec2"
     },
     "cpp.cpp.covers": {
@@ -1451,7 +1491,7 @@
       "own": "adc0eabb162e0e3604911eaa8b3a3efcc43603f1e559644d6b66276533ffc58e"
     },
     "cpp.cpp.endl": {
-      "merkle": "51f7d6a81e3616d36c44516d5fc23933b5b7d62b78cacc96b8570d9acc589467",
+      "merkle": "c819739fbada7798d1defb1f1adb88b49b39701e78e64951ef52f30a03a661cb",
       "own": "d3d9cf4182f2399a66e03ce6c68a8a1ec1b4e0a09ec9298fa5f2c5a6a73ec5ae"
     },
     "cpp.cpp.eq": {
@@ -2262,6 +2302,10 @@
       "merkle": "48014d87da937f92b959cab11e19851c397789e1a256f376a8dc7e6b34c3444c",
       "own": "306fcd38404d35f2ad15e39db7569bbdd8768f9ee560e56129a31e8a4d3a4856"
     },
+    "cpp.cpp.gAt2": {
+      "merkle": "66bda7638693ee66ee65cd2f548cfce2ad9f5d0ab746457fb2966191a8cc9b3f",
+      "own": "84996ebff816ef7d5dc0446d21eb39ca938fd3a4a0b5f6032b176cc065218da7"
+    },
     "cpp.cpp.gElems": {
       "merkle": "61508375e2a8b45dfd18a7dbe162e1c7fb80d13f5b6d62a752260bb92b0c5494",
       "own": "14a294e84c2416b7824dfbc1802414c272461d7c7cfe96a2584149b7b6a3a9eb"
@@ -2278,6 +2322,10 @@
       "merkle": "a08d6bf11247fefae8292faa595b6ce32b6a6fbf3ddf904692f08b0ba8c38d65",
       "own": "2ab447caee20bb86fb367c01128414258b44b8b1ef2a57ff5c0f755ed53d4f1e"
     },
+    "cpp.cpp.gFill": {
+      "merkle": "8a4e0b14f31a863b631dce0a6e923d761ed8d68a721d8dd9d780dbc87e44c523",
+      "own": "bb581ef6f95eac1ad39a2d6563d393a94fd246af5a96b8ab48c3064709bcc72c"
+    },
     "cpp.cpp.gFind": {
       "merkle": "4d7e39e6eaa9a36aa9c07d969ceb09f3a4af9a8dd52e1d1de8fdb4470748acdc",
       "own": "ef21243bddf9f8cf73227558e8742fdd597f97f8a092560ed612ac49b5f0df73"
@@ -2306,10 +2354,18 @@
       "merkle": "830faeab815fb670f0791352c3db9a27bb553cf060a7aee5a1e0cb16bcf92a81",
       "own": "632109aa07518e7796fdb10deb06e2b8c7b171f18d13860078e15174f71b8d8c"
     },
+    "cpp.cpp.gResize": {
+      "merkle": "c5c091f9cc9ede189cdef32913a13b7f781585681f90b57c2907b8bbc299be37",
+      "own": "78abb3abf9e3cbf44a4e4abaae6289fae3bc1412aca0b369543b438d8ba43c58"
+    },
     "cpp.cpp.gSet": {
       "merkle": "4cbf229791d0baa4b246768ec4cd779dd77e07a5362bac975f207595b9cde00c",
       "own": "d9ae3ceca5c9ea4725cdf90d3513d62ca28e4132be998dba5855ca8b53669238"
     },
+    "cpp.cpp.gSet2": {
+      "merkle": "6c27037e473771e6a422d39d5cd83395f3971797b5ad04d694ca9ff350de2bea",
+      "own": "79fd8c0f7177740f686c766f36e96cef888ebfc072b4bba234e4298347f4ad78"
+    },
     "cpp.cpp.gSize": {
       "merkle": "8241c811a29bc73eaa07512d8e59403df390c008e477c28711d5dd9c547b71ba",
       "own": "75d2e754f0057c00b97a387148e8a019784a1cfb4c8d59ad72d012065da52c41"
@@ -2363,12 +2419,12 @@
       "own": "af0a5713199d3f12ea809b0212f3fc768bc10c5797492f13803fdf6b6d65657c"
     },
     "cpp.cpp.getline": {
-      "merkle": "19fff09e4369064d582c7a98bcb5e47f155c7af44f369dad5e808682b62c3999",
-      "own": "2d24adb32bb82e49ebdad42d22fcd50a968354fcd0641cc0dfa388b787d45e85"
+      "merkle": "fdf5f9a9a310e9221d9f296e9a1389e53b7cf27cda114e8aab46160432e6d3c3",
+      "own": "df93fd5af2967bc06b80433a4354ed0eb6a272bfcee2d20434a6782f881bb9ff"
     },
     "cpp.cpp.getlineD": {
-      "merkle": "cb8dcd2fca9b55164460c73a582fec023846bbfcafdcd2cceba04802f1eb584b",
-      "own": "eaf5cf1e6fbc7e971dc5bd45671aeda0b4a914b9ecf529cac0262d8b7ef178e6"
+      "merkle": "e069ac5c595cc2cdff01880241c44bbfde49bbd6fa476f816a78adecb252c27d",
+      "own": "707686a730adbc568fb390133fc24750f1e2dd332b5f43c0122df3f993392e50"
     },
     "cpp.cpp.gmapCount": {
       "merkle": "a963b8298c65f424f5f15d9593e62c8673284598e5a8813f7c47891ac4a251ff",
@@ -2631,12 +2687,12 @@
       "own": "0bb6208075115ad4a12c4995c111ed7ebd99403a03c7ec54a16fbc474f8e2930"
     },
     "cpp.cpp.ioShow2": {
-      "merkle": "f3183da1e7a1be2a7d24ca4083565e6502754539c1c9fd4174de6110f8f4e0d7",
+      "merkle": "49444577fbd747a9717cfff8c54524c3b0f80e1b38b785428b56fcd040af286e",
       "own": "816d25ef9dd81c4e529dd561e1753c615ebb572802ae187324822dd957a2880a"
     },
     "cpp.cpp.ios": {
-      "merkle": "e2a922088894fefc5c6c1dc486c988e8c8e5784a83ebc38cc1b973cbc6b04c6e",
-      "own": "cfbc2f1a4910c7a19dbf9f1ec55c09c2724e299bfd58f69ba85160ec02ea6294"
+      "merkle": "7aa9e18ea431d7aae7925766ba602a4316eade5150c9d20c455cb490311bcf83",
+      "own": "a500434c0645fb93c1c211fd2310f0ed5adbdeeb8ded2d27cccbbcd5e6d3861a"
     },
     "cpp.cpp.isAlphaBool": {
       "merkle": "5dac4a07c3a1836b9446bbb62b0586b6d5b8bd3c3b236d1c8e020cc6594d9f06",
@@ -3267,17 +3323,97 @@
       "own": "1f45bd0f4a209424c5b7d5bf8a025183320f06c2660c007623c56029b29876d4"
     },
     "cpp.cpp.mkIOS": {
-      "merkle": "a7795a98d1c7c4aae5d1b8dc492843d37ac2d8f2c3a8b5af523e6f69a8886308",
-      "own": "3b4c822e0031cad94f567c2abd43f83e126d217fe237439d9fd2623d48f4d4da"
+      "merkle": "86dc6689f143e5efe2a2d9de88621a7885cafcba2d12fbe9672e19d8f8eb3fb0",
+      "own": "766e5bac4a8a24c178e520b1432761cca61d8dfe4bbd826ecb21701e68759eb1"
     },
     "cpp.cpp.mkInj": {
       "merkle": "569254e4824c81b9ee987dab78b0fc065ef5f96d39d5d28b9d0d124486580cde",
       "own": "47f179d33e6acee33837acdfa6b9d428c33d0fca13d0ded755bc2440f7f13696"
     },
+    "cpp.cpp.mmCount": {
+      "merkle": "55fc6e6277ff24e503103db6b00ce18fcba06dd63ac8c8c153f66d5204419ce7",
+      "own": "ad489581dd4a26576563c503f1689560855194f67da7dad4b866334aa1b00ae5"
+    },
+    "cpp.cpp.mmEmpty": {
+      "merkle": "2a23c245b6a37d0b919620b395c0f03c43f3233ccb3a4ee0ad6eca731f85dcef",
+      "own": "38e46e0726562c6307835036d2f60c441e19d51669eb816d59970a033a3ae5c1"
+    },
+    "cpp.cpp.mmErase": {
+      "merkle": "8b1a98d7dd35b9b4a378a6db6b63c9abe946aa25eb889c87726cc9d6146c1c73",
+      "own": "b2e7cd5775a2204b588e3e0d71944e272bf1e78846256fb970e44eea09329c4e"
+    },
+    "cpp.cpp.mmInsert": {
+      "merkle": "0a4d838ea0b231f649e9881e085d18dbc57082885f4b745c011001ac61e4c64f",
+      "own": "42393f9a5fe713578b876d06177cb0cea08583f0765d4f4338e0ee038f2437a3"
+    },
+    "cpp.cpp.mmKeys": {
+      "merkle": "4213741005bc3152bf0a3ae2237bd78bdf31a33b8c0f951c68a9a372c1e0e1ed",
+      "own": "9cd91590aa8ba599502b352cf70370a837632fd119619c7abcb2ab4ea351bcd8"
+    },
+    "cpp.cpp.mmLt": {
+      "merkle": "71fe7cbf5f5040f9b245fe1aff92ab99960112cb632c13e858e682521ee3edcb",
+      "own": "ea7288d540c5015945f31b51ead68c0b452aab982e6705793a3767a7680edda0"
+    },
+    "cpp.cpp.mmNew": {
+      "merkle": "384f6ec0c55627a1ce21f117deb69d03fa9b933a8a606ba3eeddd1a2d9520762",
+      "own": "be86fa5286f925be0ae5cc9bedbb4efa505f2a81588015162600a3a7fe7fc2f1"
+    },
+    "cpp.cpp.mmOkB": {
+      "merkle": "7600758480e410bb91c6b9d1a1def4f2448a44dfc5e8f3d1492ab96f25ef28b4",
+      "own": "0f63233bb3cf79357f9ba83b13f561e3f28cdc41087766d5ca6c95333f762285"
+    },
+    "cpp.cpp.mmSize": {
+      "merkle": "2c9c9e3b3d0a263fee07699e7170a2f8997a6faa8673a1164636937d45794648",
+      "own": "8ba652d69c4b0bd2e6186a3d44feacfb04290b30dd41d3d98bff0694db09e525"
+    },
+    "cpp.cpp.mmToList": {
+      "merkle": "b57c16094d6a281886b8fc36281eb1fa51a8398fdd0006d9ecdd9ecd1c983973",
+      "own": "6aed2a2c37262bf0985c636c4905b6ac8c4e0df595204841c514d32e1a3946c8"
+    },
+    "cpp.cpp.mmValuesOf": {
+      "merkle": "b1cde48bacab99fa5572dc8bb6887620fd5bda6c972a723d31b97a03e4255d2f",
+      "own": "96e10899a123d59f605137f18636325ed1c03a1723ad8ec0976022e97c383abd"
+    },
     "cpp.cpp.modNat4": {
       "merkle": "0a9b2b06b9d3e09ce24c0f587654f489714d9cda79118dc29d36e7297b7ed84e",
       "own": "a7d09eecd3ab05ae8a65b89270f5e177dafa303d6d1fe64bc7272e4dcbb496ec"
     },
+    "cpp.cpp.msCount": {
+      "merkle": "1536a5192c150307a3a38ac300ae3a609590e6b9cee198051b3c82c46f666f87",
+      "own": "7b9f2b29e64c31366a7d3db5abf32718543d27c4a4a69362ae96ae5c9be411e2"
+    },
+    "cpp.cpp.msEmpty": {
+      "merkle": "d233de52d9f7544582c016615a835d3fc94f22ad83db66d2c17175fa91ffe611",
+      "own": "493dd38eeeda5eb204307fee9b439ddd20931c483366efeeed5c73ac8075ded2"
+    },
+    "cpp.cpp.msErase": {
+      "merkle": "4df445d04fbb817dbeb377e46fe986069f8aae99ec96ce51e794ac991848600a",
+      "own": "9a8e74fedbe7bf37eb2d5a44fae3996eb1a0424eb14bf3046b72ba8e0a785b3b"
+    },
+    "cpp.cpp.msInsert": {
+      "merkle": "b8b2a7212cfe77dde7e9b926a10679a40d1d96fe9338445515ee7d653d6cfa91",
+      "own": "521a26fe2998367c18a91093aeb1ee16bf8d91b40f532fbf676e8152199d879b"
+    },
+    "cpp.cpp.msLt": {
+      "merkle": "7c772951c206f322c08c97a7b7118567469b88c8ff0cf81cdf4d1e5cea2a7997",
+      "own": "80ef409b87c618e473c2435e23a6e7fb26e15b2fc62fbebc6adca56ac0635ab9"
+    },
+    "cpp.cpp.msNew": {
+      "merkle": "cc47d55f680bd89a74eddc52267d3e75d33559c37171b0b3e662186ed83bfc7e",
+      "own": "752cfa6ffde5a715239d6a3ca7ebb841c24cef607cfba1dda92c426bf5775b0c"
+    },
+    "cpp.cpp.msOkB": {
+      "merkle": "3155f7c532dcd06fba88f58c9fa1a3536bd4ba043555d7091276b57158cbb047",
+      "own": "f8df08e988dc9b0bd97469cbe06859f0709bde02bf1d204bd2667cbb346da1dc"
+    },
+    "cpp.cpp.msSize": {
+      "merkle": "e0d31017f6624152ec3df28b6d0c21e2194e73c0af2414c85b0c4a2e37756c90",
+      "own": "d096922f7d0a9de8d11b46b5fd81aaef9d0c7e65c7a2859cfd9bbed2663d8b33"
+    },
+    "cpp.cpp.msValues": {
+      "merkle": "56fb39fba05746dcdcb6717cbb6d121e73272bd6dc65f49cf83ffd8209a77e5b",
+      "own": "79d936aee6e3101df235a62cc3e8191a0a5b80c118f79dcf5d675bdfe286bf1a"
+    },
     "cpp.cpp.mul": {
       "merkle": "aed5e5eb778c628376866474038dbd047492b4dd1dd9022e1f1fdf7936c8a1a2",
       "own": "59c50c23e150ca0a1f4c80b98130ebe99c1d50e11d4ba176a45fef1cdf62a7d5"
@@ -3391,12 +3527,12 @@
       "own": "f7b1babf1c65149a5a51ffcf6df22e121731c46ace35cd4d8e578609b2f9e9fa"
     },
     "cpp.cpp.numGet": {
-      "merkle": "1104103f851548bc4c43a6069bd68da6e36d7b2c1e2a725e8050bd14fc588e07",
-      "own": "1695970fe5bf60c7bcc7e4ec240615a8edb67a8e482a46fee62f1d031681f096"
+      "merkle": "cefd07d56f645a8e0d0feb4391854a027144e8e36d66ef0b472d610e7874ed47",
+      "own": "aa00710473ed78046a572c061adf1f3f6c3821903b0cfdff89f3307d1039569f"
     },
     "cpp.cpp.numGetF": {
-      "merkle": "6625699ca96b689ba4f5f42369d46a671875bef31f5586ac0cbf772547dbccab",
-      "own": "44f71546685d2dd57f34b71b940739290d27ab5a04c05cc8a5445d283095af0c"
+      "merkle": "b99bbfba83c51fee43aa92019a77cb78101591822a60803aae93303a7b8aa500",
+      "own": "baf90518ab2f4d61e76d909435c874d115a0c85e63b3562e89b88a42f89ebc84"
     },
     "cpp.cpp.objBytes": {
       "merkle": "698de08c2485a4cfdd370c7c4c57f19cad202a09d88700ed5a2adf33e4078bdf",
@@ -3446,6 +3582,10 @@
       "merkle": "2fbb98b6275ee349b83f3a484ac8f3cd7fd092da0e4f397ab8ba28204aac09f9",
       "own": "cef6c2e785e2d1a00c196ea7dab3e51970d4740e02bb7c797f0ca36b488b3545"
     },
+    "cpp.cpp.padRow": {
+      "merkle": "0e6c3951a1b17f0d43c820fde0292db9ee368d260b9fe0a0e5777751eae7b36d",
+      "own": "b46b43ef25d9eeae4cf77c6d17cfc69dcec5b66148e659ffb4a1b9c565065600"
+    },
     "cpp.cpp.padZeros": {
       "merkle": "2498eeee194c931aeccd3a3c6bd46c28e3c44948d9e7a1a90e1b031c9b724112",
       "own": "81313f78911befcb9ac753df06d5c39c0bfd400762e0ee7d8063e49a749b9657"
@@ -3731,8 +3871,8 @@
       "own": "47270ee50a909b9f076e67eede18a9130e70d39e26769d8cffbf13f0f07ec1b3"
     },
     "cpp.cpp.resizeA": {
-      "merkle": "2aae597e6b2c1c75e836e53e8ddf99ad04b5ead2222c4704be9ffa030a831e4a",
-      "own": "942821e01fec7e93127a9161f5b78e92c303f8879aa3094690591af87633a36c"
+      "merkle": "7ef56021f2f2b9fd8e12aaaa18e1fd11926d3effaca9f177611b95e91889e967",
+      "own": "cb150c9b7fdb06c2504af4faa55353e3451072fce153c228bc04e2aeaacd0be0"
     },
     "cpp.cpp.retJ": {
       "merkle": "52bc4dbf7e24abde5d838fbe183187f5efe2ec1886924ceaa2b9cec119839d78",
@@ -3751,12 +3891,12 @@
       "own": "b4c10ddedc16dcbd0c8ca95f4abd7c127067035db4978107a66b663fb5412095"
     },
     "cpp.cpp.rfSt": {
-      "merkle": "cfdca374199ae96d1d12178aa4fce2f158fc16c1e71ec4f59192f852cfdca5e1",
-      "own": "edcb10cbaa9595db019c3cba721d7019bf25c6ba8e192e67ee64b7ef6853223c"
+      "merkle": "86687ec50cf1934ee44ab49583c415979a69e31fe2447d960e10d869669b4036",
+      "own": "01bbcfb606f27259dd20712b30f0f8fcb653b9c42f24e0fcebc508fdd52be503"
     },
     "cpp.cpp.rfVal": {
-      "merkle": "d03b5e506e5e7f831652d141ec428f0d639491999ac9cce4e17b263f808bfb61",
-      "own": "2e670006d957695808d3a5411d966525e6db3ee2ca2c3bcc2d8402e9416d6f63"
+      "merkle": "1419a8a0f19df23ced22cdbfcb45783c1fe5007f5fba4f2b3e544336f8f0cfc8",
+      "own": "80ea27a3721e5f9d7a01de2ee93ecd27a630a994397cd5dca73dbf416ee63abd"
     },
     "cpp.cpp.rfindGo": {
       "merkle": "10163f8e1bf2660766a876c12a57cb82439086081c8d24afa464528ec67f66d1",
@@ -3783,12 +3923,12 @@
       "own": "8c2cae195e9b41950bd68a636873a26d23af45b9cc4b7760c4135df7a5376bb0"
     },
     "cpp.cpp.rsIOS": {
-      "merkle": "eebec28eb52dfdf0ed975c23ca790c3172f4ba508da50b8dea30ea13dfaea908",
-      "own": "51b184ea70c62ab7c8512369ad1c412fa8b24a582eaae72b12056418d1e27c30"
+      "merkle": "4dd8dc27474afc9e5c12286937d3693eff6638a4ae75996fd08e83d4a1491095",
+      "own": "b5c2a4d5be5f6aa9910f5c15b3c904b88cf28b494dbc1a951facb79b6db1878e"
     },
     "cpp.cpp.rsStr": {
-      "merkle": "807883ab825f9d7ce3a9cbffdc728155dd31896128a48c468fb2e4abcedf7b3c",
-      "own": "7bf0978ddf9383e540e0ba1a45df72b25e71394aa1efda4563f484b3aac25664"
+      "merkle": "b14fd99ff2443c981b9f334ca21ba8de5cf7b45f456da052a8c925fff0eccd75",
+      "own": "21b200617f8e8ad1ffa593ebb47ee9b468dc152511c5ef411bcdd5e10b4281ae"
     },
     "cpp.cpp.runFrom": {
       "merkle": "9d4a461edbc2d39f5e0ea2a4a2f1039c2bc8056f4b35dd73173e42cbf0531974",
@@ -3971,8 +4111,8 @@
       "own": "5d00edff420da75e87691a635012ead9ca8f9c41cbca095e08b34c4aa516b02c"
     },
     "cpp.cpp.showRead2": {
-      "merkle": "d55b066a30f457fe0d05c75ed27154e3c77817bc5b43e45a3e42d757502c61c8",
-      "own": "d63b17a05281fd72fc49a220aea55ec3a3ceebb7afddb47fe73e2663aa8113bc"
+      "merkle": "c4d3d94fa3067acdf69b347be7c6c2f37df87253e697d37bd1f910fdd53cd133",
+      "own": "3899dbf8157e0bc04cbc959a6f5447cf0a5f6f804e7124475e807b0736a86406"
     },
     "cpp.cpp.shrB": {
       "merkle": "7f5bb1a77449d72dd452711c9cd8dbbc1dff13a271951de88ba4d128de9b6062",
@@ -4994,7 +5134,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2624580,
+      "bytes": 2657692,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610102138",
+  "version": "0.1.202610102205",
   "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",
@@ -28,6 +28,6 @@
     "modules": [
       "cpp"
     ],
-    "packHash": "1b95cae5db593c85"
+    "packHash": "b23f23e87fe76f01"
   }
 }