@cella-lang/cpp 0.1.202610110130 → 0.1.202610110156

package/CHANGES.md

@@ -5,10 +5,16 @@
 
 ## 未發佈
 
+### std::list
+
+- `GList A`（建構子 `glist entries next`；`glEntries`、`glNextId`）、`glNew`、`glValues`、`glSize`、`glPushBack`、`glPushFront`、`glNonEmptyB`、`glFront`、`glBack`、`glPopFront`、`glPopBack`；迭代器沿用 `MsIt`：`glBegin`、`glEnd`、`glValidB`、`glDerefM`、`glDerefB`、`glDeref`、`glSet`、`glNext`、`glPrevB`、`glPrev`、`glItEq`、`GListIt`（`gliList`、`gliIt`）、`glInsert`、`glEraseIt`。
+- `glFromList`、`glReverse`、`glSortOkB`、`glSortBy`、`glRemove`、`glRemoveIf`、`glUnique`、`glMergeOkB`、`glMerge`、`glSplice`（`glRenum`、`glRenumNext`、`insAllBeforeId`）。
+
 ### 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`。
+- `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

@@ -230,9 +230,17 @@
       "merkle": "ae9223a42b880ab3be83dc0f42f83b241c22c790ec60e149f2e39831750b34a8",
       "own": "efdeb0e6aada4a485d3fdd86a090955747cde893e957c0f1122db8b72e362249"
     },
+    "cpp.cpp.GList": {
+      "merkle": "5916222055b29468ddd1441173eab983c0b3ec3b41a733e5dbd876cf6043e9c6",
+      "own": "d09eba0e7d9a60ac91afa4ce661c7856c7090a98714cd24c438f2b2da248ff65"
+    },
+    "cpp.cpp.GListIt": {
+      "merkle": "38c13851f7f3578bfd8499f6576764e8cd33e001f7d17ffa789d86d5dd640e32",
+      "own": "74b63313e2e7c7bb801d8d3246f112e5e84a57859dfe5f526ce3a7795bedecd5"
+    },
     "cpp.cpp.GMMap": {
-      "merkle": "937b740f287d1917fd9d283cd67a40ac09726f3f9d925bd4825da1fb035bf5d9",
-      "own": "89c9d37835b5cac1310d6211c6d6ea43ab98f54d637fcb75f50b35699bd123c3"
+      "merkle": "a0b723bd7374b1cf8506ff121c6c91425cbead69cdb6f653b8a523b65d2da328",
+      "own": "0e832c454d2c7bedcad4d04e8627ce331b4db0e367ee709e0c78e8233e98007c"
     },
     "cpp.cpp.GMSet": {
       "merkle": "e138fe0e1200b9412a687702e318956f1f76861b05ed3da04380e054d5044072",
@@ -370,6 +378,10 @@
       "merkle": "b8135ea41e2b7ad2e786840ad8e4b4e9c71eafe2bfe21b1c37a10b59b421b34a",
       "own": "f4fe7d74d3fe367a623acdf59e46a70d6ec5047cf3b4dd08fb15b41a6d6addf2"
     },
+    "cpp.cpp.MmMapIt": {
+      "merkle": "ff96202f00e7444b1b39ec59a4c16ae117d35d025c27399a901d2d7cc7c36845",
+      "own": "9adf078c4e351e07beff879c1f700f7f492c10a586a34695765f6eb80135abc2"
+    },
     "cpp.cpp.MsIt": {
       "merkle": "bf053fc8d81f4b142e6a6c652be32daa1ef5d22d44cf35a6e035d53c4774cdcf",
       "own": "e913981aa0a89acaab743f8435b0c1786a9b6abe7037bc25fe2949f2927a0113"
@@ -2778,6 +2790,174 @@
       "merkle": "2dfaeec3a4ebc2c0e1ad2ab5ca277e443cd87f6ff6a9a856b990155da39af496",
       "own": "1cb6c4a18533fae3e6de2794ffbc1eec6978b6790ed2a1762fff83501c07fb77"
     },
+    "cpp.cpp.glBack": {
+      "merkle": "f6268f24e7bd5013f9b5646e1a3df8848d6a5529dc7424eb201f93c8677e96ab",
+      "own": "5320a9bc83e8169891279f3fe45ebf88ae14e14b3c49145ae51173c01f2a0dce"
+    },
+    "cpp.cpp.glBackOk": {
+      "merkle": "1b9c5399ac332df90c1742e5abfe3429d9491560ade18277f8176e0605492e25",
+      "own": "a13bc11b1d693defb75c660bf119d35109b5f99ebb6be79d318751835ce2d2df"
+    },
+    "cpp.cpp.glBegin": {
+      "merkle": "d02fbd86b9b4fdc9263a8b5a56d94cb9af30a5901f7cf06d0ddf763e2fbbac11",
+      "own": "52937d59b12636df444d66e6fc2660723e670429da05f8bc2b1318545afdfdaf"
+    },
+    "cpp.cpp.glDeref": {
+      "merkle": "02fbbce31f1b2ed14ab81d3123fc4f7340ede63a36110957732cb07a6d45774a",
+      "own": "36c3fec53f6e1574ce503391df55a00064297efd507e78c6590ffa3d3a13d8fe"
+    },
+    "cpp.cpp.glDerefB": {
+      "merkle": "f01e25b9834c7899a5cbe616dc22a76de847c9919acafdc07c203e2c4273d936",
+      "own": "d1b8a6a159f68c9ad1a7193c0b427477212706af58f8a12a7c4881b1fc18c1b9"
+    },
+    "cpp.cpp.glDerefM": {
+      "merkle": "b9b17d8e2b9776e9abf3fb02c49948d8869b0008e1ca6b0ba06a34d22ae7eec1",
+      "own": "fa3b3d328fc363d53741f732e0805c13f9a097a1335d42c9e3f362bee39b6b3d"
+    },
+    "cpp.cpp.glEnd": {
+      "merkle": "e5cd8bb3291423c5ac7dc0f60833cd629b485e615bca652a4267b329fd3c167b",
+      "own": "ea2c57045db0a57ce1773e1abfa6c91c3265fea132fdb4bcbc178d2a4879bf41"
+    },
+    "cpp.cpp.glEntries": {
+      "merkle": "56602b3d73a1868a6789783b62541414e85fe2faca3965a1df64a87e0554866c",
+      "own": "dba6e1d9b9317ba6807e8c9389cb94374678c23dc6cc24ca4411181366d5f014"
+    },
+    "cpp.cpp.glEraseIt": {
+      "merkle": "9c4d68dd73c9aa46913917394d0b5f3eb2b94d78f3843632228d06e4d2a27ef3",
+      "own": "cf7edcebfdab6ed25271673ac068a5f257fb924df3235e434b8c2986df067982"
+    },
+    "cpp.cpp.glFromList": {
+      "merkle": "19192613df64d85cc639228d436facf9c78b8b76c1f11bc6e815d0ae02d1780b",
+      "own": "045156cccbec1073e82a1f1b53a7805c6bd63b808084c106bab91f75a6083fba"
+    },
+    "cpp.cpp.glFront": {
+      "merkle": "f3ea621f085200c51463679f7902896b0e2472cc5b4a20eca9d85779c38c387c",
+      "own": "d7697346067e95b0f161a0f0272f2d352975b7ea7d11add044ffb43bef1ff880"
+    },
+    "cpp.cpp.glFrontOk": {
+      "merkle": "17c483c02070ffb46a896fd221e59d2c0d84eab53541638bc5a5e481683eec8a",
+      "own": "40bae5c49f163f1c6286fb658a637adae128442cc1cfd4351ab0dadfc6a31af8"
+    },
+    "cpp.cpp.glInsert": {
+      "merkle": "62a207a0fb47d97a44d8fb8bcf5c8c0eb3014338b2642a6d16b8d8259f988f50",
+      "own": "5f617f09674533de32fe758cce1219434c98611bd6d0d30bbae0e4a49dc094a9"
+    },
+    "cpp.cpp.glItEq": {
+      "merkle": "d9729c6d274a395cf95e811d74cee23933e119eca979e47d30a4727656633650",
+      "own": "c898a1ac5a613f71765404ab74fb8bcc2f47f862d989b07efa2382726699079c"
+    },
+    "cpp.cpp.glMerge": {
+      "merkle": "01e3037a925bb065c1920d60f8f9fdcaba26cf437703611cc2fcb842ebc8e9bc",
+      "own": "eb96e3bc3b2d754b184b44137532e4eca0e56e825818bb68fdf5d92564635fda"
+    },
+    "cpp.cpp.glMergeOkB": {
+      "merkle": "60e43a974195336c5355b2ed4e1ef82d20de91d0bf4b673345d2da9f5b9aee87",
+      "own": "edff78e8fb186a436f042d3d018c8bb768d0ac8d01d74aa25af4e76230c9bc37"
+    },
+    "cpp.cpp.glNew": {
+      "merkle": "4d3434e386e5827eb56416f5004870be33080a6fd79ee4ab088ed2dd1cafcb9f",
+      "own": "2ad5f675d58a102b4366f9d57a7b47b3dbca52ec4b5f481bb769031ac03bd99e"
+    },
+    "cpp.cpp.glNext": {
+      "merkle": "5ea074b54ecd5e72914e47fedaa6043c54e0a911f265c1430555899c8cf58260",
+      "own": "29c09bc39d222579e47ce1fb0d7d0f71348234d62527d1d1b69af49254001c7c"
+    },
+    "cpp.cpp.glNextId": {
+      "merkle": "df109bbf06765c5e77a6378d97015e8f4c0d70e974bf6d368badc21ed03aad68",
+      "own": "be1d88a3add7b807e8a3e4d1bcad7c528ad224abbc3f2a51c5b7ac473efbd7ab"
+    },
+    "cpp.cpp.glNonEmptyB": {
+      "merkle": "bc77443d42f543fafdc5e1b0f69eb83986afdf3094eb0ac801c36ab7b7f702e8",
+      "own": "867ed63801848f8c462b9bfe0066391d686515cafd8b9f97b5eca04127da9bb9"
+    },
+    "cpp.cpp.glPopBack": {
+      "merkle": "3fd4bb7c47a584b5642108722109fb05cbd56c3f63400433a043f87a323effe8",
+      "own": "a027e635ee2302a5e99fd80ea10c1816cb4df0c717ca9d5ea0ac6bec8f118476"
+    },
+    "cpp.cpp.glPopFront": {
+      "merkle": "59d710c57b4caf62d66bb1a71e94bd8b073c5fbb8fdb779457fe7ea99b4d7c9f",
+      "own": "a9062dc5b49d6a3c08a6edd5bb643f484bbf550677144419ec4d387062cfe320"
+    },
+    "cpp.cpp.glPrev": {
+      "merkle": "f725b55ac6c3e82e22a19444709e395947b457a20e1a5c7ac5ea74f1f1b2e1bf",
+      "own": "07dda697783174a0aaecc58bbfd03b46a244c0311ae8d0b969329e073027f88c"
+    },
+    "cpp.cpp.glPrevB": {
+      "merkle": "66244e80bdf0fad491897dc2e67644a715a131be1fe3c1378dc0ffa505304d35",
+      "own": "335637ce1225fe848d85c812e4a45c4872971d7c563b896b194d3ec1f35a85ce"
+    },
+    "cpp.cpp.glPushBack": {
+      "merkle": "69f341c0a106863a4b212eb7263f70f9cb2d213bc26241ea9442e36b71813f9e",
+      "own": "24f6f531ded5d5888a949156c62c939a2e6716e5747ff745a6c7cf150bc86188"
+    },
+    "cpp.cpp.glPushFront": {
+      "merkle": "c1437d727bb12aa8e5c3cab8b65c97a5eb0645eda753bada57dc761ab7150a4c",
+      "own": "d87da8d64c3acf90be2659e9d508d60149c7583bfd094b08456619189bd47df0"
+    },
+    "cpp.cpp.glRemove": {
+      "merkle": "f6642ae3c50a5b3cd0f0d29f467db764ee8d7e8271e7c6c9f88ecc819f951943",
+      "own": "5abce4ac1f338407253324d9918ff5ebfd9d35be87989cf2dacd2bfec51cb4ad"
+    },
+    "cpp.cpp.glRemoveIf": {
+      "merkle": "730e70ce8aee469d15871c8e0d856c295ae0bb75776d16566a7d4df61063c905",
+      "own": "2d6cae8562a1caada4738fac71cbb5bd282fe71cd75231b92a60a0553b360a9d"
+    },
+    "cpp.cpp.glRenum": {
+      "merkle": "0746f5d18ba7630b9914311e68c9ce8c8f0fb655aa2f1157cf968217f5cb6168",
+      "own": "287e5364127d2a923aa580b7080633e980f7e2853f6a28719f8c0d634d6597e7"
+    },
+    "cpp.cpp.glRenumNext": {
+      "merkle": "022592490cf2519a336e88046a8a2cce3c2cc8cfd88fc91b05aa776d44fa30fe",
+      "own": "5268ed14aa27aa61bb9c6b9bfb0072d4789110e1bb5ffe37c52a99280fe27398"
+    },
+    "cpp.cpp.glReverse": {
+      "merkle": "51eb2e52e5fed7d2f84c699910597ab42275d6a47cad81734c93afcaa5ed7ffc",
+      "own": "2f9e5d78c5ff50cfb8410dff0eacc3b1269e0a8a00c8b8ec5e90be00a2470e5c"
+    },
+    "cpp.cpp.glSet": {
+      "merkle": "a30ef5af4e4c4703faba1da4631b5b1dab5257c7ca9203a47fef52ce72cec062",
+      "own": "0dae10c1531729c17603f5375c0d22033fbc41ad7ca80f4cbc6385467ac7b356"
+    },
+    "cpp.cpp.glSetAt": {
+      "merkle": "e62b430e77c490d4731adcded44e508e2d2f2af244ce3781cb9f9abc19042d99",
+      "own": "e7b997e3672142500caa38d7dad9c4f9d41912d1272d274564cc66b2589f0620"
+    },
+    "cpp.cpp.glSize": {
+      "merkle": "d75c025805d7be51ebc8a84567801402e6f4726b9d918426ae11586afb2dfde9",
+      "own": "e3f536c454ae1130e92584402bd76ab71e639f329923c4ac47af8b2f0b1ef505"
+    },
+    "cpp.cpp.glSortBy": {
+      "merkle": "c2ffdd42d77dc6b09af211637e6437389c244b227c6803295e40619c6ccf6f0b",
+      "own": "13a7b8b8937f028a4b29d60a4ff2abd4beb6486625aabfd37984aadba45f3ce0"
+    },
+    "cpp.cpp.glSortOkB": {
+      "merkle": "313f36575a9cdd82fa004eb5875ee08b77ca776e03a2fbe10d54e4b3fc2ea03b",
+      "own": "064e874a5c6a9ea333dd021fef37351dc38b4da95b00d1629e428fe368b45c6f"
+    },
+    "cpp.cpp.glSplice": {
+      "merkle": "a7f772d6aa78fc6d7600e1d7537b9dcbbaf2b9a6cb23d2f88125b35b766fa00b",
+      "own": "d01ef37fcb02fbaf73cd0a31fa867d710774108daab80bf24c7f8e031d2e073a"
+    },
+    "cpp.cpp.glUnique": {
+      "merkle": "5367f4214fad9fbf9e0dd5b311aee67be503d59d547f502de3f36de2ad6e6781",
+      "own": "17864e7e704f73eb8a8d2c0fd486f8a82c06edf98b2e865e5df4bd98e90eb75e"
+    },
+    "cpp.cpp.glValidB": {
+      "merkle": "c393330f04a8d2834e4b733562e9b114dab636de38a93bb3fc8ab4d2f0cc613d",
+      "own": "e74890ed3ea2d777daaddc97bc54b02746540ecf7b477a152c79297350a37ab4"
+    },
+    "cpp.cpp.glValues": {
+      "merkle": "933e59be8d5366eb783f543c51ef41e3d79ab4459caecae06cbde8291a87dce2",
+      "own": "e27f43f9c866a0aa7a349ee1b6d43d6cb8955c4b6f6842702e3de6ad607978bb"
+    },
+    "cpp.cpp.gliIt": {
+      "merkle": "a8199d8365bf230060d639e1c432755077c0450b46791a47a43cda37ebdfd705",
+      "own": "35a6e8afdd6c950a9e7e0c13ca2826f71048a5c03912b713b8165b892df5c46e"
+    },
+    "cpp.cpp.gliList": {
+      "merkle": "5227740f7586f224a0e0e56c742c988864484e7c550c4f4c4e5387910cceb6df",
+      "own": "6e4ff1db8499831919f20c9ad2ba2b216d1313397a30c98d4c1fe1832fc1e0d7"
+    },
     "cpp.cpp.gmBegin": {
       "merkle": "02da1fa2dc4e9a183237d90fa56775bfad17f4e4e7c971a3c8253d632f00d513",
       "own": "27b841bf7fa34ce11fa5535a166ed8148cf54a4c79c37f891f53ab643b17acfc"
@@ -3158,10 +3338,18 @@
       "merkle": "f3158af1e933e216ba8f50be31c77086ee86917c1c8457a69b24536074bf0105",
       "own": "35818e2fd9bd2f66c13e3e69c1bafb4a260e0c1a3e1e6ac3cdc7aea24b15bc09"
     },
+    "cpp.cpp.insAllBeforeId": {
+      "merkle": "63f98fb0afe6a4a40d94219639ce83c2f781c23251b100f730eff79dd5f3b6a7",
+      "own": "9c3ad39b4ba8c71a5b97c7caae895e363d50c06f9d7e7af2daea0723f4e499cf"
+    },
     "cpp.cpp.insAt": {
       "merkle": "b06d40aaad23cdd032266ffa0b0e6758087d0612ff1120986bb2871bc575626e",
       "own": "7962903573d98bff1f2ad1b0189f23f0a5c278f31e6f8aa6d4a4de0c2748cd69"
     },
+    "cpp.cpp.insBeforeId": {
+      "merkle": "463b45f64a18c4d8e940f4d0c5c07a493f84db00a7ce2fabb2853b587db8bc63",
+      "own": "db303ad9ccb54af6af8c5b835815574f89db2a3af26c5b38fb67d274dc5ed83e"
+    },
     "cpp.cpp.insertA": {
       "merkle": "b3e4595e8b109b58284d1e39fd65fd9a8d33cae240323cde5f88b61d3357a16d",
       "own": "fe6161108c61c5e637caeea636c856f48b0c7f5653725a2ff87edbb91d19e4b1"
@@ -3410,6 +3598,10 @@
       "merkle": "0abb1e1f7da1ca3d8bd73356d735e04021abe35d6d63af234d4bbac5ac8bde0f",
       "own": "7546103c3f5ed7be8118a9b6b8eb42fe1aced780c5e9955288674fab90f1d663"
     },
+    "cpp.cpp.lastConsOk": {
+      "merkle": "b53374ff44490acd1242fa8074829b242bce2db3e4664db2d8b81a28ad011420",
+      "own": "b54e0e18d7d49c3c6402ec9d1adb2d3b913ae591c65b9e5c6754b594f096f4d2"
+    },
     "cpp.cpp.lastIdOf": {
       "merkle": "41dbfd64e5e163aae7f3a82a58aacc780568a2d779f8c1b07ad5adb541d0b1bc",
       "own": "fcd0b4e0de7a448bef43e00d6796f9e9c39eccee68f32edb78d9b18046452861"
@@ -3422,6 +3614,10 @@
       "merkle": "3cac5dbda416929fcaac480f985bd92a119f05e49d16b6f7197e11180c2f922a",
       "own": "ca81f36dbf323fedb5e9b6b7922387659931138e925b8301e9cdaaec30175eb9"
     },
+    "cpp.cpp.lastSomeOk": {
+      "merkle": "3f5dc0e1ed998498eafd867d3736fa021ca77a0f590e69208a31fb35491f49d5",
+      "own": "df2301353e6987a9a4d89807829203ca54f723f174dd916684f6dd7d4b3c598e"
+    },
     "cpp.cpp.lastWhereG": {
       "merkle": "4f69b8e61f251d717ccf5dcfd4beafa5f9311070f53ab1b99e40ef0ca709541d",
       "own": "ec1ba4944c292134dff6d7fed32ce2ff371a651ece429ffdac68b9339f60bcbf"
@@ -3918,50 +4114,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"
@@ -4142,6 +4414,10 @@
       "merkle": "eed9c5b82a70209a0122c70752c5b0e6b6103dcbfd6a684c5953cb044f69038c",
       "own": "645f1fec67141f98f9a3548e82809e6be00170f432372f931a6e27319980c9b1"
     },
+    "cpp.cpp.nonEmptyMap": {
+      "merkle": "c1951a3f6c600796ed50de5bbcbeaafcfcd675e23bef9efb5b64e52b6e03ce7f",
+      "own": "53ccc4018fc00f4c540adbf94d58c957d398b1820c8b2365f77bd3a4e66e026e"
+    },
     "cpp.cpp.notV": {
       "merkle": "52be169dbc49e8af18dbedcc7870b9f6a41f5954cb2f57e5d7dbd696f3b8e662",
       "own": "c0d6d7e659a00fecdf49c6e689dc3c45925894863eb5035e7d968fa7f58b2664"
@@ -4766,6 +5042,10 @@
       "merkle": "e31f26f478c5e0359503beb2e9e4febf28c6f0033a8cfd0513b00dfd0724d68d",
       "own": "dd7241a7985d944f5b7a7c4325798e8218b6af2c9a8a8d8d1b3f4ce7be3f5dea"
     },
+    "cpp.cpp.setIdVal": {
+      "merkle": "a828b22f3ac9471f46232b391c7f8152855b0f36fac5df719762f63cc37fe0bd",
+      "own": "273dcdc69c643d563354b0a3c9174e19016a1cc6235e3b32640388b0ccbcda4f"
+    },
     "cpp.cpp.setInsert": {
       "merkle": "a171cfc5c166be8bf5016f71bc56642aca29f4d2a062205a345b930356580670",
       "own": "d3c281ac589a02a7db27b5bfbbe6a7c3807ee797d3c02f13b329e72a30d41a62"
@@ -5942,7 +6222,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2929769,
+      "bytes": 3010697,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110130",
+  "version": "0.1.202610110156",
   "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": "09d736dd8a3c001e"
   }
 }