@cella-lang/cpp 0.1.202610110024 → 0.1.202610110111

package/CHANGES.md

@@ -5,6 +5,22 @@
 
 ## 未發佈
 
+### 陣列參數
+
+- `GFull`（`gfull`、`gfArr`、`gfLen`、`gfInit`、`gfullOf`）、`gfGet`、`gfSet`、`gfGetLe`、`gfSetLe`、`gfFor`（`gfForGo`）、`gfFold`、`gfFoldTo`（`gfFoldGo`）；引理 `allInitNthG`、`allInitSetNthG`、`ltTrS`、`gfInBounds`。
+
+### `<cmath>` 的其餘
+
+- `ffma`（`fmulExactV`）、`fnextafter`（`fnextafterV`、`signOfV`）、`fmodfInt`、`fmodfFrac`、`fcopysign`（`copysignOkB`）、`fscalbn`、`flogb`、`filogb`（`ilogbOkB`、`exponentOf`）。
+
+### 字串串流
+
+- `isstream`、`osstream`、`ossStr`；`Read` 的取值 `rdSt`、`rdVal`。
+
+### <algorithm>／<numeric>
+
+- `gAccumulate`（`gAccumulateOkB`、`foldMG`）、`gCountIf`、`gFindIf`、`gAllOf`、`gAnyOf`、`gNoneOf`、`gTransformInPlace`、`gFillA`、`iotaV`（`iotaOkB`）、`gUniqueErase`、`gBinarySearch`（`gBinarySearchOkB`、`sortedByB`）、`gNextPermutation`（`NextPerm`、`npMore`、`npArr`、`gNextPermutationOkB`）。
+
 ### set 與 map 的迭代器
 
 - `GSet`、`GMap` 多一個版本欄位（建構子 `gset lt xs ver`、`gmap lt xs ver`；`gsetVer`、`gmapVer`），erase 時加一。
@@ -13,7 +29,7 @@
 ### 例外
 
 - `ExcKind`（`eException` … `eOverflowError`、`excParent`、`excIsA`）、`Exc`（`stdExc`、`libExc`、`intExc`、`strExc`；`excWhatM`、`excKindOf`）、`Thr`（`thrown`、`done`）、`throwS`、`retT`、`Catch`（`catchStd`、`catchInt`、`catchStr`、`catchAll`、`firstCatch`）、`tryS`、`uncaughtB`、`thrownState`、`Xr`（`xThrow`、`xVal`）、`bindX`、`gAtX`（`gAtOkB`）。
-- 丟例外版：`stoX`、`stoiX`、`stolX`、`stollX`、`stoulX`、`stoullX`、`strSubX`。
+- 丟例外版：`stoX`、`stoiX`、`stolX`、`stollX`、`stoulX`、`stoullX`、`strSubX`、`stodXF`、`stodX`、`stofX`。
 
 ### 二維陣列、resize、cerr
 

package/index.json

@@ -214,6 +214,10 @@
       "merkle": "e5922bd80b144e2684f1d4c7bcd5596e993a4b42e2184f14bb0b815240df23d1",
       "own": "a475075fe6d1218f216752a3c0b750242169ecdd974e2fe3d4c8d9a2c9e714b5"
     },
+    "cpp.cpp.GFull": {
+      "merkle": "eb80d3cd0fee4d4d0b604059bcf920b4cd9b88e075beaf401f2eb7d3893d501f",
+      "own": "5abe1270def80a93c1a03d6a4c05b86a041a1b395fb7a695bf8ad5a1b196d39a"
+    },
     "cpp.cpp.GInsertOkD": {
       "merkle": "181a49eb1a1f43c81de9a731397b08c3c334cae07ddfbd4364e07629d80a2157",
       "own": "6cda4f9b32ed7b93b65fe28a7e2856bd6e302e41fd2f67a27ecea93f03b951dd"
@@ -358,6 +362,14 @@
       "merkle": "b8135ea41e2b7ad2e786840ad8e4b4e9c71eafe2bfe21b1c37a10b59b421b34a",
       "own": "f4fe7d74d3fe367a623acdf59e46a70d6ec5047cf3b4dd08fb15b41a6d6addf2"
     },
+    "cpp.cpp.NextPerm": {
+      "merkle": "cf78041e32aa0103f6299c62abc4fe7762b72a7189b5ebf3891a8c7d2d623330",
+      "own": "15afec6bdb83f26e135b71588deec132f66756e1a0ed3c5f83ec3fcd2e7fff3a"
+    },
+    "cpp.cpp.NextPermL": {
+      "merkle": "c00b934188f4cd1fcdde3d23918bf05b704c995854b97a3952a2aad1f4756ba6",
+      "own": "04b31ae9810c6898aa980ed1a66ef4ffd87486bb605a22bd03f87ba39280002c"
+    },
     "cpp.cpp.NonEmptyD": {
       "merkle": "0970fb617811ad8f0cb9dd1c2c87afa294cb707cdce6aba6063fc02863aa6a0b",
       "own": "fcc52e80fc28bc554b66a118d878e7653e58209026f481e2e4b1c7ece5dedd2f"
@@ -674,6 +686,14 @@
       "merkle": "2560bc00592bccdef1450853c77668948b254b71fff546e4aa218782956c02f2",
       "own": "8a6a225045c57a5bcb022f5a73a9132c208f408a3702f3d23cecd14786b18695"
     },
+    "cpp.cpp.allInitNthG": {
+      "merkle": "8851b0b9b628f6d2a57e0671a8d4026ea7df278fd3ff7efe8f32f97560f4bc78",
+      "own": "2e09d7a101c0c43c77ade49328d223ea75de06b15a3eab6df5bd8c8383729770"
+    },
+    "cpp.cpp.allInitSetNthG": {
+      "merkle": "9de72192f784a35c0bdc0a8ba97cb0c54e98350be2e80dd149d4a18351febb80",
+      "own": "c14896521e6c96df4d50d1206ed1da7147de5140f154ac4ecb3ac682ddbd8ee4"
+    },
     "cpp.cpp.allL2": {
       "merkle": "8bc2c15e4a640d133ea721dc65c8bbfb3cf2b85ba2ac83c32788ec7899b5740e",
       "own": "bc83b1257b7d725a8c55ec56b29737be6da543daf0287c19de31ff2d0899395c"
@@ -1222,6 +1242,10 @@
       "merkle": "cabdfa58fab6ede3357e2bbd21c1ad94d804dd90fb212c8ec4c5e0ef8c7b6be1",
       "own": "4844bb47a294d6101722f4afeb9493be40aeeb342980d1d54135c0d1ee5464e5"
     },
+    "cpp.cpp.copysignOkB": {
+      "merkle": "1c22f8cbbbf6104720eefcd30dcfbce70dd7a6921e0913b36fe0e993ae0447f1",
+      "own": "8263ee44fd6ff5886826a5dffff1f3ad4fad3457045e9de1cb7851054354a42c"
+    },
     "cpp.cpp.countA": {
       "merkle": "5b2b0d9b7c638d7c15a01957e9ff7aae3b2779fc8d9589c0c9d7c009261390eb",
       "own": "5ebb95c1166bd2193805f98fb57b760feabd19445b1069c89a6dea20c7bbae3a"
@@ -1698,6 +1722,10 @@
       "merkle": "e134eb9239d5e1477aa847393c26c60259c77154275935baf522ec435cf88f7b",
       "own": "98db856b03e5352093fb68f238e8a7c8a31168434c60eb82ada87edb2cf5f114"
     },
+    "cpp.cpp.exponentOf": {
+      "merkle": "b1b8bbdc00d48da8d0617cc36e22be49491d0eaacd3d861f4b31f341e565a4b6",
+      "own": "a126890c5ac5a0834185bbbc375cf2499192b6ff851d62f14fb057e134546869"
+    },
     "cpp.cpp.extA": {
       "merkle": "e8513e2057e3739bca1a62169e5f983398f54f6b72834be89bcc72f586f6071b",
       "own": "db1badef7d58873fb8b478a595e1cfdf3a38942d6337b9f7feb58450682f2edc"
@@ -1842,6 +1870,10 @@
       "merkle": "c861cd5eafa031157227aa8b52ef83165c5aff894674a10844729ae949c1516d",
       "own": "c7e60ed9d0dd77150ac3231329d45c068919f4fc83058b961d6a08bb28f9fdea"
     },
+    "cpp.cpp.fcopysign": {
+      "merkle": "23729806831403e206a99f4e7307dffe47929b1476793cd1b2f38e810ed840fa",
+      "own": "0879734459eb3259b2fd1aa57bbca5fff8ce5c9f1525e451163beb77dd3a6c82"
+    },
     "cpp.cpp.fcos": {
       "merkle": "b943a8a1655a188b37b8d251e9301813f58d13d1fb74c0586bea3c24c8df24fc",
       "own": "aa12870b99efa77b25abd86dc24f0146277488602877f73d644fccb5b65c781d"
@@ -1902,6 +1934,10 @@
       "merkle": "b85402c6d06845a43cfc1cd60a2975866f56abf3e7e1496d6724b327ffc9a345",
       "own": "92f36d876a897577cdaf290beff40cdde3bf77c18e32a511ed9311e77f557c47"
     },
+    "cpp.cpp.ffma": {
+      "merkle": "e9038b9ef86a46795dbc29c03f503f7f1c202450d7c0dc329de41a5304420903",
+      "own": "571ea159dfcc08e8bb5c53f56053c9f6a3e8978ed1c2d04dbb33eedee9915cb9"
+    },
     "cpp.cpp.ffrexpE": {
       "merkle": "156d512705698b48885c88f086bb78b655c2db566772e36ab7b36278ed049ad8",
       "own": "e2d3b7cc991e1c7fd6bd7fc48408cfe91c9f57e559a736e83e019630f8371937"
@@ -1922,6 +1958,10 @@
       "merkle": "096a35550e65c1f42a2d7745c85d9eef943a7d00cec411dfbdfe615a993a1914",
       "own": "1cdb2ff2bfe573f5953b7c506f6fd536c54cf3d3cc35865bbc96c1be2ca3bc1c"
     },
+    "cpp.cpp.filogb": {
+      "merkle": "dcf39cd6952c465fe450270e408707772730967b3369d302080b17593c952c7c",
+      "own": "0cd4673eb43b9859233078255284ee896705a4b01860bb18b2ba69c79ade9cda"
+    },
     "cpp.cpp.findA": {
       "merkle": "34b87aec169e4ddf3aabdb9d0557e3b3c91b56fc2559f32167828272c02f2ae1",
       "own": "eedd34476122eaa51004e74d31b8e1e7c5cb4af1b148139eccd8f36ba12366da"
@@ -1934,6 +1974,10 @@
       "merkle": "363b934c285a3efa43767d8d430f5073ba053ef22dc9d926a7557b8054c5a362",
       "own": "65db8e201bd5fe34d7d752732d583aba27bb50c1304184e01eb813d8bc5afc12"
     },
+    "cpp.cpp.findIdxP": {
+      "merkle": "96dcd90af5971171b389546ce5efcaae0a4fa673a994429c721f2ef25395e432",
+      "own": "f323800f71a247c89d568b87219b6c347798b09f34869cd34211b8c6833ea17d"
+    },
     "cpp.cpp.findIt": {
       "merkle": "a47d417a140b6a781d13fbde5849eb1edbb9a4d369f6bdfada501d7543e667f4",
       "own": "15bfd8f71656103a9f8db9b58c9f14f3d5feae6edaef9e6e5c90a292d8db1414"
@@ -2070,6 +2114,10 @@
       "merkle": "e80b2b94d1bf6528993a9e542ab6461aa7163a654e492d6d8b9ed1671498dc85",
       "own": "53cc9c5c4d65659e2718fdcf21dd8a34f3129673741338b4295508fcf5ff5add"
     },
+    "cpp.cpp.flogb": {
+      "merkle": "1a07499f3c6667b04da9ccc06baf8f52da454dac5676827b3dfd60c84a690763",
+      "own": "5020c7edea111496085f68a2acfce64057c55036b889cb0cdfe0b2e30c6f5bd9"
+    },
     "cpp.cpp.floorDivN": {
       "merkle": "b7be85ab2c7fc80f1c722e8d59d515c8de9a835c61fe79841ee7cb4015f823f3",
       "own": "7c18f438e43c6e9cafd1c034b3816b3b39b7d302cefd6f1c59a1d9d2461c6922"
@@ -2114,6 +2162,14 @@
       "merkle": "4cfdac841b46a9ced8957b9b67f2984d4c934b8dd09c44f3e17486cd88625100",
       "own": "6d304afcf1de0f298c80bccc3819c4eeffe02f71d026afcec1ff4c072bb92a12"
     },
+    "cpp.cpp.fmodfFrac": {
+      "merkle": "270f7b43b2bf52cc9673726de6b00d3669dbbdd8a48563a602cfd0f3d399c167",
+      "own": "604115d54b3a01c499a986480d51b1d495c882f09a149726c532fbf44516a64a"
+    },
+    "cpp.cpp.fmodfInt": {
+      "merkle": "f471d31a88a176154c26496f5297e8f141401e4d42a00f70de13f0fd98326241",
+      "own": "8c570fc8920947cd9d7e6f29ba822fdec9ad4bf2dedb38b126ea0bc99277a679"
+    },
     "cpp.cpp.fmtBase": {
       "merkle": "4f362e41c92bb75fcdf93762e020457312df07d6fced62e9f7762723da577158",
       "own": "656e9a536dc6847371d42749c72fdb23b4d88c3bc623062a70dc008d0ebafa4c"
@@ -2190,6 +2246,10 @@
       "merkle": "d9bffcbd14997138415f59b92c51d610ae3790833a3c034c47d6d39909544637",
       "own": "751fdbc797cb914d0df2917da5c76f53c295c4a6dcb72767e621b04168d76fa9"
     },
+    "cpp.cpp.fmulExactV": {
+      "merkle": "4987546cd8f9efdf29452c95d863380106d3f993d2224c84a04aac2ba2bbdde5",
+      "own": "8a13601536220c7475f8cd93e79e868594febb32e1ecb82e8e62b3cabc977a42"
+    },
     "cpp.cpp.fmulV": {
       "merkle": "aacf038b69195e29016e32892d1bb65965ab9573874b68f7a3f84a8f3151545b",
       "own": "225366bd3aaf41e96961106df52870b9fd2db6303fdd10bc440301a759b91bce"
@@ -2206,6 +2266,18 @@
       "merkle": "6ebeee16b9b8f1a81f3e0a426b9247d0ed0e606b8f662afc20399cc8512bfe23",
       "own": "4da821d9713a98a466fead0504e3cb4c38c2422a52e04b783fc4d81dea54203b"
     },
+    "cpp.cpp.fnextafter": {
+      "merkle": "91e3e7c3f7e9fa1aac9dffa980075656f4c87443607df329bdc20e72216357d2",
+      "own": "7aa2a40a82bfe741c8ae30d58ecf7451f440cfcb1b97587a87d81dcccc93db1f"
+    },
+    "cpp.cpp.fnextafterV": {
+      "merkle": "8fbb834fbb417c437734e5619dff9ab85cfd6e52e0d44dbda45555c2be617ae4",
+      "own": "27d1161625d818b8f11bb9ac9724d1f43999d592d4ff9465eefb48d2061c7dcf"
+    },
+    "cpp.cpp.foldMG": {
+      "merkle": "d020f23d06691a8c61cfc5dba72d1f1ed6d92eed2b25eb3ce3b423fd4914b323",
+      "own": "05ccd55ce844ed255fc67c052d3cd4bb240cbcf476074d011561c6bbf5fc2cd8"
+    },
     "cpp.cpp.forCount": {
       "merkle": "af671caa65d7221789ad658a93beacf17eec02be7b12b436f406c90207eba2d3",
       "own": "e575cd1ab60141fe682923f5ed6b5b5a8ba884dd48caddbf2b3f398248066e4d"
@@ -2338,6 +2410,10 @@
       "merkle": "3a809f7d41b178ec20b24ca84cc041fe6d785b0efa762928eafa40e4f30c2de3",
       "own": "3f02c3bc13d0241b055c19af82134ef7b6a8256dfd1f5f884cc451d6bab7b16a"
     },
+    "cpp.cpp.fscalbn": {
+      "merkle": "4c19c683a1bdba64d9998e7633b3af28ac4f1df6fd963e096dd1ffc9e382049b",
+      "own": "452aa3df74603e67c316131e6533bbd771ecc74b10f07693cda3f6262ea16fb6"
+    },
     "cpp.cpp.fsignbit": {
       "merkle": "8d016103001f72b0e29c004585d4453d4db788671dcdce0c7935dad301d2c884",
       "own": "51906e4edc5277c823f84167d04e5bd869ade506216d7d6efe4eb85d6ad8a5a8"
@@ -2386,6 +2462,22 @@
       "merkle": "f744adc2710732853538ba3b2a37a0881d162a9cb354dacde9c3bc28d1b4badd",
       "own": "a4710bad12efe6c8f9c38938ea8acfa72655e4c648aa106ab866e3c948360735"
     },
+    "cpp.cpp.gAccumulate": {
+      "merkle": "bfe24d426c8258c937eab2fea042c1f7e07050a8995cd0f1eb625a4c1f7ea8a0",
+      "own": "7a6a33ea257a179f03f892cf6deffa22c6505ec8cd7352d779ee979f437715bf"
+    },
+    "cpp.cpp.gAccumulateOkB": {
+      "merkle": "83c99e7b0705d076a6dc27d526b3bb944f40051e7e9601a302aeecfa1166355a",
+      "own": "0a6095413d4d4781bce40f070016a5dcb81fcb6c9e15aa2fd7b7c90edec3fd5c"
+    },
+    "cpp.cpp.gAllOf": {
+      "merkle": "f00a14da4f3c5561d6eceea57684c59379f7b5b3ab7a7ba5f786e379734e7882",
+      "own": "aa05bb835da9c55ca63f72b64ab656ae3e85c0414f5152876992d5de420fba75"
+    },
+    "cpp.cpp.gAnyOf": {
+      "merkle": "04617591856c5980ef614abaabbf4f971d8a94ff5e4bebce4b715ca1ed908ff4",
+      "own": "17270c6992174202d698382ae5e98be768438c033a3121d676ebfc8953f4398f"
+    },
     "cpp.cpp.gAt": {
       "merkle": "48014d87da937f92b959cab11e19851c397789e1a256f376a8dc7e6b34c3444c",
       "own": "306fcd38404d35f2ad15e39db7569bbdd8768f9ee560e56129a31e8a4d3a4856"
@@ -2402,6 +2494,18 @@
       "merkle": "b75650266e976219704afa429fa52f71bdb4e7d7fa38ebceb32c699a3cb7e2ce",
       "own": "29fcde19f83f1b8833e830bc34f67945847426d583c34cc10a699e02bf527fca"
     },
+    "cpp.cpp.gBinarySearch": {
+      "merkle": "5bb5ed502365ae114f1807fccb4221bc73832f0d257bed8c36effc8a5c08b98c",
+      "own": "623a16f8f32d10435e77d29eec70fb467407e065390760e9af9a90d8ca563777"
+    },
+    "cpp.cpp.gBinarySearchOkB": {
+      "merkle": "8c37228634ea6eca8c9b76d7e6eca368136b3fa239ec2afdd41cd43c3e6c78c6",
+      "own": "d5e3d73f25a860fe6d57a2b8b32b15ce2547b2114fd88a0959ff5ecd4ff8be7e"
+    },
+    "cpp.cpp.gCountIf": {
+      "merkle": "517e48ad579f700f8cc2ec945121d1467c1c805537b1c0686f792c10960926f5",
+      "own": "e41797c52c42893b8ed699ab0da3f2003e2a67e2d3a16d395773ceee70f7b5d5"
+    },
     "cpp.cpp.gElems": {
       "merkle": "61508375e2a8b45dfd18a7dbe162e1c7fb80d13f5b6d62a752260bb92b0c5494",
       "own": "14a294e84c2416b7824dfbc1802414c272461d7c7cfe96a2584149b7b6a3a9eb"
@@ -2422,6 +2526,10 @@
       "merkle": "8a4e0b14f31a863b631dce0a6e923d761ed8d68a721d8dd9d780dbc87e44c523",
       "own": "bb581ef6f95eac1ad39a2d6563d393a94fd246af5a96b8ab48c3064709bcc72c"
     },
+    "cpp.cpp.gFillA": {
+      "merkle": "0fae1d9e306de2f4aa499f1ccf2280f90581057514ef465096fe4043a1e3c2e2",
+      "own": "7fa1a20935447fa5a822f63b1dee8a178da55c313f74933f43b3e1e16cb21fbd"
+    },
     "cpp.cpp.gFind": {
       "merkle": "4d7e39e6eaa9a36aa9c07d969ceb09f3a4af9a8dd52e1d1de8fdb4470748acdc",
       "own": "ef21243bddf9f8cf73227558e8742fdd597f97f8a092560ed612ac49b5f0df73"
@@ -2430,6 +2538,10 @@
       "merkle": "0b1b4724a5967426eff60c7e92758a32d11f3b9d854464ecdd83609df7fd9788",
       "own": "376e8772535587a1a57f03556165eae2ea8c211b57f9db82acdfb6aff990b900"
     },
+    "cpp.cpp.gFindIf": {
+      "merkle": "6697443b5b1a5decfa0840eaddc666ac9ffbd5ae75d7c2f1e9a2442a6d8be018",
+      "own": "dda357b40cfa58f7162a14cdb6f8aabdd4c320ea21a378a782ab17853284e1e3"
+    },
     "cpp.cpp.gFromList": {
       "merkle": "5d07bee9c2aa7b1f9e33b241c80085a5f4d8b3e408fd4e5c56e3ef4ae3f86b3e",
       "own": "7083bea97ace23446dbe95807863455e4c9686f216a82dab4bede7800919827c"
@@ -2438,6 +2550,18 @@
       "merkle": "a9ca4a211ac45ab48cb9473eabe3e4e11d9f409eeffc1fe152ba59eee6db6fda",
       "own": "a54fb25ef612104bb867cde762015ff4408f4b7bedcb14f30e302ccfe284e0d1"
     },
+    "cpp.cpp.gNextPermutation": {
+      "merkle": "321794ed09be5651d3ef6c1da3762f8c9c69ab293d14eb2e13a95ad47e5c6c90",
+      "own": "f544d0df085da20995cf85960df3c3d95b781651404d6fbbd9379f50fcd1f75f"
+    },
+    "cpp.cpp.gNextPermutationOkB": {
+      "merkle": "8587df7955e53f0cd87b7fcc1a2d48315b1eee5a9ea67213f9ac566a6392767d",
+      "own": "30e2b9e0c85d389f87830e7ac5b5fb483b18a23a26cfa2ce4b94b99351db481b"
+    },
+    "cpp.cpp.gNoneOf": {
+      "merkle": "370bad982f4097560557cded024315b2d06f507b3b119d5ba0b1db6788d9bea9",
+      "own": "b9df5d5c0f03f3d12484fbb5318b1564f5b72387c920a094f661a12871835cd2"
+    },
     "cpp.cpp.gPopBack": {
       "merkle": "f260bc84a982247e03e9dc38c7d0cfc446102533a4038527bea7d53e9f89d1d4",
       "own": "3219cc17f21e6dcefca42f1b4806dabf99f66f1852cea1f8dcfde79d8fa81950"
@@ -2482,6 +2606,14 @@
       "merkle": "a2c540c996d4923b0559474d1041ab1834ab30e57a6bdd5a7d123046b3905fce",
       "own": "30e2b9e0c85d389f87830e7ac5b5fb483b18a23a26cfa2ce4b94b99351db481b"
     },
+    "cpp.cpp.gTransformInPlace": {
+      "merkle": "d969edcc675aeeed592664d422d03ccb26cc55922db8dd3c1f29cd2d7121714d",
+      "own": "0d90243cec7d3a48e26a5f09ee33cb6474554dc370f07937a2054efeed60e72d"
+    },
+    "cpp.cpp.gUniqueErase": {
+      "merkle": "5a431ce2b764700ee6b5ae4cd1209a1aadbb495a6371985663202da4530cdc4b",
+      "own": "21f73cf1a07082a2d4de19baf9430aedf239d38e4b4b9bde32473546858acee5"
+    },
     "cpp.cpp.gValsOf": {
       "merkle": "cb23099b6339bcc163b97e193e9f3035e0ea4966228ee23d1decda4523fb9eb8",
       "own": "f96f109a5b50948af8942b4893275aa8fc1e44b43cffd44d92cdc1430185f5d4"
@@ -2522,6 +2654,62 @@
       "merkle": "e069ac5c595cc2cdff01880241c44bbfde49bbd6fa476f816a78adecb252c27d",
       "own": "707686a730adbc568fb390133fc24750f1e2dd332b5f43c0122df3f993392e50"
     },
+    "cpp.cpp.gfArr": {
+      "merkle": "14559c5ac08ffdac16dc0878055708000c2379041b8f2b48f9e067358986116a",
+      "own": "a3834dfb93001a2c56d79d8b3df8065f539735294bdc64b317f7ce9ba0f25e55"
+    },
+    "cpp.cpp.gfFold": {
+      "merkle": "a920c9abf3ed736ace0bda14d1627ded0e6e3d52fa7b43bfde03abfa63e5e274",
+      "own": "d9f4b7fa1d1ca51d1b25dcc20c7017037e46f666d65f93c20105f899a193269f"
+    },
+    "cpp.cpp.gfFoldGo": {
+      "merkle": "aa07cd28c787123ca9b9faf8e55a2af5e1ced1540e0c16432a27884ea37116d6",
+      "own": "ebb87eee8e61ca9283d0e8ab0ca6432f0955725d44790c2e5c0d147bf6336ee6"
+    },
+    "cpp.cpp.gfFoldTo": {
+      "merkle": "a370f10c371107c4ce86b27e81c00de31fcec9b58b07d6227bf33e48c007db47",
+      "own": "7e7602b729630e70657cacffe559a31e4c80924f9b69f72e4d69c9f4590d45f5"
+    },
+    "cpp.cpp.gfFor": {
+      "merkle": "ae90dc276d5b2ff83393daeb811e75bf9f58e2454de81d15489e2a81acc96ed9",
+      "own": "361198e803254963b482496a124522e60c142847af8865ae16a23519e9bfdeb9"
+    },
+    "cpp.cpp.gfForGo": {
+      "merkle": "70df75ae9d7aa3d13124c92cd734248db45feacb90e60b0556a5151c4087f4ed",
+      "own": "781287fca75a2804e1a90f9bd9c5f5e014c64b156304b847037536842da048b5"
+    },
+    "cpp.cpp.gfGet": {
+      "merkle": "a66329d8da101aba95473e2d87908fbe2d753d405e5e663c4ee009fd57094a3d",
+      "own": "7b010a24c01e822a2c4141546621195613de7edd06519629ede72d7eac9cd7a2"
+    },
+    "cpp.cpp.gfGetLe": {
+      "merkle": "f0e62ffd3d8e12a34a359688404210d526580d8d7acee424ef0140c83b00f653",
+      "own": "1d96edf34c518b1061552a0f8e5c20e2220c86f2b9a611f6b9711defff6afd5f"
+    },
+    "cpp.cpp.gfInBounds": {
+      "merkle": "9ac7f25bbcb66a4b5a22bbe29429ca5ce978beb89be8bb7d027d0052dd6adaab",
+      "own": "92005df5319305d41099407499822eec201f7a9cd362a66210fed55c6946f9c9"
+    },
+    "cpp.cpp.gfInit": {
+      "merkle": "bdccf2245e3bb0b0608378c09dfa3dc432f5f1be0adf40f41018fd64b781f238",
+      "own": "d7bf7178235dbfb4d4c6780553fa5f60deb299d8143c7ebbda104772dfa845ef"
+    },
+    "cpp.cpp.gfLen": {
+      "merkle": "d79eb320d20992b03bd6542fcfce3f17092b50e8572532ee3684f896e009c68b",
+      "own": "60ad361af9a6a914231433c6c641ed53efdb788d1368c48114fa8f0d9a1d109a"
+    },
+    "cpp.cpp.gfSet": {
+      "merkle": "61ac1d86f2e082281594e88a0b9f68f6a2f5598e44fb68e3a12ffa22aada53b3",
+      "own": "5f0068b2c7d20862915e4f9498015b4ee7f5c2c42249c7c4b4d616eb15594243"
+    },
+    "cpp.cpp.gfSetLe": {
+      "merkle": "8b659949b2e0011bda7c582ce9efab9f32f213737e24e73e723684d8733f2988",
+      "own": "b2872d2d921803d8f5224080a7e864b0157636265247b68d3a022b97b6ffcdb8"
+    },
+    "cpp.cpp.gfullOf": {
+      "merkle": "62c37bd2fbdb274ed670ba72ab8c32dfc658222e3efa8ed3b5214effe546eda3",
+      "own": "cd11f61362923a383873f230a6ad60a78ed4d49b82b8780074f5d18b570c9ebf"
+    },
     "cpp.cpp.gitKey": {
       "merkle": "62713efd9a527fa3a62350b390c71fbfcc8deea96892e142a06137e56f63a6ff",
       "own": "41f573f43eb694316ea42772632550215324964c4e6a2b618353894aa280fd9d"
@@ -2846,6 +3034,10 @@
       "merkle": "460c0dce801529e0e455929ea4e05bbaec7309f34b315b504eb2071fe1baf222",
       "own": "c8347f4b9922e1fe1be5af71b89443e5dce2f4ff2f1f0fcfbb74534368a62fe9"
     },
+    "cpp.cpp.ilogbOkB": {
+      "merkle": "afaa3e88d4d29fc1b8747c3dbf72214e918133afae49fa070bd003a1aae7f423",
+      "own": "8a6e8dfe28b681e9a355cd96c3ad6978a01f1e191212ca7ee0045e42304dda52"
+    },
     "cpp.cpp.inBoundsB": {
       "merkle": "cbcf9cd4f454b7acee41a85d4e112afc2f5d3331f30998ae06bc5f0792555cdc",
       "own": "90d6fd37bd754cca134659a92539e44b353ea2c86026f12664f1d2dadae463bc"
@@ -2938,6 +3130,18 @@
       "merkle": "7aa9e18ea431d7aae7925766ba602a4316eade5150c9d20c455cb490311bcf83",
       "own": "a500434c0645fb93c1c211fd2310f0ed5adbdeeb8ded2d27cccbbcd5e6d3861a"
     },
+    "cpp.cpp.iotaOkB": {
+      "merkle": "aae099c323b959232d45e98dd48909408967838cf9c8dca43dafb8e2f7aba0aa",
+      "own": "8591ec44b481824301b574d47b0bc42eede2d588a62878994cd71e727b160e12"
+    },
+    "cpp.cpp.iotaV": {
+      "merkle": "847f2cc4bda38dc05fcffd84413ae3243675a3bea390d4aa033e360bcf1aba5a",
+      "own": "49562168ed5d9e7e2498ec0b32a36bbd43ba60287f3b58437a4c1d65e867ca93"
+    },
+    "cpp.cpp.iotaVals": {
+      "merkle": "3f0c7e32bc6ae5bb8644df8fa456c82c2df2fec64c1e98bd82d4be609491dfd0",
+      "own": "521c0654cf6fded6a722e1620f744941d125611d1c755a2c3b47aef5def45103"
+    },
     "cpp.cpp.isAlphaBool": {
       "merkle": "5dac4a07c3a1836b9446bbb62b0586b6d5b8bd3c3b236d1c8e020cc6594d9f06",
       "own": "0512b715485dd2ddf6ff4be63189f1fcf7771232c61ccd31d5c5d17238395f09"
@@ -3018,6 +3222,10 @@
       "merkle": "0af93c2c4895994f4c68931988de008e16a63fe322e86f54e315bffea18df196",
       "own": "3bcf0553eb0cff75c09ccbb1395c2cc062f977ab9ff7e3dfbe8c2bda9e71b642"
     },
+    "cpp.cpp.isstream": {
+      "merkle": "9bee887958e3f498e9cd04dd49cb0940a355e1d09f75c1d9343aa9bccc0e4f5b",
+      "own": "3a45946ce2dd2e19798c68d0099934696b051069ce1d99bbd03b5c7122248ee5"
+    },
     "cpp.cpp.itBegin": {
       "merkle": "f5a6d645172e86fef0a6308d8b7b14696bdccae684c177a1320d33278cb5d8a1",
       "own": "3f84a6f27d35062f98ae4ef7fb2aae6e439d28146d3537947d69198a8c3f981a"
@@ -3374,6 +3582,10 @@
       "merkle": "90e51eb9c41ba2b861f9ebe8aa72d665a3be8a7f557e84b8dca66b0852d95fbd",
       "own": "eff7d54296b318578658bab333fc95ae07289f17a7b6b48ac3b192f2166946de"
     },
+    "cpp.cpp.ltTrS": {
+      "merkle": "29f4c9eaad2faf3c7958d9c21683bf6468af70b0e659ed4849eff43ae1d2f0b9",
+      "own": "ec61d31e0484474c974a33decdb242a9e7ae010a469ad10c04d0026f9e423289"
+    },
     "cpp.cpp.ltV": {
       "merkle": "491c62e34767bb753fe79fe8a646e7e0be26805166e1c87508dd3580918d54c1",
       "own": "0f6bc35e73d0945b6f006cd02143b28e56e21c65a3e3bd795af255547f9f949a"
@@ -3750,6 +3962,26 @@
       "merkle": "52be169dbc49e8af18dbedcc7870b9f6a41f5954cb2f57e5d7dbd696f3b8e662",
       "own": "c0d6d7e659a00fecdf49c6e689dc3c45925894863eb5035e7d968fa7f58b2664"
     },
+    "cpp.cpp.npArr": {
+      "merkle": "331b9df703723e335979041b07c8ff7a1391a3263ff82228c0bfc08d94d1d8f5",
+      "own": "3eabbebc27d6a35ecbadfb2b6d8f1172d0d808444ce36ef8549b08a0e472c6ab"
+    },
+    "cpp.cpp.npLastGreater": {
+      "merkle": "338288e4cc0aaba1b1ee54058f76b2b994afa2274718548237a647d908fd35da",
+      "own": "3072ad22f7d173c40303ac95a4c685a5b98480593785e3f234a8c487aae0d3f0"
+    },
+    "cpp.cpp.npMore": {
+      "merkle": "d51e1f9f8af880f7ba45aa1672c82cd3435d17ec3526874b74d848c5f9c419de",
+      "own": "c08a6e55cd5261e32a950514fe5b05da0ebd9955b883d18aace65a5e83ecae6d"
+    },
+    "cpp.cpp.npPivot": {
+      "merkle": "e89da226bb56aaf7b28978934f7470027faee6f412fffe0b06fa05fc38bda21d",
+      "own": "dec183ed6a7fe0ff53d4be19a828d2ef8b5eafb21c8756df21b857f7eb5aed91"
+    },
+    "cpp.cpp.npStep": {
+      "merkle": "474fc6e97af82bedb71c5368955704d679a91dcf8a5c401656e0fa54aa80f9cf",
+      "own": "5a8813a3e7ac43c28a42607a7ee5e0f2386a33835be30fdc72049c7ee41a5801"
+    },
     "cpp.cpp.nposV": {
       "merkle": "4d38ea87128e21aab09e8851514c004d73d6a25f7ada8ae8e745ed8e36bfdc44",
       "own": "0dba07841472160acbd655b0e522f0d250679752fe437efcb7727cd6b4efdf06"
@@ -3834,6 +4066,14 @@
       "merkle": "d20b6d28adc38f761078c615bb6f5580992b17f74d2518333ed6eeda9af6496f",
       "own": "11227177b8624cce2ef742640e748ea1ad7d4a76e64bd09973b7de9ed03292d1"
     },
+    "cpp.cpp.ossStr": {
+      "merkle": "086bc4e1abeccd081aa176283a8db02e38975c04b7a168c2ec753495bef3e736",
+      "own": "32dc4f783c2f782984eac9a58270fe27007db76e22b46ae1316f3beb3e326e85"
+    },
+    "cpp.cpp.osstream": {
+      "merkle": "84e53ea4d94cf01683e9a9464008ac4b6f42532087167746e368df373a89be65",
+      "own": "0b2b3aca7e0210478a4cf29deeac6a1ead1b6be768902f61030abe7712ee2bb4"
+    },
     "cpp.cpp.overlapB": {
       "merkle": "96157b37450610df386a63dd18be210efb983d2d0f636ee4b8130bad9e96e953",
       "own": "79e899cbb4493eca1ca37df3432b7d109d906ad3b2f735e2f403136ab7f846a7"
@@ -4094,6 +4334,14 @@
       "merkle": "36ce5317af26aff3226d1ffad3c756bc00c43959bbbc6c943591bab8cff54480",
       "own": "c82770b8a3db5066364e0a08deae9e66d0ca99b9dc649fb1328ebf69f9c23380"
     },
+    "cpp.cpp.rdSt": {
+      "merkle": "6c59a26b88a3650ae309a0b6d221da3c9648e31d59dc21a1ee2ce17761f62b16",
+      "own": "7ad90148267705d6e23ea026c2a9a0e7fb6ac1461635186c4de09285920deb40"
+    },
+    "cpp.cpp.rdVal": {
+      "merkle": "7633b6127fbb86657affa6fc5ac700180e2330dceacba0c42d83f3bc5bc91427",
+      "own": "43c4ae65c062229c73731dd68ac1276b0b99f78b2dec4d5a2eb1d35368b45a40"
+    },
     "cpp.cpp.readDigits": {
       "merkle": "d5d30e8622d9fc862fc5129b752317354d145f7ef18a8b4455a0a2c5cf29a9d6",
       "own": "167d125b1ad549f2b7615cf47dc189de456a19447191c7681da137f220ebf623"
@@ -4338,6 +4586,10 @@
       "merkle": "5ff5e244f1712dc2c229a58fbd8864e6dfd3a4fbb3bfbb7e107ea5fac72fd129",
       "own": "bd41d8ed940a6c05f60644715c4a190278966e16af48cb83f6fc9a8558e2620c"
     },
+    "cpp.cpp.setNthG": {
+      "merkle": "90188eaa2279b583634d698340961851f017eb03cea0055ab061931df810f41a",
+      "own": "b7affeba3921e85e27d55b62dabcc82c0a7e0d9dba11de035851a0ffc7f83ba4"
+    },
     "cpp.cpp.setRun": {
       "merkle": "732f2b4e1b0779c5a964abdf8b94d033fc43c447d382ace1cdacfa8ec8e03d92",
       "own": "845a7f351d463a1b9bdbf3adb4e4fce13e9beb0f10cec5f1199f54b92e6e5de9"
@@ -4410,6 +4662,10 @@
       "merkle": "47719b65c021aa8a492691dbfe4e34819b29d32fcc53dcf3406c12646da2831f",
       "own": "2abd17d6340ff73149be09750b6e461060fac67dcea7af4f6f8c12844429ddb5"
     },
+    "cpp.cpp.signOfV": {
+      "merkle": "858d9ad8f37bbb2a3ec86e19382f086e59623e4bcb4fe2483c7b6fc8e3ecdf87",
+      "own": "61a6a7645772e4dd35e4d7546fc31c4bc62f87cd434350f8a0e1d2b0e3ea6773"
+    },
     "cpp.cpp.signedMag": {
       "merkle": "96eb8ed275c2c1965bd538e37a26c463da5f3cb8367aca423013cce3768596b7",
       "own": "42cd34024ab071bd972fdcf2c2a7fdea8299a65198aae2b73bfc341c68d2f8e6"
@@ -4494,6 +4750,10 @@
       "merkle": "2b9b1d421f37a7fb3661a48cfd00bae8338ee44748a1effaa32d25d123643bc6",
       "own": "cfd31d2f8657dbde89acd32584f09a98ae32f6da0d6f2755e6fcd1553b45cb99"
     },
+    "cpp.cpp.sortedByB": {
+      "merkle": "a4793181966a33fd1a9ef00bb7e425c4fd58ef0c204ae35bb2b27d7776e14c98",
+      "own": "7ccb7652aa5900365dee481407c34f9b7ac7095d60369d8ea1b4fe1e486d867b"
+    },
     "cpp.cpp.sortedInsAt": {
       "merkle": "52477724943c151cb0e5ca93db9b172b957c4955ef9b56db38bb04d24ae7c8a7",
       "own": "be47fa45a5007aba4e362d7b23d30656ea430865659748a8521da6d20438b7c3"
@@ -4614,10 +4874,22 @@
       "merkle": "abeceb85850d53fbfd5265eb20e55e2762d8efc69f96ad89389084a8ee4d5309",
       "own": "283cb9eb35cd1c7cab9957ed135c1c5022d58dd83398b4d5ba35f128a05ec273"
     },
+    "cpp.cpp.stodX": {
+      "merkle": "9568af2c70a7d469d73c3a7d9307769899cada9bcce0a9a737cbba731e47e367",
+      "own": "7297a95fc0dacaff2f4d6de880db281815d532f596bd45cf1105f2156209c43e"
+    },
+    "cpp.cpp.stodXF": {
+      "merkle": "c8f5192fcbdb2b1aa0cf53338960c952fd3a270fd22b19c20d49e4d61d0fbea9",
+      "own": "aa9e4b6fab4d16437ab28077c854c0747344a051fd6f4ac057ac144aa9e8467c"
+    },
     "cpp.cpp.stof": {
       "merkle": "706584c905e7d355e3d2294fc40bc9400dedfcd3fa96c874ff9e56c0cb3b751b",
       "own": "3dd24a2a0ad091f412d8369c6c087d4401c2322a777408730901f4c91cc1a3d3"
     },
+    "cpp.cpp.stofX": {
+      "merkle": "3c4eadd8138d4b1c298e7d8baefcbf6bf566b87e0935d710d5a806e7445b21fd",
+      "own": "c6afb9c09ef2f0cf1b849168e58833562045b33bf9838ad0ff473846f6c5237a"
+    },
     "cpp.cpp.stoi": {
       "merkle": "60ae71e376450cd64f1e4bbe3dc862c3879f3fffce9bf045b862eabd0e9e8054",
       "own": "d62e6cf31cc60bd5e2780c7e691d7a5c312c971d97bad9b3f8ad2713c42ca862"
@@ -5238,6 +5510,14 @@
       "merkle": "8c5a548daeb3200b749d631114ccd0241bde5c5e4bbecec5851147f6156b6782",
       "own": "ea620b5955e4d15be42f5e18ba13db915873c403e5b109ebaa53d3e225acf1ca"
     },
+    "cpp.cpp.uniqAdj": {
+      "merkle": "6407245a52dd59e3f80a836d72aa20e012b07fce954090e816f550cb10319d48",
+      "own": "aa041b91a28944d9fad80e63816450a27e8e71670b1f84f5f22cd0c94776d57c"
+    },
+    "cpp.cpp.uniqFrom": {
+      "merkle": "eb8faec82c87785dda19e3a814679346b27994ee49d75a9243bc55ff1f547a70",
+      "own": "2e83108bbc380df4c26009e4f0ff9d8301f61fdc2e167e61c3d955e434dbb75b"
+    },
     "cpp.cpp.unsignedOf": {
       "merkle": "c51d13b6f202184d485bc3e38c7f75e06b00ed845ea62bf4ae3a9261c4810480",
       "own": "5934b1f6096475f92e318f1a81b7976da9d0a7aaf52d966ebf530536c20bcd43"
@@ -5450,7 +5730,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2741892,
+      "bytes": 2839185,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110024",
+  "version": "0.1.202610110111",
   "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": "5b174b6d08d34e19"
+    "packHash": "e6feb4eff0366310"
   }
 }