@cella-lang/cpp 0.1.202610102029 → 0.1.202610102117

package/CHANGES.md

@@ -5,9 +5,14 @@
 
 ## 未發佈
 
+### `<cmath>`
+
+- `fmin`、`fmax`（`fminmaxOkB`）、`fdim`、`fremainder`、`fldexp`、`ffrexpM`、`ffrexpE`（`fFiniteB`）、`fisnan`、`fisinf`、`fsignbit`。
+
 ### vector
 
 - 元素型別任意的 vector：`GArr A`（`Arr t` 是 `GArr (Val t)` 的別名，建構子名照舊 `arr`；用到 `Arr t` 的資料型別參數改寫成 `GArr (Val t)`）、`gEmpty`、`gFromList`、`gSize`、`gPushBack`、`gAt`、`gSet`、`gPopBack`、`gValues`、`gSortBy`、`gStableSortBy`（`gSortByOkB`、`gStableSortByOkB`、`noEquivPairs`、`justOf`）；`elems`、`arrVer`、`arrLen`、`pushBack` 改成泛型版的別名（雜湊改變）。
+- 迭代器、`insert`、`erase` 對任意元素型別：`It` 的運算與前置條件型別（`ItDerefD`、`ItMoveD`、`ItBothD`、`EraseItD`、`InsertItD`、`EraseRangeD`、`AllInitD`）的參數從 `t : IType` 改成 `A : Type`；`itDeref` 的值從前置條件取出；`ArrIt t` 是 `GArrIt (Val t)` 的別名；`insertA` 的前置條件是 `GInsertOkD`（`InsertOkD t s` 是別名）；新增 `gEraseA`（`gEraseOk`）、`gFind`、`gFindIdx`；`eraseA` 改成 `gEraseA` 的別名（雜湊改變）。
 
 ### 排序
 
@@ -15,6 +20,7 @@
 
 ### 控制流
 
+- `for` 的一般形式：`forS`（`contToNormal`）；`@cella-lang/c` 的 `c.forC` 改成以它為核心。
 - `goto` 與標籤：`Jump`、`gotoS`、`retJ`、`withLabels`（`@cella-lang/c` 的 `c.withLabels` 等改成它們的別名）。
 
 ### 記憶體與 C 字串

package/index.json

@@ -15,12 +15,12 @@
       "own": "f2a0398b1a8ae3dafb8055f7b1914a6d4e6ec316c9dbb94329cb0eb9f792bb07"
     },
     "cpp.cpp.AllInit": {
-      "merkle": "5edbb86c50bc4b1d7c815b06a5a42ea1f95470338e4252ccd5a4e349de72cbc2",
-      "own": "455a4d4e5eae602c11129dcc352b284fbd67e1d00b6dcfb5f71ce58144864e7e"
+      "merkle": "bf253809bc9fcb1c4b4ae8d2b613277175ddc98f68bb8fd0e2947f591446f027",
+      "own": "57d9c1fc1c78d3ada1ee83d2d86503461a80330ca106fbf32265cb5c6128267b"
     },
     "cpp.cpp.AllInitD": {
-      "merkle": "c91e90564de934c198c25886bcea28a12a28cf4aac8ffc372b2742c1afbc6ecd",
-      "own": "0cf4b55ae2558fc6b614c2fec7813af585fd02ecdfafcb20429ccc6077c0f62d"
+      "merkle": "7e0635df6d33a67068645d09475e0796cbe2732faa96da56e84af22c2449aa8b",
+      "own": "ed0100ab34026508410c21398384ecf058e9428866e44fb948f7594a7a53545b"
     },
     "cpp.cpp.Alloc": {
       "merkle": "df46177580c4bd209fa394dc9cc63a0a8c29276d27778b1016ea682e901e0343",
@@ -39,8 +39,8 @@
       "own": "bb906c61e84f4a7187401ccfb5aab488e67061bcd277768a2ddc2abf582811ac"
     },
     "cpp.cpp.ArrIt": {
-      "merkle": "56d2ef009b6a3bd094100789b92fdc85cb3b9e211bc92d14b399b7e77d6edbe3",
-      "own": "044356f8b87ea1e028168eb9b9298d1cb6b35887953a60ea64404bca46d2741f"
+      "merkle": "326e83032b3f0fc87815fd03a93cb9c7d7968706918488f4aeadc7743169b5d7",
+      "own": "3abea8395d4a2484ed539a80871e98301367c8f4e492fc07f57c678997ee59b5"
     },
     "cpp.cpp.ArrNonEmptyD": {
       "merkle": "9eff069d445b487e24e2f506bff792f8942565a7b67b1961aad85685d0afb25f",
@@ -127,12 +127,12 @@
       "own": "60a9c4d4f38ec35d6060cf5f7aaa4c02fa80009e28de22def3a84095551c9461"
     },
     "cpp.cpp.EraseItD": {
-      "merkle": "104e0ca1d3bfb3f43dfb01e6b1f6485a4d94ac8bf34839790a87565c0836a651",
-      "own": "82ee6c1f0e1458d194d1ef8122d236a376cbd1c1b9ea4963664a5e0d099e4ab1"
+      "merkle": "70e0cfa11d09697bc18c822bf8dbf33c38f7f682a55f908216d8984782bfd2cc",
+      "own": "7c5b34caa1bdf52ce7441122772301e2188de6660f82add828e73b39b0d71be4"
     },
     "cpp.cpp.EraseRangeD": {
-      "merkle": "2a0e077c93c56bf5a8bdf56ae64dfc2d10617a85c5895399e84087727d341ec8",
-      "own": "6a7cc10744db0e4d96889057bd48adbc00c6bb37d3c768842ae74eeb6ebd4fd0"
+      "merkle": "0aec188711b585dd0a1dba309a47450bde0efcdeb0de2bf4f039ebd3d777267b",
+      "own": "7de358756be383842b445402aec395364a4359d2682efd01f13e88def5044cdd"
     },
     "cpp.cpp.ExpP": {
       "merkle": "18d197623a69d657d88723d9fbb85f88f9381f65d2ef1128d83790665814e474",
@@ -194,6 +194,18 @@
       "merkle": "9776d104fa0dff16fc3779ff0b955d6f5948d448aee1e651cf84357061e56804",
       "own": "590e6e201367700d55c90843cf942bc0fea249bca942862770ac883552ea71e8"
     },
+    "cpp.cpp.GArrIt": {
+      "merkle": "682ea6553ff0693afd24a72bfa05aef9f7b3ff2a03b55dc72f8669413838dba6",
+      "own": "b1d227a850d398d31730ae0086724a6ed5b217627b729e45a4c1a047771a8f91"
+    },
+    "cpp.cpp.GEraseOkD": {
+      "merkle": "e5922bd80b144e2684f1d4c7bcd5596e993a4b42e2184f14bb0b815240df23d1",
+      "own": "a475075fe6d1218f216752a3c0b750242169ecdd974e2fe3d4c8d9a2c9e714b5"
+    },
+    "cpp.cpp.GInsertOkD": {
+      "merkle": "181a49eb1a1f43c81de9a731397b08c3c334cae07ddfbd4364e07629d80a2157",
+      "own": "6cda4f9b32ed7b93b65fe28a7e2856bd6e302e41fd2f67a27ecea93f03b951dd"
+    },
     "cpp.cpp.GMem": {
       "merkle": "d9911ff1a75bdb5ebb4e87aab5a3db9f57af0c13bdfc502b150f1f67dc676c86",
       "own": "24a2a9edb879274a0a88a31007ff33f8591ee4dfd8d699a6bf032387397510c8"
@@ -231,12 +243,12 @@
       "own": "81f9e5a1a2891d1d72e5b06972985e6d7b86939c7c6703936128c897101c9c72"
     },
     "cpp.cpp.InsertItD": {
-      "merkle": "390ad6a9dcc28a379150297009dca910d446d61d82244cd7d59bebf95a55c30d",
-      "own": "84375361c8bdd144015ff6732fbe42586712c60a13f93d63e078dfb7e5a1d088"
+      "merkle": "0f70ceff0c81960056d9c9944d345f7367f70dbfce87a6759acbc425ea3cc461",
+      "own": "ce1c98a41ec89219dbfdd1adc65126c6d1faf01ba95877dfa10f84212b766de3"
     },
     "cpp.cpp.InsertOkD": {
-      "merkle": "042858974c9e4e9438556708d88e1ff22a9e3a6c30060f9eae591fd93610f885",
-      "own": "76fc50ff57a83472eef013a44fbb010f12b718b84ba6ca03d624bfe870a56b62"
+      "merkle": "4ffe787a24277ea0e1184da6ffc540a023ee34272f471513eee1292ea683223d",
+      "own": "6ff23c0f8d0edd5ca69db10ab4af5127d7e8eb6576433e3ce55bdfcc87b5d8f3"
     },
     "cpp.cpp.Int32": {
       "merkle": "0cef551223cea06da834c6b1cc731b469d293a965641747be076ba100a5fa8f1",
@@ -255,16 +267,16 @@
       "own": "8b295e17888aa2616de3ec1f4d781c9a35514f8687db5c24c4c06dcc6fd32889"
     },
     "cpp.cpp.ItBothD": {
-      "merkle": "8a8eb8354415ce20a3ecd938f0c637927e13755db871e3983bdc4c1aadd321bb",
-      "own": "d711f47e0197a457daef18cabb956287139c38a6b2670968b1ea261864dd3299"
+      "merkle": "ae10593b91c699ccba9b29615d0e6072b20182ed8c1250b1b9f0092eabb9be51",
+      "own": "c03cc3e0785ded2bac4eab739fcff8d25fa813cc53d4ca18e29372a2013676d1"
     },
     "cpp.cpp.ItDerefD": {
-      "merkle": "e7677a40338dd940b126bb984512fbb62ccce668288f969d5768adbf1eba1f2b",
-      "own": "f7d601457820d222e6173e3772ff65797f1f01bea16ee08725dfdf6c3d615170"
+      "merkle": "01a2f8150c3da2778b4a6016e516ba0fdae208ab6c841c30639001c0484765ce",
+      "own": "a46b3b0f3d18c8bfb49d561ec54b358e25a9b99ff7e6e0828cd6b0ca6c4499f4"
     },
     "cpp.cpp.ItMoveD": {
-      "merkle": "dd353d6faaa6e9545f6aa96df8b1a03c5ce0b6ff1aa5a3919a1ea458d8741170",
-      "own": "95a0b74bc3d261984b35bc026490c511ad33a2568bc7b095ea5ef5f6238aa475"
+      "merkle": "0d74ec845ed9d1aefad5ac601d1c0740d194f69ffe097f1d904432a45aa6a415",
+      "own": "88bcf86af913ca8087d4771d09c9d04d8da686338c20b34c424105d2ad72bf13"
     },
     "cpp.cpp.Jump": {
       "merkle": "15bfd812cfc5193e3d9993cafaa5d758943ac1b5cbcfd956b417f07f7753de90",
@@ -595,12 +607,12 @@
       "own": "0fa1ba30b1abef19dd23a05492a6c7eec7f14ff22c48ffdecd84f7dbc8dcfb0c"
     },
     "cpp.cpp.aiArr": {
-      "merkle": "4810edd1dc8eeffd370f47e3307c11aef0a6aae217c179b2efb937c6561724f3",
-      "own": "1ef91b72c62e8f57e992b9ed582df2174e44bdc455f85ec851ff1788c2a05e9f"
+      "merkle": "7e26352b0cf1de8429a58ae2f2afa2d3095010eb2ba10b7405b40302973142c3",
+      "own": "020483603b59b8e8ecaaf6e469ba1ef8a10eb36d1b14bdc115beb9ca9bcdea7a"
     },
     "cpp.cpp.aiIt": {
-      "merkle": "256075094884157d9776b890cb4541b4e2e8e641e92f7c0284c3637f8a544cc4",
-      "own": "09d6c0e0a12f310b0c197af791e48df04b68449d7399995a8d0d9e780d523f48"
+      "merkle": "e4e3633bcbbb6e035b75eb83f91e54c0529ab68ad059794b331135cbd873d780",
+      "own": "bc9e10c4e9839b51285a559f06b52e6af9ba9238b3451bdac3d4637cda953f33"
     },
     "cpp.cpp.allInitB": {
       "merkle": "2560bc00592bccdef1450853c77668948b254b71fff546e4aa218782956c02f2",
@@ -1082,6 +1094,10 @@
       "merkle": "3accd22ad1f1469f2e83ff45ced53cdbeff3a3a898a31652a87f2999177187d2",
       "own": "871c9a00afbdf4e49cc21bdc4d968ebdf41fbd49edbc2f5111a78bdc02d82dfe"
     },
+    "cpp.cpp.contToNormal": {
+      "merkle": "a3d56686813d864367f29ca443254af8906850e62482928e4eda93013c07c069",
+      "own": "a088d65b22db6eebbe01b1094d97828504ad75b5f97a840de1ef226f2df03177"
+    },
     "cpp.cpp.continueS": {
       "merkle": "7a4f3f44b16e4fd471e95f8b94c35777570b01f058fe0806e9a37d3abdf2c12c",
       "own": "cba4ff031d8e98256a3ea3c82bb52d6c4ceb2bc73c737dafd6bf336b95fba3a9"
@@ -1095,8 +1111,8 @@
       "own": "4844bb47a294d6101722f4afeb9493be40aeeb342980d1d54135c0d1ee5464e5"
     },
     "cpp.cpp.countA": {
-      "merkle": "7922a61d56214e507d8ef075c9cb6cbafcd86c4a5ff6d3821e27b9b854b95692",
-      "own": "f7c8bc0b957552ba2075e79a678570904a0d9bdc2f6f6b67149d957d6f6ae3de"
+      "merkle": "5b2b0d9b7c638d7c15a01957e9ff7aae3b2779fc8d9589c0c9d7c009261390eb",
+      "own": "5ebb95c1166bd2193805f98fb57b760feabd19445b1069c89a6dea20c7bbae3a"
     },
     "cpp.cpp.countEq": {
       "merkle": "1b16fdadaa8dca11db6ddad4a82ffc999e02299c33672f926237598306a0521a",
@@ -1459,28 +1475,28 @@
       "own": "b886fb3f577d37df8725eb63cb38ca672ff94d44d6aa7bb80e80a7e75a726add"
     },
     "cpp.cpp.eraseA": {
-      "merkle": "a195178a3671586edceb52bd5bb2230ebd8bb1ea5695c7557e79f14225209759",
-      "own": "204268630eb5f0eb6dd293f27b47d97312100f2c7ecdd17c4daf809ba79bc7cc"
+      "merkle": "778704eb0ea90339616a946197223e1534317d336aa38177ae8ebbba887feb08",
+      "own": "bb305807e8370389c392301822cd98ce189b07e7a2df6a57cdb298aa95b629a0"
     },
     "cpp.cpp.eraseIt": {
-      "merkle": "8a79431f0105ce6b145f57499bf13124cdbf2e381b10420408838201351aac70",
-      "own": "a2c6905a454fd73973ea17e1f21fb05f61e6a9af99ec1a6c37049a1ee26401d1"
+      "merkle": "db7fdcbf39ee9f7016916e40537d3be319c89279eefb8a2023f07bd631d18060",
+      "own": "f9313b848c74dd5baf6c7b9eaa81c15db4c920497c73e023afacea288d09bd78"
     },
     "cpp.cpp.eraseItB": {
-      "merkle": "518bbb854e33bdb1af54eb731620acc0447d8749112e96aac63e63aa0601165d",
-      "own": "04b6759e487749572e22d100b93c30ffb19da9874b9d657a5e6094813c8dbd14"
+      "merkle": "214caf7afbd35170c72e9bc44d8384bea810342461e1253a1f91a8c665754d1d",
+      "own": "ff1e3ab089aed6ac32b4ba7fca5f8aaafc0f0c1296398d7f0b5824fa23688216"
     },
     "cpp.cpp.eraseKey": {
       "merkle": "5f5c0e2d2d50b8baf0a1a1f1cc29b56887219c0b414008ed4c3f74bef6b682b8",
       "own": "244f3d5d82676f2696dd4382cd3a0d29d231c28de46a95b21aa6cfd465f658e2"
     },
     "cpp.cpp.eraseRange": {
-      "merkle": "16f3cc3c3ab67b44314cfcd3ad7afe1e964f85de171fbd148a093fa3b89017af",
-      "own": "dcb541be5c71b728620c03f63da483e01d1f84c823ec81755cab2b6fd6077e27"
+      "merkle": "f8bae3f76445305d6eb424aa405f7bc084fb3fb2ed89f8e325ed684348286dd1",
+      "own": "1ff36ed524e64b3b3f9e3efca0925619698f6360bd130c680cfcba3382c6e79f"
     },
     "cpp.cpp.eraseRangeB": {
-      "merkle": "d7154630333ad329425ca02c922892347180874cb71f8536c82d09e000b1312e",
-      "own": "5480e1744c8faea69299491337760f8773bcd952198cdbbef4d4c68925af24c8"
+      "merkle": "c14602e6b59f23a40d07b5fb17c4b905f9f1b9415e7c123b298518bd2a485f64",
+      "own": "5e06f837db6d5f43e45313b06eaeb35069c2415ac7c277d6669e8d8c806bf1a8"
     },
     "cpp.cpp.eraseV": {
       "merkle": "70a7a88d1654aa5af3260b6d5e97d913b966db665a6210ff5c5bd469e411142d",
@@ -1570,6 +1586,10 @@
       "merkle": "f234307d8799eb639d9c2cac59580f88aa5895dda280a684e814c14d4a342f93",
       "own": "3f4306f920324c31eca2f3ce6581f4513c1cf5add43d0959e5d7a27afb870eef"
     },
+    "cpp.cpp.fFiniteB": {
+      "merkle": "a671963579beeffa502eb41b68e272aa8b65f7ab28ca50484be6e08d93b44ee1",
+      "own": "523502ba222e146266a1cc9792457906015b33d36af7f56a330d9287e29e0939"
+    },
     "cpp.cpp.fFromBytes": {
       "merkle": "ccec8c789a911acee1c99be2013492188d79e85043ced86c04fecc75456b193a",
       "own": "e79eb99ae5af9af739c4e8d057cadbd5eddcf3c0613715fafdb97c57dcd50925"
@@ -1698,6 +1718,10 @@
       "merkle": "c072af3e8b68dd2737b9c8c747695151af4d663701707b8b29f1428f0c56ee16",
       "own": "f22e9d44c3b927f1ffc15ff0d91341242a54de79f337627362c292ece20e8466"
     },
+    "cpp.cpp.fdim": {
+      "merkle": "ef445b303c153d915da9175e930781662ff959603c21de15237a6412d39912fd",
+      "own": "39464c144298d9d1da033c119592073ab7065514dd41c96dc082eff1594589a3"
+    },
     "cpp.cpp.fdiv": {
       "merkle": "4083f0fc6762fec84c01748285cc1a08ccac69f90d804f56c591553e638bb5a2",
       "own": "81dfcbb4a34f713685933b96abdf6c225c70b022d508bc661cc69bbcdded9111"
@@ -1742,6 +1766,18 @@
       "merkle": "b85402c6d06845a43cfc1cd60a2975866f56abf3e7e1496d6724b327ffc9a345",
       "own": "92f36d876a897577cdaf290beff40cdde3bf77c18e32a511ed9311e77f557c47"
     },
+    "cpp.cpp.ffrexpE": {
+      "merkle": "156d512705698b48885c88f086bb78b655c2db566772e36ab7b36278ed049ad8",
+      "own": "e2d3b7cc991e1c7fd6bd7fc48408cfe91c9f57e559a736e83e019630f8371937"
+    },
+    "cpp.cpp.ffrexpM": {
+      "merkle": "7b60bd291962fc6511733ca09479efe508d6720f0f6f1e6a3f9dff3a34a38d13",
+      "own": "cb0215a2ad46dd112c6b642a45b6165ef5fbc38632ef90ca715d21d35b122b72"
+    },
+    "cpp.cpp.ffrexpMV": {
+      "merkle": "2067992fac86dca56c5f030dc2d87abbbad8fd141b56dbab19e54dcb89fa98b1",
+      "own": "31d06897049799d8b803663faffbab35ec6018ba0e3256c4e40df95ad1e4697c"
+    },
     "cpp.cpp.fhypot": {
       "merkle": "42edf8140c76d0515d0bdc08c6457d6581f51b67436733d9bfd1dc8ad0596ab4",
       "own": "2d577c2a8ae2c838a0e964feddb2a1d7269aebc632a89ba2c054d319f9752ed6"
@@ -1751,8 +1787,8 @@
       "own": "1cdb2ff2bfe573f5953b7c506f6fd536c54cf3d3cc35865bbc96c1be2ca3bc1c"
     },
     "cpp.cpp.findA": {
-      "merkle": "ec84a483777c3fc1b3eaccfd94248d8533500f39a2a141db9eff1475f0c0b7a6",
-      "own": "a8fd558e3232c41345ba1402550394d001f89f91e6efb6a3be4c752ae01574ff"
+      "merkle": "34b87aec169e4ddf3aabdb9d0557e3b3c91b56fc2559f32167828272c02f2ae1",
+      "own": "eedd34476122eaa51004e74d31b8e1e7c5cb4af1b148139eccd8f36ba12366da"
     },
     "cpp.cpp.findFrom": {
       "merkle": "7b0ed505d8ca4e0c116193b9e012a09c4a5d959189203a702938c9991ac71f7a",
@@ -1763,8 +1799,8 @@
       "own": "65db8e201bd5fe34d7d752732d583aba27bb50c1304184e01eb813d8bc5afc12"
     },
     "cpp.cpp.findIt": {
-      "merkle": "561b74bc0ac9ff4c3ea687039ace306705536dfc68d89ce674cca3adf1f9bf7e",
-      "own": "8d079c79e9d147864dbdfd4627cf743a7820df12b69df86578758e2b99fdae54"
+      "merkle": "a47d417a140b6a781d13fbde5849eb1edbb9a4d369f6bdfada501d7543e667f4",
+      "own": "15bfd8f71656103a9f8db9b58c9f14f3d5feae6edaef9e6e5c90a292d8db1414"
     },
     "cpp.cpp.findLabel": {
       "merkle": "063ced0d72b3efdf6ba061d50c117f77524547482aaaec8b399c2b708eb02aa0",
@@ -1826,6 +1862,14 @@
       "merkle": "a3d56da8029da2634f6d9b35f558538637eff50e5cdd49dfb68df8a13c727f56",
       "own": "daac448fff4fe1ab442889f56cb13c8f172e9bf401a6cfb964fa9a7744726cc5"
     },
+    "cpp.cpp.fisinf": {
+      "merkle": "b08cd8e1f6603fd96b2d1fbed01c876365cf86640a52b378a02b29673f8c28d7",
+      "own": "d3c54fd63572bbb570c2b3d713e57cd94db4cc18bc05f8c72623919236994019"
+    },
+    "cpp.cpp.fisnan": {
+      "merkle": "7df110c46d2576ef210beba1c803c1b8c472f74a94fd882b23d5fd698e5a7f6b",
+      "own": "11e11c60f31a9d0c7aae24205cfc7eb22c11830661373c46a4cea4cdc02dc882"
+    },
     "cpp.cpp.fixLog10": {
       "merkle": "0c3de02b8c308096a5d49e20841371276e118402fe4b38a8182687552884e794",
       "own": "d7ed6d522468ea21327cf1e1980bd4530c54939719743d46d2c60cb6cbda069c"
@@ -1834,6 +1878,14 @@
       "merkle": "e58bcb2e23dd59ab5514e0774010a4a9ecd5cf421b0efe84a5d2293214356318",
       "own": "08318273fd078f3dce3bf0ffab1eb22daa675c29666a6997d38c87942315b81b"
     },
+    "cpp.cpp.fldexp": {
+      "merkle": "561cb363301c4d68e0881602b80ffa4e11b9b48ba9c6c22b2cd8412b28ea6069",
+      "own": "d72345945b75c1776df8e36c2c2aba1862ef77a8936490677c2df9c088bf2d80"
+    },
+    "cpp.cpp.fldexpV": {
+      "merkle": "d8ed2bbd12ba1209bf56f07b4c6220192d20d9bf48b3e1c6af966f4b0d708f51",
+      "own": "ec501b264a50b6d45648407ee07d109e14f968134455dd339ceb287fb1575843"
+    },
     "cpp.cpp.fle": {
       "merkle": "df8e2b041f78c564af61b53ec7db55a46d925919a661ee1f9192bf58ef0f210f",
       "own": "6ee28b8633eaa2d6ad2c138c9c0606c181345e1e8662d5563838030827629a6b"
@@ -1898,6 +1950,18 @@
       "merkle": "86f5f20ae987b028b15aaae7687ad2bfa9a26215b02dcfa3232f439c96ff6c62",
       "own": "55313fe0fe837bfc1be1c6fab6c2cfbe48a2978929ad1bd892dbdad1849fb769"
     },
+    "cpp.cpp.fmax": {
+      "merkle": "a1cf34713b2927e3a9a0ccb8c54d8135754d2773a171d2e29380450ac2af9586",
+      "own": "2911c056db09d976aeb64a9fc75a7c728d55b7761f0b69152555a1b9b6ee7007"
+    },
+    "cpp.cpp.fmin": {
+      "merkle": "5dc89450c33a61f077cd85ebbe7ca5e664cae064d4070165bac04117960a11a3",
+      "own": "b1d3293c3a1e442faf72a907daf0e65d69b09a2a8af65813fd5ac59d8324a2a3"
+    },
+    "cpp.cpp.fminmaxOkB": {
+      "merkle": "0b94b60e1d540066ac4e620f6ecdca603ff73d3dd0593e1e90448fb07e3534f2",
+      "own": "cd8c824cee4fd58e4c7e4112ed7759e1db064fbbbd5bf7cd240786a4a11e0254"
+    },
     "cpp.cpp.fmod": {
       "merkle": "c97ce569251845f038e8a2cae910d4c48ed8d8d7873da468f0a749a9bbc16c38",
       "own": "d2a4fa8a7dd494603f24aa1c73f79b77b1a8247bf24b23a4166a0970ef8ba84b"
@@ -2003,12 +2067,12 @@
       "own": "e575cd1ab60141fe682923f5ed6b5b5a8ba884dd48caddbf2b3f398248066e4d"
     },
     "cpp.cpp.forEachA": {
-      "merkle": "17fec2051c898e5cd425f5fa5c6b9072e933392f21304d911b824b7b76d4067b",
-      "own": "fbefef89f680e2a038261013190a28cd15ff90761871710ae1ef16f0fd3bb2f4"
+      "merkle": "2b17f371d6b457fe4e2f967a706e99872b863d57b880b94e5077dcee384e4adc",
+      "own": "3dc0cbfe24bbf94b60b773357c84adab913a46c6c3c5959abef46c65e9426604"
     },
     "cpp.cpp.forEachIdxA": {
-      "merkle": "eba8f46c60279485d0aa03cf5dabf7c029e58c848e3b4c69b414373dcbb288ce",
-      "own": "b64dc2b7b9d31ff9e883588046aa7bc25a9a5063b29ac95e1cdcd71c3a68fd20"
+      "merkle": "1747afd67ea1e30289f3cddd1fa1ce3e7b271dcd1727a8ac1e78c1c638bc8051",
+      "own": "df7360d8bb36151aa83c79b74a880126051058a2a508f745df647f4488ea0dec"
     },
     "cpp.cpp.forEachM": {
       "merkle": "3f1d87b838928a48f801142bf5f85f1e479a5b651e83d71753ee675a4a121365",
@@ -2038,6 +2102,10 @@
       "merkle": "f727306be323326c398bc090b6cd41b620cbdb5d7c7e0098ef55d1cb57489ef5",
       "own": "97cfe3c7b4430ec5cadf5d8cd897a8fa1f121a2683b47072fe1fb709009690bb"
     },
+    "cpp.cpp.forS": {
+      "merkle": "fd6bf8932597ab068fc1f9cf2e44ac35c6291fd37e522a01469200158882f929",
+      "own": "11fd45541fff6fbd8baf0c19d85a618ef225c969ec9c30a4191eedb0d89e3988"
+    },
     "cpp.cpp.forSame": {
       "merkle": "6717b99caebdbdbbbda90e7e003c62862ad3ac1b1a81ebd5c46346a25aebf407",
       "own": "9af5de1db3fd1c7f6943c453bff40141d0e24a1c1a9bd6809d8f7bd4b54f7fb9"
@@ -2090,6 +2158,14 @@
       "merkle": "65ed5c685f3137bbe6115cc997717a924f6c6fdae4a006d5ce5709abf851606f",
       "own": "7e47ba238823bdb523732ea1683925549a63c397154810b096294377f8c2bed5"
     },
+    "cpp.cpp.fremV": {
+      "merkle": "81601e28c966ff0ec2b8c0ea98202c52726540c676c97f7b0f2969ec2b6bbf91",
+      "own": "5f7e2ed6cf9d38d6bd8f16c3db56a067a7445cc7102292bc5de608d83f9192f6"
+    },
+    "cpp.cpp.fremainder": {
+      "merkle": "07ee46b03ef2ed022a5e4073d73094b5bb6d5f42b204c8d2d80efaf531e0fb32",
+      "own": "07285573c88e8942e8fddabec3928d332c4d04cbdb3ddd6cde3ec38e61301ad3"
+    },
     "cpp.cpp.fromBytes": {
       "merkle": "ff2e41d256e31ca83f67c33fff2da10a00a352700848512e0ca43d75f4005017",
       "own": "c385a3da88b0f8a69591a1c787d79241d89b739618eea3c8f7dad49efaa7f166"
@@ -2118,6 +2194,10 @@
       "merkle": "3a809f7d41b178ec20b24ca84cc041fe6d785b0efa762928eafa40e4f30c2de3",
       "own": "3f02c3bc13d0241b055c19af82134ef7b6a8256dfd1f5f884cc451d6bab7b16a"
     },
+    "cpp.cpp.fsignbit": {
+      "merkle": "8d016103001f72b0e29c004585d4453d4db788671dcdce0c7935dad301d2c884",
+      "own": "51906e4edc5277c823f84167d04e5bd869ade506216d7d6efe4eb85d6ad8a5a8"
+    },
     "cpp.cpp.fsin": {
       "merkle": "4b196d41c50720dcce1cccc96e67a0b4e9ac60714f28b3d3720af2c8bc63a639",
       "own": "734eda74cc0c7d6b6994dcb3f1b9c249afb46651d9c3264779ae585abfc6274d"
@@ -2174,6 +2254,22 @@
       "merkle": "7b4a783627853f9a527a948f6ebf6833d2d3c1566fbd0fe010ac33c16a3bb44f",
       "own": "f1fb61065a22d19cfc34e73da968f21373f72ec65e63897dd18c27bed5def8e2"
     },
+    "cpp.cpp.gEraseA": {
+      "merkle": "0770a9ad155ec09edb19b4008675185661116a4e38a78b199a6402b63ea0730a",
+      "own": "064a493b8924dc21d8ca5059bff5e88545f3bf7df39fe17cbca70287197f3568"
+    },
+    "cpp.cpp.gEraseOkB": {
+      "merkle": "a08d6bf11247fefae8292faa595b6ce32b6a6fbf3ddf904692f08b0ba8c38d65",
+      "own": "2ab447caee20bb86fb367c01128414258b44b8b1ef2a57ff5c0f755ed53d4f1e"
+    },
+    "cpp.cpp.gFind": {
+      "merkle": "4d7e39e6eaa9a36aa9c07d969ceb09f3a4af9a8dd52e1d1de8fdb4470748acdc",
+      "own": "ef21243bddf9f8cf73227558e8742fdd597f97f8a092560ed612ac49b5f0df73"
+    },
+    "cpp.cpp.gFindIdx": {
+      "merkle": "0b1b4724a5967426eff60c7e92758a32d11f3b9d854464ecdd83609df7fd9788",
+      "own": "376e8772535587a1a57f03556165eae2ea8c211b57f9db82acdfb6aff990b900"
+    },
     "cpp.cpp.gFromList": {
       "merkle": "5d07bee9c2aa7b1f9e33b241c80085a5f4d8b3e408fd4e5c56e3ef4ae3f86b3e",
       "own": "7083bea97ace23446dbe95807863455e4c9686f216a82dab4bede7800919827c"
@@ -2355,32 +2451,32 @@
       "own": "7962903573d98bff1f2ad1b0189f23f0a5c278f31e6f8aa6d4a4de0c2748cd69"
     },
     "cpp.cpp.insertA": {
-      "merkle": "a18cd2587de22cf24b134b9e95f23c515b9b5d0c9ceaaf90a7a1fc0248d08548",
-      "own": "7ec92e2bc6e420d57366a1bd2cdf85b1784d7713c105274d2de0761fe60cda77"
+      "merkle": "b3e4595e8b109b58284d1e39fd65fd9a8d33cae240323cde5f88b61d3357a16d",
+      "own": "fe6161108c61c5e637caeea636c856f48b0c7f5653725a2ff87edbb91d19e4b1"
     },
     "cpp.cpp.insertIt": {
-      "merkle": "14de52baf345efd9124442b9064f061f74834de67922c7de5d749d07cf39e309",
-      "own": "3218eee535ec598ab0a3462f655bcad121c3a0b9d8df09a310441f4b09a6f02f"
+      "merkle": "b29f148c0e17e525cf59ff3bb72279a8d2d6c6845590d10e6cdf627736ea6210",
+      "own": "ac43ecc21402aa4820c1b6dd4ac570183c219e6f58766fad9d5e4a888b8449bf"
     },
     "cpp.cpp.insertItB": {
-      "merkle": "66275d98e544265a9cdecc26d233a819b2a90f2561afebd231f1e3910044a02f",
-      "own": "69dcb1cbec032199f8e5207ebf85937597e75cee19ad3d3660da5872e8c01520"
+      "merkle": "59b96bc92c8097c81fb318d00178205e59a1d51f1e17726454e93cf4ad235a3b",
+      "own": "ea2a40aeddbdc25f73c0c611061ea482b59cd0f86649b09557b8c650ec1383db"
     },
     "cpp.cpp.insertLe": {
       "merkle": "7f62d8f0cd3c8062d569c5ce5c63497df8508b5eaf43499917bc2c19b7d702ee",
       "own": "4118edb93832b60fd630423eb3881dd09aec4d07090adf8f91f6215c2d369b00"
     },
     "cpp.cpp.insertNIt": {
-      "merkle": "bafa4fdbae08f991724beb7f652dbb9ad726326a681efad83dbfdaf59793fc69",
-      "own": "2ece308b3693d72b235d7c49db9b09da4d386d646a7045f7cfa8441047642d7a"
+      "merkle": "cefc3fb8fd95196332a711e6c9fc4a458b7a556e684028e354e009d357a3c3cf",
+      "own": "6886c3ebe1df16d109b32e737edfefa03830488ea1367f9ae33cdf4eeac29924"
     },
     "cpp.cpp.insertNth": {
       "merkle": "918f64322976567b21f7da8d1974bd92d8ff71776129feaa0e3f5d7040111d22",
       "own": "4afc2d71362f0e4161c89143a45279f67cd92ea601bd09ca3248cfb0a23c1e8e"
     },
     "cpp.cpp.insertOkB": {
-      "merkle": "a0982587e3f1324c49e03b4ad916a5050b5af32b1fec6d52fe02580d3a014ca5",
-      "own": "7b872bdcbccd416b61e3cfb5685014b255c9ac8ce6661dd71195d5b12822669d"
+      "merkle": "0126278273c6de9718e820b39ca7f78a278acea79bcf137af592c5b229026b65",
+      "own": "412fe5816174e6518bb5173eba731e4ae4730275b963f715e836b1b2f222f114"
     },
     "cpp.cpp.insertUnfold": {
       "merkle": "9bbc63d42d57b4f289beb2895ab3a930a306a3c07d354cf9464ba6bec67de830",
@@ -2487,56 +2583,56 @@
       "own": "3bcf0553eb0cff75c09ccbb1395c2cc062f977ab9ff7e3dfbe8c2bda9e71b642"
     },
     "cpp.cpp.itBegin": {
-      "merkle": "c30c012c8a129420bc566c4bc2d17384e622d3eead9e7a8c063a6e7973c33a90",
-      "own": "dfc442bbbebea8e983bc6ab1a9875a066f4ace97b38e02bb2f059f99d3d855a6"
+      "merkle": "f5a6d645172e86fef0a6308d8b7b14696bdccae684c177a1320d33278cb5d8a1",
+      "own": "3f84a6f27d35062f98ae4ef7fb2aae6e439d28146d3537947d69198a8c3f981a"
     },
     "cpp.cpp.itBothB": {
-      "merkle": "dd2bfa6a00ef41bc44308239fea5194a1a6697ff917b696fcbaa798a659b0851",
-      "own": "097dc886e9fd75477c4be0cd6336b444781312ddf31cdc5ad2f80113338acee3"
+      "merkle": "b0cc7e37739dfb9a769c5047908c10777d6459cf099bd865238523cd90ccc64d",
+      "own": "182a337e9e8d681dc58938577fb25e1bd4fbfbf87b7e3a18fe7b2e7cc0e04075"
     },
     "cpp.cpp.itDeref": {
-      "merkle": "f39305cf46a7ca3f158ff918b5e98a004ea60737f4a17c6ac1c66e506a09d0a8",
-      "own": "a7a2bc7e7db346cdf0eabee6a3bb390fa7297f6055204646fcea32da6c1035b0"
+      "merkle": "afe780216b9c68a970c38513c922b5b254f43fc98bd20a9877a92361d9fb111f",
+      "own": "da70f10c1ab54d3148c956b0eabe6610a4b90d90e89df02e98acbc3e79b40b67"
     },
     "cpp.cpp.itDerefB": {
-      "merkle": "5201299bd22e0f57fdd5f123511e6e0737a012afeeb06e1ef86d1fe5169c7716",
-      "own": "8c419a36d11f548712344ae18977e29cfeb84233575687228f5160dc2a07b855"
+      "merkle": "536b5c1e44d72f79a03a5ecb3db9c07516b636d1e41d8039e6fae30254fa8207",
+      "own": "4670eea96a3c592f0529a640a99b2984858522c7f6afaec83bc4125fbb8bd2bd"
     },
     "cpp.cpp.itDiff": {
-      "merkle": "8fa98bc5447f3120bc6fc7e1de03069ae1f429c6f307ac631740dc17bd39cff6",
-      "own": "f4a7f64a77e5100880e539cc22e1c6b180398fac63eb038a00e96d148d66affb"
+      "merkle": "5af7e206eaebd7f3e918a4f0625b129ac8cba43c068b16fae14fe6221ad1d04d",
+      "own": "b0cf66065bcbf54637a7f50caeabf6c4f1774b93af7d34878fd7d4cd495b01e1"
     },
     "cpp.cpp.itEnd": {
-      "merkle": "fdfa8a42a15ee322319f0fded76c03a4664efa067bb9aa77b487ad4974bf6ec3",
-      "own": "ef60c0b00a175afb62f9fdd11372f5889f4027c7e18193a9a860ac4273478537"
+      "merkle": "005882f974040aed7462f0ea0a3672a23788d64c2ddf53fc43a9070b1a433762",
+      "own": "1e857e94432425628a1c74e1bb0e74b423ac5318802163e7c6450c6599cf58f0"
     },
     "cpp.cpp.itEq": {
-      "merkle": "63c542a523916c9f8aff4722d8b4b6c41c6123cafbec327f702301f18d535d02",
-      "own": "9f5ffd5c20b8f92d19542b4806eafe787371066f493bf904c7fcf9611a3beb6c"
+      "merkle": "fe0560ec39e3f11c0200caf5b452196a7ef29ed667b641c8edaaacf50a85e283",
+      "own": "d99181360d275fe8ef6e2eeec23fe3ce48a32300e49a6e34ba0cf19cf072f203"
     },
     "cpp.cpp.itLt": {
-      "merkle": "bf93269213db308cc2524bb47fb78ee94d0d782190e62d7a4b04fa05afe61726",
-      "own": "ff7305b318ee8979a7cfafd2aca78831efcdbeb5d576244d2104c87b4604f18f"
+      "merkle": "ee4f1ede1c727ab513fbb97d10dd0a9cd0ac3c60280b717f76294921f753c326",
+      "own": "2bb78ec42f24ec820f81aadafbea423c64607332a6e0d30a2e86294ef8cca601"
     },
     "cpp.cpp.itMove": {
-      "merkle": "b15f4f7cea591ab0ca2f3af3b0860f33d52a00b9c39cbf3c973906f87acdb327",
-      "own": "9c7adf3ef9af03a8e213ddd2dff4d7a0fddfcaa82b11e6f182e59bf21e76f13d"
+      "merkle": "4727afadc82a464427f9ac825f92dffd8fa9ecdb6f34fddf65ff4fb08a9cdf3b",
+      "own": "f18c0f5018d66a403460ac53632fd8a1afaed0bf8bf4150f69efa6f99f175348"
     },
     "cpp.cpp.itMoveB": {
-      "merkle": "3ffcdb2d3a4b4c6ad2dd8bf63ac7b7e4c93abb3fceec06de9259b38e1acf9823",
-      "own": "85235bd78550c57a090f6a27b51588cd740c6ca813dca32b947475bfffee960a"
+      "merkle": "40d0b3e2412a9527075a1ce4ceaa4b032ef9f04248e19662b48fbdffe61e589d",
+      "own": "b0fc6fa0928bcf6bc25b49a96592412c989ea3b9548b879bf1c8a7023d25cde7"
     },
     "cpp.cpp.itNext": {
-      "merkle": "aa64bb1d66e2d5b7e3e0ea6da95f703e1d003eac9a131f91be95e22fdd3094a9",
-      "own": "0eb6007f561c8aad7ed1036ec2911571e64852748dcd5e1a1099026adde78073"
+      "merkle": "15e0de34ac1c054b2a38eca210f200197a79dded8e111b471f42b4671ba1555a",
+      "own": "5c93c75f8d7c421beb18fe58bfb9d9c2f7b89dc472f87fc393117deb1778915b"
     },
     "cpp.cpp.itPos": {
       "merkle": "bfdb14a49bde13250a3302c38d63f2b064abf4c24abb58a8aade148c244e8e83",
       "own": "26667aec7bbd091f5db6dfc224bccfa108d746597b1b27a689870901f65ac14e"
     },
     "cpp.cpp.itValidB": {
-      "merkle": "e86c6a2be940fd3a7eeeb4e3030e19ef46553ef3e1773f13d058e5aea62860c9",
-      "own": "612ff0eebc7038948633191805d3a0b8868a48eece2f591ee82615768ad79d9f"
+      "merkle": "2155e46fb4a4df12f427c9fea906e5a7976807c713ff1468f4f6b9465093ba30",
+      "own": "31dd6e044e8ca93bc8154a5bd8ce5f6f8366061e19cb740a7b3d4ae4260ab341"
     },
     "cpp.cpp.itVer": {
       "merkle": "84b5efd3feeed57c4c6dc0a747c1286cbc9543ff3c1fdf0f667a4784eb11e089",
@@ -2627,12 +2723,12 @@
       "own": "ca128de0931deae2162437c10a97d008d3f09941b6544d7338fc73c130668b2b"
     },
     "cpp.cpp.lengthEraseA": {
-      "merkle": "53e73f2860b92664b50e0251a98bf709a5759faac824566bff83acb852ba48f6",
+      "merkle": "6ff863ba426521cd90ad573e8b2c1473acbe86672649b800eda51a1c491b7122",
       "own": "fbeb9e72e77d2713b71f99874fdc7591f009d5bae7ae8c2187f105d954fbb248"
     },
     "cpp.cpp.lengthInsertA": {
-      "merkle": "229ae920b39ceb46209046e3d8a5c28431058535d9d8afdb48db4e599ae51529",
-      "own": "b7dfe2a6d7c825624c9d55db26b0f1f296c05718b52090a42849d002e82f6160"
+      "merkle": "7f344de2786402ab2110cce29be17a75fbc404a5385e86e6f6a4d0d84eab4371",
+      "own": "0a506fc9ea40fd2402f357c518312cdfe9eeed68aa15dc30f659f67185338ddf"
     },
     "cpp.cpp.lengthInsertNth": {
       "merkle": "a7e3a5699df79e9dbcbfad5d8049a7bc5098c1f3afa42f28ec40670ddbda415d",
@@ -2931,12 +3027,12 @@
       "own": "bebfc099a9f55c6089717fae0b3ad464e0724a26b58915da789b411b284a33e1"
     },
     "cpp.cpp.maxElementA": {
-      "merkle": "b7e31fb07d09e69b9cf3d1843b48c51c689d5f9239291ecf967008af9a995186",
-      "own": "4a87e7b148173d06b49b1af2443dcad1b3c98e286a83a07b2c65ad64de26a9f5"
+      "merkle": "cd9526049088feb02a191a6f0de167f479c8250fd9af278a775ecb38a37fb968",
+      "own": "002829a016d0d8e57ddf45ca94816d27bff86144df6159cf6f09d05eafe5e5f1"
     },
     "cpp.cpp.maxElementIt": {
-      "merkle": "28f3dae501f5e5bf4de4a0d2f65086b2abdd950ac4537add08b11d1f26c70f95",
-      "own": "0189ba0aad3ca0c33c00ce12a1c689ac4cbdfdce7f148742ea13a4aeef9a18c1"
+      "merkle": "3820364e4af2ac5f61dc120beb63ea03c824b15ea62250d3f062f275cdb76154",
+      "own": "400773396ab6eaf12e25e04b7913d892dfd872c7db36027e33a7314208756e97"
     },
     "cpp.cpp.maxI": {
       "merkle": "242ad2352e942423f19efc6a726922e6d3257f43884be08b451b46621d990e54",
@@ -2983,12 +3079,12 @@
       "own": "1fe096b5acd6dae13c0028dc6327efb0f82483451336a72df3873e77586f99cf"
     },
     "cpp.cpp.minElementA": {
-      "merkle": "780aade116ee51b09ac49b30af772f629140df075801c32bf8f68de9accea336",
-      "own": "b86cf08fe99b68bb3c74d0c4b636163125ac17484bcd323c6104264cc19fbfc1"
+      "merkle": "73ecf8090c079d495b275abffd848eeec59526fdc32f2b6100fbeafab213548b",
+      "own": "a9f720c42d16fa8c90459308f735000509fe59168f44c56cce8186f55548d76a"
     },
     "cpp.cpp.minElementIt": {
-      "merkle": "ac88d2f386edc82dd435fc585f3e6657435ed65bc4dacbbda55d752e5434434a",
-      "own": "042efa6c88d0d18ed35a9d691f6cb1b11784fb4359866d0731650ae407c319d9"
+      "merkle": "47f5854bb520818057dabc663f489ebfdeb4e90ad44820a35227b0b49069b7c7",
+      "own": "fb7160b296cd57cc736eb736b2b25673dc6f4da8cf9fb1514977fe960ccf3840"
     },
     "cpp.cpp.minI": {
       "merkle": "78be104d0e09356ca8826ee04c2501bef5233c037650e77265e6c8a6e6ac927f",
@@ -3827,12 +3923,12 @@
       "own": "8754ceefa5817a9c47897e04b9607cfd480f3bcbf88ef48fe6cc788564a0745f"
     },
     "cpp.cpp.sortArr": {
-      "merkle": "c2e01e1465f547f44b500fddba77d1aa3c71940da731e322c4b4a4ba8d508008",
-      "own": "d86aee6356bc0b1c921949eb91691617365f72515f6b08e3010f36ac47e7684b"
+      "merkle": "1a73a38a3376f6319c4844524a86a88f52839a77e7c021423c3e6bd078bd6027",
+      "own": "ab1eaf8f5b68f98998a2050f7c96201db7b2aeb6e3ab2fcc750948ea1cb74248"
     },
     "cpp.cpp.sortArrDesc": {
-      "merkle": "40b9a1e256c67cd4176a8e8b48bdb67f5bdd992a9d86bd41f39303fe88fd50d8",
-      "own": "bfeaf3047cbde9fd74696a54da492ec46ab1726ee280d5cd1ff58ce52d67ae32"
+      "merkle": "84228b97c8f7c4812b9b9f5d26ddaaf5a90e25ec234441b5297feafdac541803",
+      "own": "4322bcba6d9e3be5abef63458dffe09851054fef7e562a79ea4382d53a315d35"
     },
     "cpp.cpp.sortBy": {
       "merkle": "5031eb9e7e8f6f17dd9155df7d25f65b1fb3408c18acc90f52f1731f7d235e08",
@@ -4638,7 +4734,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2555676,
+      "bytes": 2575261,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610102029",
+  "version": "0.1.202610102117",
   "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": "3ed9bd24414179df"
+    "packHash": "ede8b5c2cccbe4f2"
   }
 }