@cella-lang/cpp 0.1.202610110111 → 0.1.202610110130

package/CHANGES.md

@@ -5,9 +5,14 @@
 
 ## 未發佈
 
+### multiset 的迭代器
+
+- `GMSet` 的元素帶插入時配給的編號（建構子 `gmset lt entries next`；`msEntries`、`msNextId`；`msValues` 照舊回傳值）。
+- `MsIt`（`msit`、`msItId`）、`msBegin`、`msEnd`、`msLowerBound`、`msUpperBound`、`msValidB`、`msDerefM`、`msDerefB`、`msDeref`、`msNext`、`msPrevB`、`msPrev`、`msItEq`、`MsSetIt`（`msiSet`、`msiIt`）、`msEraseIt`。
+
 ### 陣列參數
 
-- `GFull`（`gfull`、`gfArr`、`gfLen`、`gfInit`、`gfullOf`）、`gfGet`、`gfSet`、`gfGetLe`、`gfSetLe`、`gfFor`（`gfForGo`）、`gfFold`、`gfFoldTo`（`gfFoldGo`）；引理 `allInitNthG`、`allInitSetNthG`、`ltTrS`、`gfInBounds`。
+- `GFull`（`gfull`、`gfArr`、`gfLen`、`gfInit`、`gfullOf`）、`gfGet`、`gfSet`、`gfGetLe`、`gfSetLe`、`gfFor`（`gfForGo`）、`gfFold`、`gfFoldTo`（`gfFoldGo`）、`forIdx`、`GView`（`gview`、`gvArr`、`gvLen`、`gviewOf`、`gvSet`、`gvSetLe`）、`GFull2`（`gfull2`、`g2Arr`、`g2Ok`、`g2Of`、`full2B`、`rowFullB`、`rowsFullB`）、`g2Get`、`g2Set`（`rowGet`、`g2GetL`、`rowSet`、`g2SetL`）；引理 `andIntroB`、`ltEqNat`、`lengthG2SetL`、`rowSetFull`、`rowsFullSet`；引理 `allInitNthG`、`allInitSetNthG`、`ltTrS`、`gfInBounds`。
 
 ### `<cmath>` 的其餘
 

package/index.json

@@ -218,6 +218,10 @@
       "merkle": "eb80d3cd0fee4d4d0b604059bcf920b4cd9b88e075beaf401f2eb7d3893d501f",
       "own": "5abe1270def80a93c1a03d6a4c05b86a041a1b395fb7a695bf8ad5a1b196d39a"
     },
+    "cpp.cpp.GFull2": {
+      "merkle": "7327e9dc7947763d6cc29c69fc5eae967b81e14e71543547348f852f6101a96d",
+      "own": "00f484faa3463586668f640234b3c1a9bdef047ff6c741fff6f6847b74811504"
+    },
     "cpp.cpp.GInsertOkD": {
       "merkle": "181a49eb1a1f43c81de9a731397b08c3c334cae07ddfbd4364e07629d80a2157",
       "own": "6cda4f9b32ed7b93b65fe28a7e2856bd6e302e41fd2f67a27ecea93f03b951dd"
@@ -231,8 +235,8 @@
       "own": "89c9d37835b5cac1310d6211c6d6ea43ab98f54d637fcb75f50b35699bd123c3"
     },
     "cpp.cpp.GMSet": {
-      "merkle": "78877855891e804b8d5de07ac4a4a3571e2adc9e46a302e167f293846953497f",
-      "own": "70c3ff42790a76a8d57c37719acb624e65faa873f4b1dc77bc0ebddc56dbfc69"
+      "merkle": "e138fe0e1200b9412a687702e318956f1f76861b05ed3da04380e054d5044072",
+      "own": "023363aa013833d85eaf26ac9a97db0cfa77c281f2793aa56fc3e2c1d4b697fd"
     },
     "cpp.cpp.GMap": {
       "merkle": "541c7ff874b4d3019a8cc373d3764dfff7bca184934eea846581eba7d8b863d0",
@@ -262,6 +266,10 @@
       "merkle": "3c2f555b24b816c57c3ef5814cc0a61ff237061ad176e14c47b295d96cfaf1e7",
       "own": "5a2f4cff0f701ad18b68900852718b0c8fd33c5aecc2f48da35df74d1cd94d0a"
     },
+    "cpp.cpp.GView": {
+      "merkle": "5d1132ddded5e80ed2957c67f46210246958ab1c67c8afb539864b6a742939a9",
+      "own": "cc4fc1fd0b1a905bca209858cd847ef6fc690886af48ec4c8dfab4f692899e09"
+    },
     "cpp.cpp.HypFn": {
       "merkle": "7462de806d21637e219d6f5ef4f077aac4a34f942a2a42e48753d37f77c38891",
       "own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
@@ -362,6 +370,14 @@
       "merkle": "b8135ea41e2b7ad2e786840ad8e4b4e9c71eafe2bfe21b1c37a10b59b421b34a",
       "own": "f4fe7d74d3fe367a623acdf59e46a70d6ec5047cf3b4dd08fb15b41a6d6addf2"
     },
+    "cpp.cpp.MsIt": {
+      "merkle": "bf053fc8d81f4b142e6a6c652be32daa1ef5d22d44cf35a6e035d53c4774cdcf",
+      "own": "e913981aa0a89acaab743f8435b0c1786a9b6abe7037bc25fe2949f2927a0113"
+    },
+    "cpp.cpp.MsSetIt": {
+      "merkle": "286829a00fdffa506b011c616a4c71af77a1624c712deb8e44051b1ef3dd9db2",
+      "own": "d32c1e1f21f48b2081cd9f1876c823c9600e243cd9846a6a9f87a647f3038898"
+    },
     "cpp.cpp.NextPerm": {
       "merkle": "cf78041e32aa0103f6299c62abc4fe7762b72a7189b5ebf3891a8c7d2d623330",
       "own": "15afec6bdb83f26e135b71588deec132f66756e1a0ed3c5f83ec3fcd2e7fff3a"
@@ -730,6 +746,10 @@
       "merkle": "678cdc68caccb5e92105c259e8bd96bc6694c6810e3957c97d15ce3378d305bb",
       "own": "5b525368a3cb74d1bcd7b3f0c991d2ca6fbc5b82e46b1286a177b5859bb2f8d8"
     },
+    "cpp.cpp.andIntroB": {
+      "merkle": "0439111289f01914a77c9b9097dfb13b50663034a53a7040f28366ee2c0d337a",
+      "own": "a8e680e92fe320426177b6cf6691ed70e9cf6d01e1f246e4e388aadfbc999735"
+    },
     "cpp.cpp.andTrue": {
       "merkle": "d7b93602bbc7f3e54c2260f738e4fbd693bef3ccb9284cf2282c692e7d7dc08e",
       "own": "7c835e28ae8709fccc6c5163f9e3f9711c3da68e157c637048ef12936ab70407"
@@ -2042,6 +2062,10 @@
       "merkle": "d636fd5a623e178017afd5c27d554e178d0ed55e54294a655a5a3d6b59621893",
       "own": "d52ecf4eb7d09b620a4b370f83fc03730a9a176fdb42a49e61d71b8fd125154a"
     },
+    "cpp.cpp.firstIdWhere": {
+      "merkle": "acc5f219452475d87ea9a908fa359d106b0cb5fa85a07a1bd7629881eeba635d",
+      "own": "9fd705e8e5674574a007b92e558b6b5618a416e88d9c6e3ebd52093a92eb62e4"
+    },
     "cpp.cpp.firstWhereG": {
       "merkle": "3eab71f4e63085fdc495f6eca8bcfeda5b709bdd06d735a95cbdc85bf931eb4a",
       "own": "7b75fb12711a529813b47409567c525bdd4238d64361792b3f80273a600f46e9"
@@ -2306,6 +2330,10 @@
       "merkle": "ed2a9ae43066b5f1760ad7927dd01969241f7d74b229829f6a373098ea526847",
       "own": "b9fd0427111a18a23953e49e0bf99ea92adb2dfd090634d6e1cef379b86d241c"
     },
+    "cpp.cpp.forIdx": {
+      "merkle": "7e07a402470dac1e9a8ce33bfd5fbedaf818ccb19ba0182bcf7bbf811e0c5095",
+      "own": "a1a5819e7042d373c2f061d3aa29d47e8a63e080a2d39fff0e03780dd16c803d"
+    },
     "cpp.cpp.forRest": {
       "merkle": "4f752ae5b6dc06db1255c15e52dd76f5226c25457d0c5152b379d8fc4f18a206",
       "own": "5e8a4779047459bcf1ff1118b99994da88afc7078fb37f24f74681dbfbffe2e4"
@@ -2458,10 +2486,42 @@
       "merkle": "016f560d99f1f37c0906ef378943ed4fa35714c84e82eb286986a9ae7afc04e8",
       "own": "2e3bd42e423994c4b5af2413141bb0ab9186099b35e9f60192c8ab8967a797ec"
     },
+    "cpp.cpp.full2B": {
+      "merkle": "ee15156201ccb10ea5627e0bd7b1a175463d7cc49f53eed3f420e26363a10f8c",
+      "own": "e97dc8905f2efeccbfe378d1a700bee31dd4ba10397aa4703e6c5379081794c4"
+    },
     "cpp.cpp.fval": {
       "merkle": "f744adc2710732853538ba3b2a37a0881d162a9cb354dacde9c3bc28d1b4badd",
       "own": "a4710bad12efe6c8f9c38938ea8acfa72655e4c648aa106ab866e3c948360735"
     },
+    "cpp.cpp.g2Arr": {
+      "merkle": "48c92e4737220c3899f4389772782fc04a73871855367c9398e1400bf80ee785",
+      "own": "dc2599f2fb14af1574e22f73927023f36e12c2c59bfecc8d9a17452ee766ff4a"
+    },
+    "cpp.cpp.g2Get": {
+      "merkle": "cc801429151d2dbec9940865139fa6dc8b22dca66f8a674aff7a1f4db884cfda",
+      "own": "abf9e238ba087e1fead906dd812beaa7b80903d8a0034f3ff339dc62d825a3ab"
+    },
+    "cpp.cpp.g2GetL": {
+      "merkle": "f2302fe3b1e94aef6a9c3935590347e6de1f53f166643ecf8f940fde6c0828c6",
+      "own": "747881e1d43aed254218bb52c290054385d56df10d2848c991b4b0e5d86509df"
+    },
+    "cpp.cpp.g2Of": {
+      "merkle": "55700e5343698eade4be0336522edabeace4a7135693222294f9addf766ee93b",
+      "own": "bc711359a7130a51660a4d493b979c769bfccba6864f409196bd80886cdf038c"
+    },
+    "cpp.cpp.g2Ok": {
+      "merkle": "e34253f01c84b4055df58a97be7d6450f138e33e7a525210faf67aef3dca4c7e",
+      "own": "c27500fa69ab4621fd82ff77751e1f3ae6b2834fc23d0152eb82ba4cbbdd4749"
+    },
+    "cpp.cpp.g2Set": {
+      "merkle": "1a6b9d892466194fb93fbe81f306e4e2286059a9252d53e3f38689c34cef9397",
+      "own": "81ab9243154a17460e9aa0f122d44e0c653d43985d05e9c1e3981000e1ec8030"
+    },
+    "cpp.cpp.g2SetL": {
+      "merkle": "7ea0d7cdbff97beba426eaefc0d2708cbdebebce13ec726bec1f4bf70e179205",
+      "own": "f2188b214563dd05302ce847c75151ceae3a82c2d71c3d643f66fb4b06e46afb"
+    },
     "cpp.cpp.gAccumulate": {
       "merkle": "bfe24d426c8258c937eab2fea042c1f7e07050a8995cd0f1eb625a4c1f7ea8a0",
       "own": "7a6a33ea257a179f03f892cf6deffa22c6505ec8cd7352d779ee979f437715bf"
@@ -2978,6 +3038,26 @@
       "merkle": "3ad5c904935d49df91e235697f84b5563ba634eccff66aeb66b8f951313eec6a",
       "own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
     },
+    "cpp.cpp.gvArr": {
+      "merkle": "9687c377f2cca333811eaf26d8db5c44846e6af50e5669a8f80567afe7b1b216",
+      "own": "a7f802fe4fed1c1dd50568b1c072b47bd48584469e642f8b16acc99a4228ac3a"
+    },
+    "cpp.cpp.gvLen": {
+      "merkle": "7afc2af12410b320b89cfd377d9f657ad9bfffec6443b738652339def7140ea7",
+      "own": "3a62293b95af4b5c3e04371f043a4b1808464835ec53480f13dc91a3212efdcb"
+    },
+    "cpp.cpp.gvSet": {
+      "merkle": "639d13648efd8307c3908aef458e7967447c4ac73d65316bc51ecc12174768b3",
+      "own": "a430e53e23df6900a6a694ad02f2b0bb99737b3b65b5a3be0b9ff75c9cacb807"
+    },
+    "cpp.cpp.gvSetLe": {
+      "merkle": "c09f45fdf3fb207a3d774036efb7b8a15274a998cdd5e7f1720bf841ac3deb85",
+      "own": "9a459b08cbcb43bc3bdd59aa6c6f745e3bf4617b98fa1fb1f68210107d214297"
+    },
+    "cpp.cpp.gviewOf": {
+      "merkle": "4f3e416ae078cd645406c2bf9fb43c2c49c16f445abc900ad0df8abbe2e909fe",
+      "own": "1c85857e4115bdf32ff3c77d04e15f7a49c954b45fa137af78cb259a280d11b4"
+    },
     "cpp.cpp.half": {
       "merkle": "36ecf45d20fb459e58f2fc0fc639395b5712a182d970b48970e5cc16ad015db4",
       "own": "3570a89c86c1ee4b65d9a2a2e61e4b84d33568e5030d96fb83cdf21db4216281"
@@ -3030,6 +3110,22 @@
       "merkle": "80b60607ac0790c2d9387c370c2f6283ce2db68e6e5bd7bf88e9f43824733e81",
       "own": "fcc89603727290866a111db4b267457246288699c8bd2182923c6d42e16eb3a2"
     },
+    "cpp.cpp.idAfter": {
+      "merkle": "60c1804a7b5c8531bff2b57ea4b67dbac46742a82152be358823afa02d3e6f0a",
+      "own": "00e24a54e8b4be4f67d329f4cd41cebee0b6a9a40a5f303475429e6100ce6d1c"
+    },
+    "cpp.cpp.idBefore": {
+      "merkle": "f632dcb1786667798192ea9a80a7a6f90c72c01c0e13d53ed585c762d117e030",
+      "own": "50a8e7cbc9b1e9bf9d727cbc4f57ce12b3e906c27b629b949b8b749d5689589a"
+    },
+    "cpp.cpp.idBeforeGo": {
+      "merkle": "35e5ceaf05259c960dbc36835b58101627f9601131680bad208b747ccd382795",
+      "own": "0c2d445ae28f5f35e90df3a6ee0db3b9559dc3149880a4dd0eb939cc31c07ac1"
+    },
+    "cpp.cpp.idsOf": {
+      "merkle": "3be78ff668766ff59850cbf2e31e6d53e63ef3ba6847dc4aa33f7766ab19c3f5",
+      "own": "c44e0e3bb34198b500b803bc52410b96fc2aedf590f3c457328d3472ed03f352"
+    },
     "cpp.cpp.ifS": {
       "merkle": "460c0dce801529e0e455929ea4e05bbaec7309f34b315b504eb2071fe1baf222",
       "own": "c8347f4b9922e1fe1be5af71b89443e5dce2f4ff2f1f0fcfbb74534368a62fe9"
@@ -3314,6 +3410,10 @@
       "merkle": "0abb1e1f7da1ca3d8bd73356d735e04021abe35d6d63af234d4bbac5ac8bde0f",
       "own": "7546103c3f5ed7be8118a9b6b8eb42fe1aced780c5e9955288674fab90f1d663"
     },
+    "cpp.cpp.lastIdOf": {
+      "merkle": "41dbfd64e5e163aae7f3a82a58aacc780568a2d779f8c1b07ad5adb541d0b1bc",
+      "own": "fcd0b4e0de7a448bef43e00d6796f9e9c39eccee68f32edb78d9b18046452861"
+    },
     "cpp.cpp.lastM": {
       "merkle": "36fa7f9bed988b8e72cd738fe0277e7bed8df3be09a83aea919271de1d266766",
       "own": "ca24f2c1ed0bd1ed5cea80db6ac949c1e3ef5dceb346327a54e583f21fac0734"
@@ -3386,6 +3486,10 @@
       "merkle": "6ff863ba426521cd90ad573e8b2c1473acbe86672649b800eda51a1c491b7122",
       "own": "fbeb9e72e77d2713b71f99874fdc7591f009d5bae7ae8c2187f105d954fbb248"
     },
+    "cpp.cpp.lengthG2SetL": {
+      "merkle": "f58a07eb409fa527a1c29ff67bfaca63bda4f6615b60f93a5ef91a4fab60edaa",
+      "own": "700b50e1a1795311eed343051e7063fbf260dadcd94edc4726598ad7f56167d3"
+    },
     "cpp.cpp.lengthInsertA": {
       "merkle": "7f344de2786402ab2110cce29be17a75fbc404a5385e86e6f6a4d0d84eab4371",
       "own": "0a506fc9ea40fd2402f357c518312cdfe9eeed68aa15dc30f659f67185338ddf"
@@ -3514,6 +3618,10 @@
       "merkle": "a525743d7ce9c065b32c260b9d80f748dcaf50a9f36432233a4be246e65705ac",
       "own": "253e1cc3ed3df60de2d67ee86c2ca231ec20fa63be468dc269c7112625ff0129"
     },
+    "cpp.cpp.lookupId": {
+      "merkle": "f46dacafbec7e3d81f4d8304fb07fcd4b410a9250620e9d457a8e654c791f767",
+      "own": "47051b6f99d82829d8aa032ecb8d143d0c9217ab7bdbae283d42ade57c729542"
+    },
     "cpp.cpp.lookupSet": {
       "merkle": "dcc0cb60bc180ba35c300911e4feab4f3a9bc24ba9d38db8402911d5bc1c77d4",
       "own": "243c92daa8c7ba50f42b022aba43bfe43cbcd663c0131576f501a2f2464ff6ab"
@@ -3562,6 +3670,10 @@
       "merkle": "43661906da6775bcddb4eb0f671698e4afab5c926cb9d2746e682a6bb96e5cdf",
       "own": "5bc94424e5602b2f249662308857078be93efb07ac2edc01e5e1d1f57da285d5"
     },
+    "cpp.cpp.ltEqNat": {
+      "merkle": "9a220586611e8d61f87c82fd1e07dcd8da8a7b61d3727e46495a6b509f008c28",
+      "own": "02a68a7f8beb32db0ec9db6fac614e2d168d764b1c1033ea2f7b4aa4eebd6e70"
+    },
     "cpp.cpp.ltFF": {
       "merkle": "8aa69517d299bcfd0e212389cae1297d36d916b8c67b62d74e8e486e9f4f2e1c",
       "own": "41311c51d9f40953536e14b59d09b9eb5971b984b6fa2ae2bd875b3ed9453274"
@@ -3854,41 +3966,113 @@
       "merkle": "0a9b2b06b9d3e09ce24c0f587654f489714d9cda79118dc29d36e7297b7ed84e",
       "own": "a7d09eecd3ab05ae8a65b89270f5e177dafa303d6d1fe64bc7272e4dcbb496ec"
     },
+    "cpp.cpp.msBegin": {
+      "merkle": "3ec74832404a0f72c027eabc94418dadf22fb4b986779916d88a3db9ee6cd7b9",
+      "own": "1648454d6fc501cfac9cb11db2a5166d4dae07734e550633651484c54e197830"
+    },
     "cpp.cpp.msCount": {
-      "merkle": "1536a5192c150307a3a38ac300ae3a609590e6b9cee198051b3c82c46f666f87",
+      "merkle": "d99acd82a67ac6ae89887fa9c9e75f6f95a10ed6fe8952e81dd9298b24e305d5",
       "own": "7b9f2b29e64c31366a7d3db5abf32718543d27c4a4a69362ae96ae5c9be411e2"
     },
+    "cpp.cpp.msDeref": {
+      "merkle": "ae276fda3181800383908191c5af57aa9ff78427790be3822c476b40becf05ad",
+      "own": "55f33ef63e726358b0697e168e6c519115909fb7a9f664ab19526e19677427a4"
+    },
+    "cpp.cpp.msDerefB": {
+      "merkle": "e0ab1e5706b2aa8be7cfaaaa10d481233c56a88992e0a0090592d92045ebbc83",
+      "own": "0b7be92323653be2418641a3d5409772f0667f5e88a3e1b7e8b3edcf3f371608"
+    },
+    "cpp.cpp.msDerefM": {
+      "merkle": "ab04ea71ffc799554e7ea6861e3df30abee23fd2fd5123df4f5cd355b6dde745",
+      "own": "335f18c12dc62e037f72d638f2b21b9ba4f4507692077cdff8dd5cedb1d3c278"
+    },
     "cpp.cpp.msEmpty": {
-      "merkle": "d233de52d9f7544582c016615a835d3fc94f22ad83db66d2c17175fa91ffe611",
-      "own": "493dd38eeeda5eb204307fee9b439ddd20931c483366efeeed5c73ac8075ded2"
+      "merkle": "b6ddf4b6b0b037d3982831d5c2207ae57e22da13f490580ce9e49ecee528ba32",
+      "own": "513b98a43b89d381f325e1305e800c76be49624670b7ed57c401be9ea3273ff0"
+    },
+    "cpp.cpp.msEnd": {
+      "merkle": "0f060856ae735465ef9181e88e4be4da10048461226e101b8cc5fba86db1d88d",
+      "own": "147003816dd1d0c2c19caf67947243223ff23bbe134d06dfb965bba519a0c82e"
+    },
+    "cpp.cpp.msEntries": {
+      "merkle": "be25cde1baeeafc47d0cb8a3b391e2d8e09e1c9a5e4a144163ccb81e7541529f",
+      "own": "42aad72c379193ac1beb22e91a3c7292453af6cfe7d0d2bdf5661ec30e2ace72"
     },
     "cpp.cpp.msErase": {
-      "merkle": "4df445d04fbb817dbeb377e46fe986069f8aae99ec96ce51e794ac991848600a",
-      "own": "9a8e74fedbe7bf37eb2d5a44fae3996eb1a0424eb14bf3046b72ba8e0a785b3b"
+      "merkle": "fc9fda8770e970c4c6bc9b774591406aab30409be5c7ed2921976cff41713539",
+      "own": "8d74b33b0ac86e643e2971aa0e24ad5649d2e5765d16c180605162f87405d87b"
+    },
+    "cpp.cpp.msEraseIt": {
+      "merkle": "3487c7dd60019f8dca87a127653145569c0509a3c83f013d0a9429833bd643f3",
+      "own": "3b3f54fa2c445cf751a138c81de650450e0892877740f85271ae3a46beb2c3aa"
     },
     "cpp.cpp.msInsert": {
-      "merkle": "b8b2a7212cfe77dde7e9b926a10679a40d1d96fe9338445515ee7d653d6cfa91",
-      "own": "521a26fe2998367c18a91093aeb1ee16bf8d91b40f532fbf676e8152199d879b"
+      "merkle": "f35f849761653f192345686dadd23b5fd12772f973500fba0f1e57e96f92a926",
+      "own": "d193f0a5908ed5e8c125645e59bcbe6d863e9397f41f0d0a85d56e04a4eacae1"
+    },
+    "cpp.cpp.msItEq": {
+      "merkle": "7288b10b7ac4cc12e79c2c0abb62ffe718f20264ec3ac4ec8e4548f46ab574c7",
+      "own": "7b38619ee355d7fb20a15f61e7e953cf5b2ecd40d627d8e9b67bf646cc6524da"
+    },
+    "cpp.cpp.msItId": {
+      "merkle": "dda96b45ffdac7603757b7549742e57a17993e910cca45b05ef1886079114765",
+      "own": "c51d6952a3402d8af601606eca8503474f97c58a45da7ac1cb23fb0ffb887697"
+    },
+    "cpp.cpp.msLowerBound": {
+      "merkle": "8c5ba9d978f4a19ae968f56e795f99c61e34ecef84d31af3010623fb67d32d4e",
+      "own": "64f06e6f1c3f2fd233b8660ade9de82fc3aa23622594945129dfd1be336e6fd6"
     },
     "cpp.cpp.msLt": {
-      "merkle": "7c772951c206f322c08c97a7b7118567469b88c8ff0cf81cdf4d1e5cea2a7997",
-      "own": "80ef409b87c618e473c2435e23a6e7fb26e15b2fc62fbebc6adca56ac0635ab9"
+      "merkle": "955c1a97427371f3e723b585959d4ec29377aa7866d625baec761513cd403fdb",
+      "own": "988496f3df4ca11e0a34352d2992bcd4c1c3df80361f89b2e27b35c9fcb7a329"
     },
     "cpp.cpp.msNew": {
-      "merkle": "cc47d55f680bd89a74eddc52267d3e75d33559c37171b0b3e662186ed83bfc7e",
-      "own": "752cfa6ffde5a715239d6a3ca7ebb841c24cef607cfba1dda92c426bf5775b0c"
+      "merkle": "c0724cfc62efa9e82e580f5c5c83961e759fbe3bee067d8fdb05b8aab7be0e72",
+      "own": "72eb89680013ab7d70cc18f1cb65d21ece6c8c29022226e439fc5ad2d5bbe1f2"
+    },
+    "cpp.cpp.msNext": {
+      "merkle": "1751c48a77a38dea3e494ab82a59554d1f80c779afc1df13aa16bdea234397e9",
+      "own": "8cc1b7031d790cc1f8132e8807c5a98411580c69e9fea1504b6de441a9d7f276"
+    },
+    "cpp.cpp.msNextId": {
+      "merkle": "633835ed469122fe9fda58928b3eada0007ac2e4e71e05079e8ccfa51080a540",
+      "own": "0f76e29470efe96e18a4168c127360f4c17526a9ec17851260ca0cbcf0879ba4"
     },
     "cpp.cpp.msOkB": {
-      "merkle": "3155f7c532dcd06fba88f58c9fa1a3536bd4ba043555d7091276b57158cbb047",
+      "merkle": "1d99b572fb6f25c63746f2577a8e5db275408bd5b5febee1e73ddd9d9a9b2047",
       "own": "f8df08e988dc9b0bd97469cbe06859f0709bde02bf1d204bd2667cbb346da1dc"
     },
+    "cpp.cpp.msPrev": {
+      "merkle": "91f1b398bf273d27aa96d18d996020d7f5d2ad2b6202ff9540322e03af7d711b",
+      "own": "d3f63c19a932a468e5ec3852f0889cebf93dd264ce5f88a7188b0c65b3c4acf9"
+    },
+    "cpp.cpp.msPrevB": {
+      "merkle": "652dfd78e4b3ee32112d26068eeb7c45bed4de33f392ffb9e18079abeb0ff517",
+      "own": "60c887b41a03b056321225cef57a8debff0ae1fc266f8ba0741812a227510ee0"
+    },
     "cpp.cpp.msSize": {
-      "merkle": "e0d31017f6624152ec3df28b6d0c21e2194e73c0af2414c85b0c4a2e37756c90",
-      "own": "d096922f7d0a9de8d11b46b5fd81aaef9d0c7e65c7a2859cfd9bbed2663d8b33"
+      "merkle": "fe87b9921fc03789c79598761e3370c0ec36e1d799baa3b315f7d85df2a974e8",
+      "own": "519f02dde310e7a419b390703a8c101820acd408802d31c1f72ee929ed7be2ac"
+    },
+    "cpp.cpp.msUpperBound": {
+      "merkle": "d4436dd0ea7424cfb8bc328ad8c840ba133d0fb6b51744d1b8610c977273678f",
+      "own": "9cc95a8506bfeb958fdd1c2abc07dedb1f888634744c68b7f1f150944c808337"
+    },
+    "cpp.cpp.msValidB": {
+      "merkle": "66c4c24e9e8fe9d2b1af41d6eb0d8e9c950038a48de883ffb882c5b033772591",
+      "own": "3064d2d4d3879501e8eea243c251644154f89e0815a473ec25a8332262c188db"
     },
     "cpp.cpp.msValues": {
-      "merkle": "56fb39fba05746dcdcb6717cbb6d121e73272bd6dc65f49cf83ffd8209a77e5b",
-      "own": "79d936aee6e3101df235a62cc3e8191a0a5b80c118f79dcf5d675bdfe286bf1a"
+      "merkle": "31cbf05007139d5a965b898432b554423ea380e70f37addd47013d759aefd496",
+      "own": "80bb35d96e361c9e040182a03e52c082a98d312dec5f118e43c18f284c040b5f"
+    },
+    "cpp.cpp.msiIt": {
+      "merkle": "6b7499a7ba7604aaf3a9df1139682d3fc92b20328196d581463e2d861e563d91",
+      "own": "c1116c027f5cec786274323480a3a0316c124d336b4ff1d209482b24ce909ed0"
+    },
+    "cpp.cpp.msiSet": {
+      "merkle": "fb6addbb87e0e571c6d869743cfad6e8694e89fa8f25ebc792623113dbb4a689",
+      "own": "b06baa21c7c57bd4c03731ea9311ea665267b583ccc46d1c5e2bdec5669bc6d0"
     },
     "cpp.cpp.mul": {
       "merkle": "aed5e5eb778c628376866474038dbd047492b4dd1dd9022e1f1fdf7936c8a1a2",
@@ -4438,6 +4622,30 @@
       "merkle": "3465f4af7d243d0bdae3c0e2a0b9738709db996d08fc4b2323972e77d6a01593",
       "own": "8c2cae195e9b41950bd68a636873a26d23af45b9cc4b7760c4135df7a5376bb0"
     },
+    "cpp.cpp.rowFullB": {
+      "merkle": "0aa656caf52dea633242e39d40dd50d5de3bcb0d069a5342fc3985588ae5abad",
+      "own": "7b61752e159cfae6f48abb58b58ed095d34bcfe00cef1d25750c6f1c93ada204"
+    },
+    "cpp.cpp.rowGet": {
+      "merkle": "02912bbcb44841ddb2bbc85be6461733964eea3615c49ce417a2a0594b2bc265",
+      "own": "8bd5e14171824386f0d49c02622fbf4d76ac7fef13e9c04dcb1fc4502f9ebe40"
+    },
+    "cpp.cpp.rowSet": {
+      "merkle": "83a1a59aa80f77cd166529b6771cf2cdc26e6ed255cc9ea7a1a8bac57292fe86",
+      "own": "730ea9b892fd627959d59bba35dc7046cdcecab99b59ff4155486a8350ce8aa0"
+    },
+    "cpp.cpp.rowSetFull": {
+      "merkle": "075b13c476ac9a91e0d33a94f7dd9bcc521d5340e1ba8aee6488841bab1b1684",
+      "own": "4e5452bdec9ba7ff512ccf09f13c53b7733ebbe90b14be3519bababdfe6f19a7"
+    },
+    "cpp.cpp.rowsFullB": {
+      "merkle": "c0e5c9f906458919c36469600fb6a38d669d98ff8334124d4a612f31cb68e919",
+      "own": "b13d0b50c42c69a82f5093cc7f3f4b26e84dc56ddbb2ae6818ab627206c914f6"
+    },
+    "cpp.cpp.rowsFullSet": {
+      "merkle": "5a50f905f7f3f2515e4237f0890f20552f0c6bbf059ebffa8d76428c1320fa9f",
+      "own": "35dc8411286a1279f71da1df6415cf8a935e2feaafaaf58312d5f9de0bff85ae"
+    },
     "cpp.cpp.rsIOS": {
       "merkle": "4dd8dc27474afc9e5c12286937d3693eff6638a4ae75996fd08e83d4a1491095",
       "own": "b5c2a4d5be5f6aa9910f5c15b3c904b88cf28b494dbc1a951facb79b6db1878e"
@@ -4478,6 +4686,10 @@
       "merkle": "83d9bff11accf04776670f693049d7d54268e7eafdbad06c0e33abed7bdf3b3d",
       "own": "7ef70d7d5c516a292392c33b3509f4f0d94bac63cb727a68e4ff044664c74bbe"
     },
+    "cpp.cpp.sameIdM": {
+      "merkle": "8ae03e4bde73f3cb205b3d53fd98dd4037e5cd3928549b79958beb6dd5fc1a5f",
+      "own": "5969005be42fe97260295d22a73b1890e029590f583c5d5c89073531c4c2fb98"
+    },
     "cpp.cpp.sameKey": {
       "merkle": "45c3b8ce166824ca58e3b06c47198d8628a6a5970510dc8fdf9144252b8dfba2",
       "own": "44f9fa7f83ac9b0114f1ea85df9f91a9da186d873c27a311e29817d2132d7854"
@@ -5730,7 +5942,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2839185,
+      "bytes": 2929769,
       "deps": [
         "cpp"
       ]

package/package.json

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