@cella-lang/cpp 0.1.202610110422 → 0.1.202610110436

package/CHANGES.md

@@ -5,6 +5,14 @@
 
 ## 未發佈
 
+### std::bitset
+
+- `Bits`（`bits`、`bitsL`、`bitsLen`）、`bitsZero`、`bitsOfNat`、`bitsOfStr`（`bitsStrOkB`）、`bitsGet`、`bitsPut`、`bitsTestX`、`bitsSetX`、`bitsFlipX`、`bitsAll`、`bitsFlipAll`、`bitsCount`、`bitsAny`、`bitsAllB`、`bitsAnd`、`bitsOr`、`bitsXor`、`bitsShl`、`bitsShr`、`bitsToString`、`bitsToULongX`；引理 `lengthReplicateB`、`lengthMapB`、`lengthZipWithB`、`succNotZeroC`。
+
+### std::array 與 <numeric> 的其餘
+
+- `stdArray`、`scanMG`、`partialSumL`、`gPartialSumOkB`、`gPartialSum`、`gReverseA`、`gRotate`、`gcdF`、`gcdN`、`gcdOkB`、`gcdV`、`lcmRaw`、`lcmOkB`、`lcmV`。
+
 ### list 搬移之後的迭代器
 
 - `glMovedGo`、`glMoved`（指向 other 裡元素的迭代器在目標裡的位置）、`glEmptied`。

package/index.json

@@ -46,6 +46,10 @@
       "merkle": "b0470d3dde7fc041a3a1a67bd2352e87afea3ceb1c5e07265dda932f1f49db18",
       "own": "94497bc7a1281a13b704da171ae4eaa98e9e88f5d7627eec13868c07e38c145d"
     },
+    "cpp.cpp.Bits": {
+      "merkle": "49ce984a6525dfbe2399c1414f8602a3fe4f203c6fe23adf236ad19985eeb964",
+      "own": "51a747299f240f0cf31476cfe3277a17167f57d77c4466fd49f2a2e36a5f1167"
+    },
     "cpp.cpp.ByteAddOkD": {
       "merkle": "ac02c9185e0074b4abe68a30ffb2229357cbb6cf0b81c4b760fe0b4ed0d5cd90",
       "own": "2f3fe42a2e13a1d87eb4e540c81c113ad0c6a7deeb0dbb7648693ffc0ba322be"
@@ -1034,14 +1038,126 @@
       "merkle": "99cb7bed29dfdd38132528f1715a1f09ee7eff721a32017e7742712bd8f7ce4a",
       "own": "48b28d4bbe12f9883ff8686b94e7c5c2bd84b0fa4c8950585509b5a7b1b86809"
     },
+    "cpp.cpp.bitsAll": {
+      "merkle": "60235057e563cb6ca65a07b3c94643fde2131edef014d7405f5ec012123af1c8",
+      "own": "2dca958f7c212d3e0609342b978c48c5f5cec525185a872cd74f5053cc020933"
+    },
+    "cpp.cpp.bitsAllB": {
+      "merkle": "3a88fcaf6727c64e4170f14872118fe936b066e1c3eeda5080847d0f4559324c",
+      "own": "5def2c411512a911982a56d415c0a1d790f67ad0d8cedf0e7cf3d023f9de894c"
+    },
+    "cpp.cpp.bitsAnd": {
+      "merkle": "7fdd7d76cad78cb0e6a4891c55d25c95c6a08118c5b8f10340fe52320856fced",
+      "own": "bef70f039e498c84789a6b1840f512a6b506a4ce58cfd0965a4b7117d181bb22"
+    },
+    "cpp.cpp.bitsAny": {
+      "merkle": "4efcab1047b2866a4156b9f0a0f89742b95bd16ff7a379243275708262c3278a",
+      "own": "c8d3f0d29b1d91d10b1c3e943be28e4df60a6627f33454a9fa04c3a53eb322f2"
+    },
+    "cpp.cpp.bitsCount": {
+      "merkle": "c5e095da34217cae5354e0029d7b53d34e7c016119f7863576d9873cdb71e2c8",
+      "own": "e87532bf5ae10a27215b0350857438539ded66bdae53fc971533f8388c826965"
+    },
+    "cpp.cpp.bitsFlipAll": {
+      "merkle": "0ff970e93fe4263d177f61d7fd0ec85e48816ad1b4686fae6d6ce4a985d8d0b4",
+      "own": "bb58572cbff5154970db0fa486cf3751af9401aa302156d97e22cfa6e8a38431"
+    },
+    "cpp.cpp.bitsFlipX": {
+      "merkle": "a575c9d11aeedaf25d98e1ecc31cda06c0dfe1b20fbf927e217c8c6717ea0c25",
+      "own": "e7d4fa53772717245a6128d088b2feafce45eaaf934e285b8c963beb373a7bf3"
+    },
+    "cpp.cpp.bitsGet": {
+      "merkle": "2be318deb28a05a21e5d704f8082f53e2579406e97c088e400024458e4d63670",
+      "own": "1362bb949d46cfef8ff7dd8dfd0732d9c192e40c2157be77436b95a1c5bc55bf"
+    },
+    "cpp.cpp.bitsL": {
+      "merkle": "b25612eba8cbfb2cbae60edfe0dd6a9d99a4edd6180699af6dcb3b2007483544",
+      "own": "fb283a6ba07b6d618071b387e8c10419e0f8e757fdc0991eab0fe5b448d0cb32"
+    },
+    "cpp.cpp.bitsLen": {
+      "merkle": "0b4823c1f785c63f06ccd337aa85fb04af49e81f1b7681e24533418d20ff4edb",
+      "own": "30c17d83e73c640fc437cb44f94332247e069e691061e0d0f0cf73ad38904665"
+    },
     "cpp.cpp.bitsOf": {
       "merkle": "4b5bbcf20aa9e9f1e5ce58b66f265c9f136cc316912eea33d0895295c8623ef1",
       "own": "194465400c7df179db4e3cb1d2b74d11c22c67c7643253d72096c23009e1742c"
     },
+    "cpp.cpp.bitsOfNat": {
+      "merkle": "a8d0a27d1729db0adbe26920ef5b9fe154d0fb832e8fd80d316531482ae80920",
+      "own": "b2d4e1f35ae114efbfae9dfcc881a35071f7e99725386cb6320ae9a1a29d8200"
+    },
+    "cpp.cpp.bitsOfNatGo": {
+      "merkle": "f933c1b7cbcfa6f5dd4a487caab4189e6370e5231e4a7c0be0e13aae708b9a7d",
+      "own": "da9912ef06006cff5304ff2955e0083fc420cd4f0804fb45aa0e3820f28b8a90"
+    },
+    "cpp.cpp.bitsOfStr": {
+      "merkle": "e4fbd98b4cb97603a8249f125c6c25da2e4f8c2765ec4549f21c8dad5c9a5617",
+      "own": "31a119ebe16c90d3c5e89c8d551f936c64826b6cf536b46bfb7a73bfcf55fe25"
+    },
     "cpp.cpp.bitsOp": {
       "merkle": "0b5ab06911fd1e5083beb9df2f5783e77352b9f4e95a47856115e8873bb34863",
       "own": "b38db08a49a4fb96ea602a5d475ef3fb7ef81817598b491c4973134583cbd77a"
     },
+    "cpp.cpp.bitsOr": {
+      "merkle": "160a839870ace6ea9460c2b2ca15b3556e314c668a4b3f6ff039da133e498dda",
+      "own": "8cf9d0ef32b17a545adb6979fc7dc6313e07fff3fb75d545c0163fac6440a550"
+    },
+    "cpp.cpp.bitsPut": {
+      "merkle": "add7dc6d323491aaea0f0909f961c6312095631534c25bd38dda5d9083de6715",
+      "own": "352798b3d0888f2aa204f2ba77876a33670096395ae9c659dfc81c4dc3c72f19"
+    },
+    "cpp.cpp.bitsSetL": {
+      "merkle": "e48ccad5efdddd9ca5fb77474c0d9d74da802b86759a5c8a48ac7b317b755bce",
+      "own": "5037753c825d7e545e4816880d86b384727060097ef6542e975a85f48bb88c5c"
+    },
+    "cpp.cpp.bitsSetX": {
+      "merkle": "0dde6b88f1ae5851adec6e31f08a6c488f438c3f416ab4acffcb12cda5c23d6d",
+      "own": "db773da064d721334546558ea5797e0ee160fac038103ffeb28c0513c1186234"
+    },
+    "cpp.cpp.bitsShl": {
+      "merkle": "cae0c00e5bab2e66af7630dc98190b2d3525f75cb96ad058d1075572b30d2ba1",
+      "own": "937770d65c3eac77ab6f1659eaf1c51b1fe15fd7b2127fdd5d3654cccd773807"
+    },
+    "cpp.cpp.bitsShr": {
+      "merkle": "c8eff6c74b777b41c76d32556a87bf7cc951c30fe49c6fb48328bebd0884b94b",
+      "own": "7697c591f2632a481ec2f488017edd6047d3fc67c968bf410fde08a96bc1c233"
+    },
+    "cpp.cpp.bitsStrOkB": {
+      "merkle": "d6d3eb96db6ce06cce77731018f80b2e4eaa4491c9e5402c2fb693a393d40c64",
+      "own": "75817e897970b6cfc4dcccd5377310ff5fdb339bd67615d099eda00b9bc98db9"
+    },
+    "cpp.cpp.bitsTestX": {
+      "merkle": "9e9ea0cd3d3fc7e56ae9939fe2355be0f4b94623f932e4647223783d27adb115",
+      "own": "e7e1f040ef30052877157185821d309cf80311a6d949c44e3d3de7aac1102dc9"
+    },
+    "cpp.cpp.bitsToString": {
+      "merkle": "37645c94b6cf4f8c6fcd6149b2f586fd1157891e981c445858c00f13b619e3d7",
+      "own": "98c34ad96d2c5a220df488b9c75c57bc8d2d693ab29783b1c6b2d9e6629c3924"
+    },
+    "cpp.cpp.bitsToULongX": {
+      "merkle": "08578e5ca8729d8942dd98c49f04d93f97c38cabee24c017350b09aebdd9ac08",
+      "own": "089f66f7be3b13c6324b5bf87e4240216c7ca66851505c4b173a8d7e54d55f66"
+    },
+    "cpp.cpp.bitsValN": {
+      "merkle": "ba6419506cc6bd6ae827e7a5517fccb33724332835f09f3ab0d0161277688820",
+      "own": "bea20ddabc30e3c4c26f63e6cdda51c125b83d533f5ffdbfa40278a95df18383"
+    },
+    "cpp.cpp.bitsWith": {
+      "merkle": "2a4463fabf06690909512b229544599897202c57daa43131ffe6ce36186a3700",
+      "own": "d7f55256d56cdbc8572b4e87fd3cd898cb668e1dfa265babb33f2a4eab288eb2"
+    },
+    "cpp.cpp.bitsXor": {
+      "merkle": "1c9d0aa368551c4d7dae8e132894cb372d35ae3f78a794140d34bf0245e3d640",
+      "own": "2fea421f03501fb4652ed0fe693256270a19a64c8401c9361e14a50fb6582690"
+    },
+    "cpp.cpp.bitsZero": {
+      "merkle": "df7c5480f12a05a8482c66e34bbfc8fcb9034ab5556e4c0c8c86017576b0ef31",
+      "own": "3b381af74eaf77ec5eede870fc71e2a3b5a519d89c26abba2b1cf304f397367f"
+    },
+    "cpp.cpp.bitsZip": {
+      "merkle": "9784187b68c6cee2d3176cc68e13a12d0ff36642f459f6638e672047ac3229c9",
+      "own": "4353f2ba3693864b91ca11693d7ee190a226867178f7efcf9f7e060a66871986"
+    },
     "cpp.cpp.blockBase": {
       "merkle": "d1ea34f7da35b3293eccd831a32eceb4ae49533a14a8982d29158522080e5ef0",
       "own": "d70daba208dda37266f7355b7578b36c4189a8971b6b86e213d1971cb789cb83"
@@ -1754,6 +1870,10 @@
       "merkle": "8194adc554efdd62fa337dc9dea3b6dfb3bb864565054c6e53260d0696316a8f",
       "own": "c999f25dc022f0c7e39677ecbb676cd8db412c32c17520d0c31d47e92606f194"
     },
+    "cpp.cpp.emptyIfB": {
+      "merkle": "c93001e30e24a87d27146d8cc60dd92d44bc85c15cb11655fa2438e2ca79e0bb",
+      "own": "fe0052e41033d024e8611ea11d458dbbd01075a86d3be52c782bd3469a6152cd"
+    },
     "cpp.cpp.encodeV": {
       "merkle": "be351dd9791f69024d7f8f774a7042d6f6b9e93cc20be0cbe52a3beb60c078e9",
       "own": "2e14303c688d4e4d3675487454dbced9d2d60a9c8ad7d9911054ede5899e01a9"
@@ -2882,6 +3002,14 @@
       "merkle": "f5b00ef2e268112920b58060fb4d0f40e6ab6ef588195e4ec7eac83ece377efc",
       "own": "b9df5d5c0f03f3d12484fbb5318b1564f5b72387c920a094f661a12871835cd2"
     },
+    "cpp.cpp.gPartialSum": {
+      "merkle": "867177f230017555ed43fba72d2207c0e5ecb61bbb8465e6d445fce94319826e",
+      "own": "a7408fabc3150543c4c65676955c2a638f7378256eb4fc1776e3cf63980ab89b"
+    },
+    "cpp.cpp.gPartialSumOkB": {
+      "merkle": "ec5e30b6788a3ec4e797af2b7378a3477a01b5a5ef998b6a795802471330c179",
+      "own": "1d4f2506be04476e8bab5fe465539d4485a2fb3a841ab29a89f353e8925a9651"
+    },
     "cpp.cpp.gPopBack": {
       "merkle": "b62a2f900ea57e39117c52fe0e912a78cd9f858f38e8e6792e3dbc7c24655b77",
       "own": "8f5889c57cada4693ff13098911dc5c059d2fc45877db17175f3d634355dbb13"
@@ -2898,6 +3026,14 @@
       "merkle": "e8a405ae2c5b0749f5871ad9a1a110082c429206a121eff4bbcc3771895ca76e",
       "own": "6071b98239f0ea3fec4bd12b7acb26b8e0a5eeb87608158ecddcac975f961b97"
     },
+    "cpp.cpp.gReverseA": {
+      "merkle": "9f3ddde4139f3e3dc9a085e13294095f7a78f4d5dbf4ee60e36f11fda5b61765",
+      "own": "f1c287610e0882ab984f01af1ec06b938a7246609669aa38495cad1a1f4821a9"
+    },
+    "cpp.cpp.gRotate": {
+      "merkle": "f30e41389e16e39a3f942e234e412c01e13a911aa9b81618df975be72c1c71d5",
+      "own": "6a2adb9334073b4d0bed969045f059395d7fbaac39572d6dc6444b1dfa1e7dea"
+    },
     "cpp.cpp.gSet": {
       "merkle": "649f73ba6b424683e4a2cf19e008e901a01ce06c5ca813d951ffca86e13a6fbd",
       "own": "bc9dad9d4c4dd7f6b78a5de500330c266694c55bb78389b9a3a0293efc0db89b"
@@ -2954,6 +3090,22 @@
       "merkle": "159c2a440b7f6c495d2cc9940b938f03d3c4d6ec4e2452d5fd88a7746dd81080",
       "own": "a25ea9972bce8ec84be1e30416d37efd0e1e5bae9dfc3b0a746c1e5045539a96"
     },
+    "cpp.cpp.gcdF": {
+      "merkle": "e3809c9bb1f6d186ab1ec89574cb608051d2083040393a63b8c032c42d27ba4d",
+      "own": "3405bf8ab440010a9bee10545ef6d8604dfa93454cafc33e164612341f6b57ef"
+    },
+    "cpp.cpp.gcdN": {
+      "merkle": "c953c1dae21268000216b289041b701f5eac7585b8d2216fd8395938808a0582",
+      "own": "5ab78e753368778d91a25be146a2b14e923c91913107d0b4994775a25b3315ea"
+    },
+    "cpp.cpp.gcdOkB": {
+      "merkle": "422276e7fccf041527584039a730aae5b2e83498b54b77d47110b02696078d25",
+      "own": "4ad893cd194ea9d56d80e75d5e85a2e91d847d6327f6b7305aff70ca475399e7"
+    },
+    "cpp.cpp.gcdV": {
+      "merkle": "e28ad50a07d2e9bf70d799d3cc8df5c99a5979f4b5f6c1b4906c97cd03e7e255",
+      "own": "7558a82a02a74a6a7745b8f3c7dd3da99a1186bce175219c16cb7b70421d7c8e"
+    },
     "cpp.cpp.geTen": {
       "merkle": "fb663ada4d79b3f73e6983811f628ab215f28080656195b6584464e910e8bf1c",
       "own": "bf6526ee4aaff9742bee76fedd28243bb808696cd5bb4529d25ba23262afd901"
@@ -3954,6 +4106,18 @@
       "merkle": "0ae012dbd0d9a7ab2721c36dd6895f1ea04b2be5dfe24207679a61048539d8f2",
       "own": "ae69b4b5dce500e0289f42a32754ada83c16060a33672e63283cb78b86f850be"
     },
+    "cpp.cpp.lcmOkB": {
+      "merkle": "256ca2353b5914bd8c12838ce876fb0b28c42fa29b93f56d12cd2f562d9a4b3e",
+      "own": "89bec68bccf4dd00171045604c5824d06b2f3cf1c012217010517f511fda6c74"
+    },
+    "cpp.cpp.lcmRaw": {
+      "merkle": "6fbecc7c6ae29ffb58d47dedac2890292792d0fa7becce577b7bb601f4d46142",
+      "own": "5622544cf73481a4cf7fdde79cad10677fa1e8771562499cade010d863580b97"
+    },
+    "cpp.cpp.lcmV": {
+      "merkle": "ec05f887d4e17677730355e584ab9f70924f8566df5ba6c5711f1113d23021bb",
+      "own": "17f9bc82ab4e101ae5ff72cf58d4788fc5f3c3104473b04aad9c1fd2d03794e2"
+    },
     "cpp.cpp.le": {
       "merkle": "67627c7ca59dbc6923ce80f887f622703b75078a49f2b2bce107a2336da5a3f9",
       "own": "7057e826cdf59e05a8a863642c38164bb647c373b50bdc2e4c86c4d3da363266"
@@ -4006,6 +4170,10 @@
       "merkle": "888b06db3579750673ff2d1751e8b768dc42c34a03c2a0b44da425fd54e7a2d5",
       "own": "ca128de0931deae2162437c10a97d008d3f09941b6544d7338fc73c130668b2b"
     },
+    "cpp.cpp.lengthBitsOfNatGo": {
+      "merkle": "24275949e7a7a5c0e521ffdd694c9f89cf1459d5445a762eb5eac9492bdae26b",
+      "own": "d43493abc11bdf0af4e11f4673818260632e3d3e04433d44a43fcca0d74b6bb9"
+    },
     "cpp.cpp.lengthDropR": {
       "merkle": "54c6350338f14b952e5055510351a4420e53a6bf429ab1a62de943f674a74279",
       "own": "5f3778a31a0b79c4c7a92d766d285ea1ffaee528222fee24a5898a76f73deab2"
@@ -4026,6 +4194,10 @@
       "merkle": "a7e3a5699df79e9dbcbfad5d8049a7bc5098c1f3afa42f28ec40670ddbda415d",
       "own": "78b2499f8dacfd33e2d63c2b43b8daf88487986e3f531c68a0b94dd9335adb35"
     },
+    "cpp.cpp.lengthMapB": {
+      "merkle": "9d3a13d5e8685af7ae4569f470ab49b5c8d5d242675f71389a1ba813d0ce6273",
+      "own": "6e9866d078b1485c4ba4831721e8aa40e55eb7bf19a366bbd4d87b8d6947703e"
+    },
     "cpp.cpp.lengthPushBack": {
       "merkle": "211c06ec62beb3f5a6f0b7201cb362c1efa85526178539a3e96f6852db8cc947",
       "own": "ea90ff80da148c08121d3e62652bc784729a56593006bb4b656ba9718353647b"
@@ -4034,6 +4206,10 @@
       "merkle": "cff492fe4363b15ab9bd15efac05e898ae1f33afd5985f5a31444dc5b70ad37b",
       "own": "d8f16a1e5d0e5192b0e550dad71517988c124cdb6c4214f68a35829aa5bbe449"
     },
+    "cpp.cpp.lengthReplicateB": {
+      "merkle": "4cca6dc36bb6b067e7b92d2416c898d7545448a5af63fe3947c7a063a7d19223",
+      "own": "cbd02272fb12fe048a7298d9a2ab721948fc3215d73c2930ce9b95f37cab5140"
+    },
     "cpp.cpp.lengthRfrom": {
       "merkle": "a099d36383d5eee39b2cc77000d484d8d187db0fd976ebb0f3aee206b4ca1d54",
       "own": "77960e1217ef1440a4185aeab7b1bc4e723742278e1e7ecf7a40628fa089fe89"
@@ -4054,6 +4230,10 @@
       "merkle": "b91972c0e2852d7f60808d29c2be8cda43473fd7ec4bc9b0a31e7637c88d8a90",
       "own": "cd69cee80db8bfeeffd4934888dec19217c737edfd19b85f1e2139c706922745"
     },
+    "cpp.cpp.lengthZipWithB": {
+      "merkle": "8cc3cc4a1d3ca32af07ab7ec21513ef98f27b9e02c493e854d0bdc250a8d4109",
+      "own": "5da5cce3dae47d6e121165aa3c8d4b1d5fdba61d18a76cc91ad245d030572ce6"
+    },
     "cpp.cpp.lexTotalAt": {
       "merkle": "afecee5253e1845f19e611ffd9685af1c91942cc461cd5204146e61ce7f218a3",
       "own": "02b22a202ccef349a53d518119da54c490b91e6f453b40f4565ad0aeadb6e192"
@@ -4950,6 +5130,10 @@
       "merkle": "2498eeee194c931aeccd3a3c6bd46c28e3c44948d9e7a1a90e1b031c9b724112",
       "own": "81313f78911befcb9ac753df06d5c39c0bfd400762e0ee7d8063e49a749b9657"
     },
+    "cpp.cpp.partialSumL": {
+      "merkle": "b3442d18eb28a0f1c570d9b7a71eae43046c95c706ea735b9803e572d40ba5af",
+      "own": "024571175b7405ac991c5acbffbeb7f5c2bf76d24ba162898530f96e7adb760b"
+    },
     "cpp.cpp.pfirst": {
       "merkle": "f7ecc3ff134776ee0a4ead57933fb8f2a1f32beef5b5eb2130c3b0b04b0932b1",
       "own": "79558b79ce72b819696c9b6da1f65852c91e31f528096713d53f2944837d060c"
@@ -5390,6 +5574,10 @@
       "merkle": "7fe8d7c32fbd769cdc936bd90b602f9da8e39debf95375c87b8a4e991028947d",
       "own": "4c4444c11fe880031ce5cb48ddb9e7176fbe5d850e0d6e465c24d79015746bdb"
     },
+    "cpp.cpp.scanMG": {
+      "merkle": "7f7f34d5868d702c24dad306c6bb505d7742ef469aad42f6a9c8685d675d26a2",
+      "own": "0942dc811fd85b7f15a731b2f32aa9cc359e7277c0fab56b56b41b87162fd632"
+    },
     "cpp.cpp.sciBody": {
       "merkle": "35e900b5be9afdb617ca1ebaa05905735ad74b97509fdffd2e049575057a513b",
       "own": "ad196d9c28900fc70fd9d29447e9ab9a26f910c44e633fbb7f4f200b1141e19a"
@@ -5706,6 +5894,10 @@
       "merkle": "018c632caa2df0248105d0153c116b0131351cd6a507d6b2d632c7de903e32ee",
       "own": "1a4f9a0bb9f0c1a4dfca1f79cdd69a3872b8e45428771dd865cf41fbd15d3627"
     },
+    "cpp.cpp.stdArray": {
+      "merkle": "286c4e5f5308e4e3a3bbdef7f90cd0cc10a48dcd78e5365753750230bf21b340",
+      "own": "af6b16cc2b7baece1fa2d69d4094c188b1407111c66dd79c001f618abacac82c"
+    },
     "cpp.cpp.step": {
       "merkle": "cf2ec3b57af7097a01aedc0f331c3afa103839eb5558e475c5edc037830bf49c",
       "own": "bb1767b6c2504fd7b989ecebb506087c038af57da0b4776478868b7540acd012"
@@ -6090,6 +6282,10 @@
       "merkle": "73e2c9139ffb9bacafa8936eacd90a1841499900148f15acc95875940ba8f01a",
       "own": "c9a2e799e87befbc604d32d75736b4bed85494d4ccd9d17dc0eb857cf2d6cd21"
     },
+    "cpp.cpp.succNotZeroC": {
+      "merkle": "beee98d89edbabca2b628992b5830e50396447fb3033e888a44b576ed66bebd4",
+      "own": "5ba671c4dc3c17b98ff300d77446df6aa9fce13952a909f50c22dff0ccf548dd"
+    },
     "cpp.cpp.swAbsorb": {
       "merkle": "2fac49357e218c12ddf893824e974f10c20b5681535b20f111c7df14d91b3947",
       "own": "562ef6ec9720300b187939a3743bd8af6e85cb026d1d197122cf885ae95ac0ef"
@@ -6706,6 +6902,10 @@
       "merkle": "f30109968ddf45b916771a08f4926cafbeb71a6ead58104adffcc3f9f0f2c494",
       "own": "a1be374bf9e80e5492b28f1d1dd0eaa14fa74a19804dc3f2b2dc52d43a1775d3"
     },
+    "cpp.cpp.zipWithB": {
+      "merkle": "748eaed229078a206629d7a58685e11783272f54f480903764a53453f19c8708",
+      "own": "b20b86b95e1f2cab773ccc440be4a1bbb1c404406e045aefdc7f9f7cb4730bcc"
+    },
     "cpp.cpp.zivA": {
       "merkle": "4462629978df0e3856efc9c54d3a7e028f62fa2d2b9a5717058ea65d1c3145fd",
       "own": "7116b64d1cd1dab2787fccd6469159d7e4ccb16fcaa8a5200aeaa97e41595cbb"
@@ -6722,7 +6922,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 3200589,
+      "bytes": 3252356,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110422",
+  "version": "0.1.202610110436",
   "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": "708f05fda12b5db0"
+    "packHash": "3481c7b2ec74bf0d"
   }
 }