@cella-lang/cpp 0.1.202610110130 → 0.1.202610110138

package/CHANGES.md

@@ -9,6 +9,7 @@
 
 - `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`。
+- `multimap` 同一個做法：`GMMap` 的元素帶編號（建構子 `gmmap lt entries next`；`mmEntries`、`mmNextId`；`mmToList` 照舊）；`mmBegin`、`mmEnd`、`mmLowerBound`、`mmUpperBound`、`mmValidB`、`mmDerefM`、`mmDerefB`、`mmKey`、`mmVal`、`mmItSet`（`setIdVal`）、`mmNext`、`mmPrevB`、`mmPrev`、`mmItEq`、`MmMapIt`（`mmiMap`、`mmiIt`）、`mmEraseIt`。
 
 ### 陣列參數
 

package/index.json

@@ -231,8 +231,8 @@
       "own": "efdeb0e6aada4a485d3fdd86a090955747cde893e957c0f1122db8b72e362249"
     },
     "cpp.cpp.GMMap": {
-      "merkle": "937b740f287d1917fd9d283cd67a40ac09726f3f9d925bd4825da1fb035bf5d9",
-      "own": "89c9d37835b5cac1310d6211c6d6ea43ab98f54d637fcb75f50b35699bd123c3"
+      "merkle": "a0b723bd7374b1cf8506ff121c6c91425cbead69cdb6f653b8a523b65d2da328",
+      "own": "0e832c454d2c7bedcad4d04e8627ce331b4db0e367ee709e0c78e8233e98007c"
     },
     "cpp.cpp.GMSet": {
       "merkle": "e138fe0e1200b9412a687702e318956f1f76861b05ed3da04380e054d5044072",
@@ -370,6 +370,10 @@
       "merkle": "b8135ea41e2b7ad2e786840ad8e4b4e9c71eafe2bfe21b1c37a10b59b421b34a",
       "own": "f4fe7d74d3fe367a623acdf59e46a70d6ec5047cf3b4dd08fb15b41a6d6addf2"
     },
+    "cpp.cpp.MmMapIt": {
+      "merkle": "ff96202f00e7444b1b39ec59a4c16ae117d35d025c27399a901d2d7cc7c36845",
+      "own": "9adf078c4e351e07beff879c1f700f7f492c10a586a34695765f6eb80135abc2"
+    },
     "cpp.cpp.MsIt": {
       "merkle": "bf053fc8d81f4b142e6a6c652be32daa1ef5d22d44cf35a6e035d53c4774cdcf",
       "own": "e913981aa0a89acaab743f8435b0c1786a9b6abe7037bc25fe2949f2927a0113"
@@ -3918,50 +3922,126 @@
       "merkle": "569254e4824c81b9ee987dab78b0fc065ef5f96d39d5d28b9d0d124486580cde",
       "own": "47f179d33e6acee33837acdfa6b9d428c33d0fca13d0ded755bc2440f7f13696"
     },
+    "cpp.cpp.mmBegin": {
+      "merkle": "83f8f2efd162a6456809039d7e79b939776ceea825983ad25185f2831a9c08af",
+      "own": "19f2353162969ee051446d60517eb85ad2018ead898cb1ffec28162e8e437db9"
+    },
     "cpp.cpp.mmCount": {
-      "merkle": "55fc6e6277ff24e503103db6b00ce18fcba06dd63ac8c8c153f66d5204419ce7",
+      "merkle": "2742a51a2500863a50c05c0784d71ac303db76114e5ad48cf55f2c4bf03cbb11",
       "own": "ad489581dd4a26576563c503f1689560855194f67da7dad4b866334aa1b00ae5"
     },
+    "cpp.cpp.mmDerefB": {
+      "merkle": "b6b16b12f2055ec85a2e62fc1e36c9b24aae1dd2b3407297dda9b4b1181c8082",
+      "own": "bbcadf642007bd3577f364a109118c76275ffcbfa420308f0b920e8be189592b"
+    },
+    "cpp.cpp.mmDerefM": {
+      "merkle": "334506b5239a0a7883f30502a9c6fb5a5e7fc78573048091d97a3201f0e503cf",
+      "own": "ec4d6b76e1294b1e08c9f4763a062b0dbfa0f1fc9995654c84be6125a5b6c9f9"
+    },
     "cpp.cpp.mmEmpty": {
-      "merkle": "2a23c245b6a37d0b919620b395c0f03c43f3233ccb3a4ee0ad6eca731f85dcef",
-      "own": "38e46e0726562c6307835036d2f60c441e19d51669eb816d59970a033a3ae5c1"
+      "merkle": "8289b31bb46b81da4173a2325fd6fa4ce65854c460b278e8ce36b159ec952657",
+      "own": "427d4a01de3e3b5020a48e5a9d09945b5309a6e006ccb1a49baea996f20b7c48"
+    },
+    "cpp.cpp.mmEnd": {
+      "merkle": "bd1930f0ed65cbcfafc666ddbfa9f5fb4ebb03fff65b848e5b2dd879b22e0f25",
+      "own": "17aca505308a14ce1cb8013cdc5e612463dbe7ce14a8298fefee50ffb862c179"
+    },
+    "cpp.cpp.mmEntries": {
+      "merkle": "1ff3c5316440dd28bb58d3546acb8fdf55494f136ed009ef228defd476f918b6",
+      "own": "941c983878a4872d18419fed23c3462a6f725816cc22c0d300ce32e30a6bfc8f"
     },
     "cpp.cpp.mmErase": {
-      "merkle": "8b1a98d7dd35b9b4a378a6db6b63c9abe946aa25eb889c87726cc9d6146c1c73",
-      "own": "b2e7cd5775a2204b588e3e0d71944e272bf1e78846256fb970e44eea09329c4e"
+      "merkle": "6c598b469faa023d8b5852f477e904cf85df8a00754862dd661f77053389ad6d",
+      "own": "f7447326dc03c148e712cc28b5e065699424da7641cb70c0342902ce6bba4928"
+    },
+    "cpp.cpp.mmEraseIt": {
+      "merkle": "8529779263c4effa4fc232f448a0ce11e7c824ab4eb54c282bee8b139b3647cb",
+      "own": "eb7ee8da4d848335d25a930931aecd735fc8b122dcda09a5fbc2dea27f24ac88"
     },
     "cpp.cpp.mmInsert": {
-      "merkle": "0a4d838ea0b231f649e9881e085d18dbc57082885f4b745c011001ac61e4c64f",
-      "own": "42393f9a5fe713578b876d06177cb0cea08583f0765d4f4338e0ee038f2437a3"
+      "merkle": "152e61dc52f4e247a21bdbe5637754b6ef7089472b6098a7330113117b8d63ac",
+      "own": "e1355ff4c3b5a31e3b82e031a9ed7cbae66bff354bcaee89d90fb5f464326182"
+    },
+    "cpp.cpp.mmItEq": {
+      "merkle": "c1c57db18d77443b99c484a30454b1ecca5a2133316ce1247d23dfcd4e0af5bd",
+      "own": "7b487c47a768cb53e8856a03d06d40b64dc675b332ef433f9c42c53d8394f5d1"
+    },
+    "cpp.cpp.mmItSet": {
+      "merkle": "cd9da00cb839683eb25b67988a83ff9333c0f6c7b625fe6fdd75ded1491c2590",
+      "own": "337b728865891c6264c5624531cc12fe77f6b3bd2178dbb56aafa7f15b98aa07"
+    },
+    "cpp.cpp.mmKey": {
+      "merkle": "dd55764e010edb8e9813f999ab145067a9520bfbb16b81b850feb20abba79978",
+      "own": "2b9f7103329062eaf1afe9409b3790fdcfb3f1f9568a924c00970cd7497d6c3b"
     },
     "cpp.cpp.mmKeys": {
-      "merkle": "4213741005bc3152bf0a3ae2237bd78bdf31a33b8c0f951c68a9a372c1e0e1ed",
+      "merkle": "10cb8fdcbc3ab068c0496b6535f387b8b770fbda367096994afbbd909ede412a",
       "own": "9cd91590aa8ba599502b352cf70370a837632fd119619c7abcb2ab4ea351bcd8"
     },
+    "cpp.cpp.mmLowerBound": {
+      "merkle": "786a937d6349dd35a768cca38aeb683f4a40a3dd9c7adfb496c3f30b05ff0596",
+      "own": "d97c71ff8a73d370f9458991923e6c5727a5f55a00a0e4deb875f1b13122a24c"
+    },
     "cpp.cpp.mmLt": {
-      "merkle": "71fe7cbf5f5040f9b245fe1aff92ab99960112cb632c13e858e682521ee3edcb",
-      "own": "ea7288d540c5015945f31b51ead68c0b452aab982e6705793a3767a7680edda0"
+      "merkle": "02f3b0c6446b7c96423fe3f09aaccb89f92e2cf1418d8d93193809b49da098df",
+      "own": "2159fee50084283c7196500b6ec4a638f1baea3ab8ed26f7edb45ba54c7e1e39"
     },
     "cpp.cpp.mmNew": {
-      "merkle": "384f6ec0c55627a1ce21f117deb69d03fa9b933a8a606ba3eeddd1a2d9520762",
-      "own": "be86fa5286f925be0ae5cc9bedbb4efa505f2a81588015162600a3a7fe7fc2f1"
+      "merkle": "8f705f109f1dfd5f7bbdbcda77d477b398fac87156c0b643ee54f89b5ad39443",
+      "own": "c283089dcd19cc0ec872aa5d3f6e02b6bbe71c01d6f52d0227bebb8878c3e9a1"
+    },
+    "cpp.cpp.mmNext": {
+      "merkle": "aba8c29ece17d0cd131f1d4f3205b0e322e1f9634240fd53755528957d6b1adf",
+      "own": "46ce3eb5cbe1dcd486147af5b8596e4512632587eef1d18bf1fd7b07032d97aa"
+    },
+    "cpp.cpp.mmNextId": {
+      "merkle": "984d63522923966f374580559f0a9146db042dd8f7f74e84ba6bcad0debe96a6",
+      "own": "3c07173e751695f2b6a2e02881c9422ef9320d86f72610798046958874bbfa2a"
     },
     "cpp.cpp.mmOkB": {
-      "merkle": "7600758480e410bb91c6b9d1a1def4f2448a44dfc5e8f3d1492ab96f25ef28b4",
+      "merkle": "fe787f7e6338e0eeb318f906a2bfd673412a46f0f5f110ec0efb5e9b6f904c1a",
       "own": "0f63233bb3cf79357f9ba83b13f561e3f28cdc41087766d5ca6c95333f762285"
     },
+    "cpp.cpp.mmPrev": {
+      "merkle": "4017f6936322737001629d16223fa684dda1b2e527ab9cfc72a845907066f1f2",
+      "own": "2b7796b926106dfc71f8e2351151699e2d26c60d59040637d5055257d631ca5d"
+    },
+    "cpp.cpp.mmPrevB": {
+      "merkle": "44d1d543f927dcdc6025631c2b8d46aed751304636ec1f30b4c9b482ce70c4f1",
+      "own": "e6a7badea9fae9216096f113085bb5adeae7dadeffb3a63ad5d9858c2c20f933"
+    },
     "cpp.cpp.mmSize": {
-      "merkle": "2c9c9e3b3d0a263fee07699e7170a2f8997a6faa8673a1164636937d45794648",
-      "own": "8ba652d69c4b0bd2e6186a3d44feacfb04290b30dd41d3d98bff0694db09e525"
+      "merkle": "8c927ee2470e81d8eb392ee34d9424271d7f7a91fc99c62803f1b413e1962b55",
+      "own": "7b45e34c82d96eae8055fa414897bf5f402de3a3d02d1e616db88fefac318303"
     },
     "cpp.cpp.mmToList": {
-      "merkle": "b57c16094d6a281886b8fc36281eb1fa51a8398fdd0006d9ecdd9ecd1c983973",
-      "own": "6aed2a2c37262bf0985c636c4905b6ac8c4e0df595204841c514d32e1a3946c8"
+      "merkle": "ce0f69d6647530379b21909bb226e9201b242991ea452aa95362b682b6c57b9c",
+      "own": "1d0e94c94b28e80a57793d2653f7dc447bfd307bb9771b20c3d73f4befac2ca5"
+    },
+    "cpp.cpp.mmUpperBound": {
+      "merkle": "7bbd18a5bd0150720cf15f59dc6f772a4f98abad76b85c907aea530d921b475e",
+      "own": "9618c4d12deeedd5753fa23e81bef35d827dfe2e8df405204f40dd6f0eb37b46"
+    },
+    "cpp.cpp.mmVal": {
+      "merkle": "6e9142b564973020aa83de14ea1d0d3b26dfa7c7bff3d6013724500e07f7df43",
+      "own": "579dfcc8c70ad41e6385538e5b9ea2a591a0d57502b66c52630b379834ffdfee"
+    },
+    "cpp.cpp.mmValidB": {
+      "merkle": "321b9327c05f4c9f7e8afb811a802b3ba45b1f58d627d802e6ed7f3622ab4995",
+      "own": "79f5628c09e6d05e62ac2775c5e76cd3f55878396322fc9ec492a362d28a8d83"
     },
     "cpp.cpp.mmValuesOf": {
-      "merkle": "b1cde48bacab99fa5572dc8bb6887620fd5bda6c972a723d31b97a03e4255d2f",
+      "merkle": "a132b81920aedec121d3d4bc501d8300a98ada0d0c2ac6cc2cb96b3501f6f74b",
       "own": "96e10899a123d59f605137f18636325ed1c03a1723ad8ec0976022e97c383abd"
     },
+    "cpp.cpp.mmiIt": {
+      "merkle": "a0db9ab9ee0cc201096d0dcab3793ec026f7e074af41cfc08024ab6bab317e11",
+      "own": "2b86f5be8db826b3bde5e5fac80089dd0d86b3b34bfb55dcf6b9395280e10cad"
+    },
+    "cpp.cpp.mmiMap": {
+      "merkle": "50548d056bf6cd8411a5ccb69169ce3d80b5d2011c3b89f8498c9918feafada6",
+      "own": "82cecc1592f57369d446f6f658b3fb8f95495f88ad50044f462f07fb5b605db7"
+    },
     "cpp.cpp.modNat4": {
       "merkle": "0a9b2b06b9d3e09ce24c0f587654f489714d9cda79118dc29d36e7297b7ed84e",
       "own": "a7d09eecd3ab05ae8a65b89270f5e177dafa303d6d1fe64bc7272e4dcbb496ec"
@@ -4766,6 +4846,10 @@
       "merkle": "e31f26f478c5e0359503beb2e9e4febf28c6f0033a8cfd0513b00dfd0724d68d",
       "own": "dd7241a7985d944f5b7a7c4325798e8218b6af2c9a8a8d8d1b3f4ce7be3f5dea"
     },
+    "cpp.cpp.setIdVal": {
+      "merkle": "a828b22f3ac9471f46232b391c7f8152855b0f36fac5df719762f63cc37fe0bd",
+      "own": "273dcdc69c643d563354b0a3c9174e19016a1cc6235e3b32640388b0ccbcda4f"
+    },
     "cpp.cpp.setInsert": {
       "merkle": "a171cfc5c166be8bf5016f71bc56642aca29f4d2a062205a345b930356580670",
       "own": "d3c281ac589a02a7db27b5bfbbe6a7c3807ee797d3c02f13b329e72a30d41a62"
@@ -5942,7 +6026,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2929769,
+      "bytes": 2953127,
       "deps": [
         "cpp"
       ]

package/package.json

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