@cella-lang/cpp 0.1.202610102117 → 0.1.202610102138

package/CHANGES.md

@@ -5,6 +5,11 @@
 
 ## 未發佈
 
+### set 與 map
+
+- 鍵的型別任意、比較函式可自訂：`GSet`、`GMap`（`gsetNew`、`gsetInsert`、`gsetErase`、`gsetHas`、`gsetCount`、`gsetSize`、`gsetEmpty`、`gsetValues`、`gsetOkB`；`gmapNew`、`gmapSet`、`gmapTouch`、`gmapGet`、`gmapGetM`、`gmapErase`、`gmapHas`、`gmapCount`、`gmapSize`、`gmapEmpty`、`gmapKeys`、`gmapValues`、`gmapToList`、`gmapOkB`；`pk`、`pv`、`swoNewB`、`triOkB`、`insertBy`）。
+- `unordered_set`／`unordered_map`：`GUSet`、`GUMap`（`usNew`、`usInsert`、`usErase`、`usHas`、`usCount`、`usSize`、`usEmpty`、`usSortOkB`、`usSortedBy`；`umNew`、`umSet`、`umTouch`、`umGet`、`umGetM`、`umErase`、`umHas`、`umCount`、`umSize`、`umEmpty`、`umSortOkB`、`umSortedBy`；`insertionSortBy`）。
+
 ### `<cmath>`
 
 - `fmin`、`fmax`（`fminmaxOkB`）、`fdim`、`fremainder`、`fldexp`、`ffrexpM`、`ffrexpE`（`fFiniteB`）、`fisnan`、`fisinf`、`fsignbit`。

package/index.json

@@ -206,10 +206,26 @@
       "merkle": "181a49eb1a1f43c81de9a731397b08c3c334cae07ddfbd4364e07629d80a2157",
       "own": "6cda4f9b32ed7b93b65fe28a7e2856bd6e302e41fd2f67a27ecea93f03b951dd"
     },
+    "cpp.cpp.GMap": {
+      "merkle": "5bf723468ebb1b9bac4f155dd9bfe532d52e47d6d821ee87f8568a5a826bb83b",
+      "own": "dd7b59ed5fd0993254ecbd3c9199acb3bbbd38ca1c6134b7e95d3d924f1a6330"
+    },
     "cpp.cpp.GMem": {
       "merkle": "d9911ff1a75bdb5ebb4e87aab5a3db9f57af0c13bdfc502b150f1f67dc676c86",
       "own": "24a2a9edb879274a0a88a31007ff33f8591ee4dfd8d699a6bf032387397510c8"
     },
+    "cpp.cpp.GSet": {
+      "merkle": "88c678f911ea059f53bfdb3ca6b9daf229cfd6b0f3d067a4d72ef26c9c40e8a4",
+      "own": "5ea099fee36a0005e62f8214b6cece4fa6b3112bca48f55356d0c9b46f222fc2"
+    },
+    "cpp.cpp.GUMap": {
+      "merkle": "2b652a7967eadb8a15e6200b1407cd879c952feea1c133bf8d0156d9d3720cbe",
+      "own": "c18dc3ae167a2538a0caf37b4fcbfe2a768f91e69546abff68d47d1c7fc2f182"
+    },
+    "cpp.cpp.GUSet": {
+      "merkle": "3c2f555b24b816c57c3ef5814cc0a61ff237061ad176e14c47b295d96cfaf1e7",
+      "own": "5a2f4cff0f701ad18b68900852718b0c8fd33c5aecc2f48da35df74d1cd94d0a"
+    },
     "cpp.cpp.HypFn": {
       "merkle": "7462de806d21637e219d6f5ef4f077aac4a34f942a2a42e48753d37f77c38891",
       "own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
@@ -2354,6 +2370,74 @@
       "merkle": "cb8dcd2fca9b55164460c73a582fec023846bbfcafdcd2cceba04802f1eb584b",
       "own": "eaf5cf1e6fbc7e971dc5bd45671aeda0b4a914b9ecf529cac0262d8b7ef178e6"
     },
+    "cpp.cpp.gmapCount": {
+      "merkle": "a963b8298c65f424f5f15d9593e62c8673284598e5a8813f7c47891ac4a251ff",
+      "own": "fbfdc09e3c127e304f5d84e43b3f93f0057c9f3e1475e35c341c0bacd098cdf2"
+    },
+    "cpp.cpp.gmapEmpty": {
+      "merkle": "df7d172c690ec0ce7dbd472b07ec89f551b671f727a94232f6aea776ea85ab3e",
+      "own": "c083f8f021e2d8ac4bf889a2512f89dee53234f76d1863a1aac088670070a20f"
+    },
+    "cpp.cpp.gmapErase": {
+      "merkle": "54bb4d68e9ca3f1190ded0d4134b49fd5a3530f592f8253dea9a9909002e6d27",
+      "own": "be9c207ea92f7e5f31b51133ebc8eee50d54a49359ff88c44c0c086717470ff0"
+    },
+    "cpp.cpp.gmapFind": {
+      "merkle": "bd98c84e0edbe3c745bdf85c491589fd5d62ff1cf72596936fe0ef984b486c7e",
+      "own": "665ec88fcbe3a58440ff09479af2c7e66e62c0fd6b792a4f0d585d255d841ca1"
+    },
+    "cpp.cpp.gmapGet": {
+      "merkle": "0f375f76f6b30e88a6a2a49759c05b19ec55774b8023b17e0d0903f965ca144f",
+      "own": "bdd04256554692ad9c41d79ac18db5137894a42e18c7052e7d7a2d71027e3192"
+    },
+    "cpp.cpp.gmapGetM": {
+      "merkle": "2555421d37df2c6569ac1a7faf76195c7e946079165e3abe05ca9eb930a80a6e",
+      "own": "8a861d9d310bdc8708222630cc5d4bb0e0d531f03f08f6c04d504d8db8dbac4d"
+    },
+    "cpp.cpp.gmapHas": {
+      "merkle": "d51c1d4194329933062e074364590e4484e4c48d5a490997da5a74caba51236f",
+      "own": "a4f1a9856fb23077bb9826873cfe206efe3a0d9417b6e54374998647c9a3dcea"
+    },
+    "cpp.cpp.gmapKeys": {
+      "merkle": "47713a6dddbde372c908927d5b1cbb41ca236d6b023f865d344344444e98d369",
+      "own": "9c366349a6f4ea1f78e5007a3fd936f766d700ed132bb91c7123e3884494d699"
+    },
+    "cpp.cpp.gmapLt": {
+      "merkle": "99080bb796ef56b4460997ea635df2b087ea4e9f7ca898a2064c6283e8bd2369",
+      "own": "09c13bb479042137ded60e3b1fcc5422a57420a848ae3513e696243496c086e4"
+    },
+    "cpp.cpp.gmapNew": {
+      "merkle": "e81f4333823d3f80ee96c109a6cf20e4d831e626589a86959bd8b6f2db6fb5b1",
+      "own": "e83c40542a4a04a058c99a9e0ca9be45f053aa1b7120039af09fd3cee38e72f1"
+    },
+    "cpp.cpp.gmapOkB": {
+      "merkle": "1c03d22308f09c27343f6b7d0ca82b812bbc48130e42b98aa0c6ca753229aed0",
+      "own": "da41edb6a231b3ba9678804dcf8cde8c5b34fa26ca214c35c09b71b9ca5acd67"
+    },
+    "cpp.cpp.gmapPut": {
+      "merkle": "397a86dcfa4eea0e4f1cac332d5635aa048d1efa0147f208509dc72847525c20",
+      "own": "cd574a645bb256947eca1dfc9051dd268807e0e0d9b3d693f38e4e82024f60ee"
+    },
+    "cpp.cpp.gmapSet": {
+      "merkle": "5cb3360b70d678838dd1f204704f8be6ff33e4e740f515c754f63a6f770b8f9f",
+      "own": "3d0d780fe59fada85deda3d5b7fbafe7a2622e4a9bdc814c146644f6dfec3ca4"
+    },
+    "cpp.cpp.gmapSize": {
+      "merkle": "b44c0493d5a62407672590cd693821fd458e272868cddfcb15ac5a4be732a4d5",
+      "own": "a551f2cc801ec30774049941f294a669df42338611af5991c25b215bea47f563"
+    },
+    "cpp.cpp.gmapToList": {
+      "merkle": "8e9c10d40d74d6663234c81c748e4b6b4efe126b3c51ad9e19c31665e2351799",
+      "own": "d1c1f87acd47c835efef30bca3bd6954781cc98be7cf7579d22bdb89354e6003"
+    },
+    "cpp.cpp.gmapTouch": {
+      "merkle": "df9ef4f180368029c382ef223de8f80091412bba9b91abd53b3eacf32b4130bb",
+      "own": "84a712aceb8a43c78d4a3c443ada2575b0acdb5dbc9e965758dcc300a92e631b"
+    },
+    "cpp.cpp.gmapValues": {
+      "merkle": "5122b796046dea94d0f55680f88c85bc4817db5eaf7d588f549f888b6059092d",
+      "own": "667434e692ff71058682933a44255502e9b102039b38d57d92b6f5e7385e7655"
+    },
     "cpp.cpp.gmemNew": {
       "merkle": "e6848b17d9759ec1b05213c32f550e2b43e0fbf8b3a55a2cac2ea0db5b199be9",
       "own": "37178fec1d2016505d219fc61018aa9fe7ee88be08b09e9bc6c357d43b792bc8"
@@ -2362,6 +2446,46 @@
       "merkle": "181c864d873eb556bed3d76e2bcbd1a6b623758392e74a89770463b3cfca1f59",
       "own": "24dbd9e4b263f8f50e6c5a83d5d411f64807152ada4eadaa6fffb414b62cd892"
     },
+    "cpp.cpp.gsetCount": {
+      "merkle": "50525284ce8f6f70d4a838152e500268dd25cc1bc403ac4d4ea2a75d3fb5d169",
+      "own": "10a6b31764cf1e66fe0965bb112ac9e761929df454a20799559a549207df75a0"
+    },
+    "cpp.cpp.gsetEmpty": {
+      "merkle": "83d8da20399c03052eedd4b69d1449ce4572988e4337319f349836bf64c83326",
+      "own": "e335c195d1796f0f4b467b29049e957b16f59cc2dcf6d831560d80fa63dbb9e5"
+    },
+    "cpp.cpp.gsetErase": {
+      "merkle": "497b9d25b83c64e378a67b506343b04f9b7d872e7ad2f39b014912c985f2f406",
+      "own": "39f54b1311768c3bdf75f6a7bb2b83b5d1b425ba624004dcffc3d9373b8eaf3a"
+    },
+    "cpp.cpp.gsetHas": {
+      "merkle": "8d1eb266ec6a498917fd8ff10614cf68bf09db9da1ba43302a1b522fc6e63d0f",
+      "own": "35980161ada889578dc9c8e79168af9f40152183dc6f10acd7860911f3ff069a"
+    },
+    "cpp.cpp.gsetInsert": {
+      "merkle": "11852ee053281baa13cf943b9cf09750c0e0b3e9c734b72d7db13e6ad4f780e2",
+      "own": "c468f390ab4c8e66384fc1aef9bbb7bd7ec7d2fc96504eab970bf663c03935db"
+    },
+    "cpp.cpp.gsetLt": {
+      "merkle": "bbdb1643c7cf52a1bab2edb21511f7d43b11f3221af340806f102400d6194c4d",
+      "own": "ed8df917895939aa3134aab3066057e06fb9298a964bdf8316233b62b3826253"
+    },
+    "cpp.cpp.gsetNew": {
+      "merkle": "7eae25fcba74e2f653ae1fd7d5d93733637e70ba12d18a7f42cff6354d408c6d",
+      "own": "acb385ead4c5fb506446397e83a621dc6fc6f6d7f53a150d7538c1d00fb5400b"
+    },
+    "cpp.cpp.gsetOkB": {
+      "merkle": "c6f2547b404cb963e338ed7a19646abb5a3dd42f6ddf15f6c43b0297c1250a3d",
+      "own": "8c7fd7d129bf67a0121c50488724dd9e9070bdb16a09b1c3b5807119f4631c01"
+    },
+    "cpp.cpp.gsetSize": {
+      "merkle": "f6cce9c6043408324bf24d588fe4a7b1ce7e6569d3745c8122c77bb10881aae9",
+      "own": "d9c95b3acdbffc458b05a3298695084258fe2e36add55f31f71e8da0287704b4"
+    },
+    "cpp.cpp.gsetValues": {
+      "merkle": "5670b5350c7c0739f2b8d3d9f01029b393fe4f7a9035cb221523714fe7919377",
+      "own": "55dcc9c3fd4c3cb91b34ab78bf120810e49098d49888edf14e6424545e5d9b28"
+    },
     "cpp.cpp.gtV": {
       "merkle": "3ad5c904935d49df91e235697f84b5563ba634eccff66aeb66b8f951313eec6a",
       "own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
@@ -2454,6 +2578,10 @@
       "merkle": "b3e4595e8b109b58284d1e39fd65fd9a8d33cae240323cde5f88b61d3357a16d",
       "own": "fe6161108c61c5e637caeea636c856f48b0c7f5653725a2ff87edbb91d19e4b1"
     },
+    "cpp.cpp.insertBy": {
+      "merkle": "6359ab8da86f41da2796393c14e4b857138dac1124b7d1b8ccb03f24bbcfd5bd",
+      "own": "42d6dc09fb45de4a7bae9095d1741ec3d7020fcf2860168d1e0bc9052968886d"
+    },
     "cpp.cpp.insertIt": {
       "merkle": "b29f148c0e17e525cf59ff3bb72279a8d2d6c6845590d10e6cdf627736ea6210",
       "own": "ac43ecc21402aa4820c1b6dd4ac570183c219e6f58766fad9d5e4a888b8449bf"
@@ -2482,6 +2610,10 @@
       "merkle": "9bbc63d42d57b4f289beb2895ab3a930a306a3c07d354cf9464ba6bec67de830",
       "own": "740633029d9481598e5ab43fbf298fe8fbc702a5c64fd4aae0c4f54b332b906e"
     },
+    "cpp.cpp.insertionSortBy": {
+      "merkle": "f8fff0ba7d4f2f107543bcd94833c93acd5512a1bf08c1f556ea2256af90d44a",
+      "own": "29d000265e7a1c647eae2308637b60a9ee0a6538812fa190061a2758c95e3168"
+    },
     "cpp.cpp.intToPtr": {
       "merkle": "199856e152e2069c102614208efd71c04e9246cf73fe70e947ec841ceaeaaaf4",
       "own": "0bef18b2e6ea13b711248f97bf8e9e592b271fb0ce4b57f9cd28e977218c3fae"
@@ -3342,6 +3474,10 @@
       "merkle": "f9fb8dc6471f8329c99b5165ff82d2655740988b8526de215baadc83c8522fa6",
       "own": "b745dbd03a4e2ee25d3eab29d4553923ab864bb8ac95aa520f5bc41fa829b05d"
     },
+    "cpp.cpp.pk": {
+      "merkle": "65d3449ef3b3145fbab20db6c41d76f7f2d35ccaba1275d2e08198b6eb5ea12c",
+      "own": "99080acec8b559f53a49c8b64243bd48e3838510259a57c2f805d379422d53d9"
+    },
     "cpp.cpp.popBack": {
       "merkle": "c06d3b15c21810ca745d404564c9114f34830fdb692489dbef9bc79158a06c52",
       "own": "fba2178d2ef9019a11163593d1f78a8fc678bc3ba4bb419dbfa939f9a8ed7fe1"
@@ -3490,6 +3626,10 @@
       "merkle": "f97b1e488d6c273e775cd390f8adf930bbf8e654653a55f7293877b8878af899",
       "own": "799257641fad37ee77932c80d5496411211dbef7d103edcf5a9cf974bad149b1"
     },
+    "cpp.cpp.pv": {
+      "merkle": "714125b8fbc9dc770e7a62dfa4adb2d102d652f50ff5f810ba26c86ea7521930",
+      "own": "b99bf3100896a6f52eb7095809fa112d41cec4be536eee23d6913808af0e6208"
+    },
     "cpp.cpp.qDen": {
       "merkle": "f37e544291c6ce0d35fc853ef4e72d01841c1fc72348b14ea1e8cd56c39a7b1e",
       "own": "22dde5b8c028248144fabd97adb940bb7bef80749f5f13152241c5da718bbcaa"
@@ -4382,6 +4522,10 @@
       "merkle": "017b90bd2f65e51963227ef1e28e6f7c341321afe97f3026414dd3b790fc2c5a",
       "own": "46ebb45df876e8c11388d444e840f5a3496c8bfd305e3d6b54aa9e38daacd1eb"
     },
+    "cpp.cpp.swoNewB": {
+      "merkle": "e5a558522116b7cba25465a72fd5db1b8feb7dd3aa8727f1f18e9bba20940067",
+      "own": "5951f8571ac5c2986c6ce3dcbab01a41f3ead1f70ff9239d68ea542930960bd9"
+    },
     "cpp.cpp.tBool": {
       "merkle": "0d39a926e94c3aadb56a184f2c3b80a5d2f668acc23df79402d0c070121e41ad",
       "own": "fa9896e6538210ce3a5b464ca11d3b6c4201b7f2f985a77807ff6014d15ee303"
@@ -4530,6 +4674,10 @@
       "merkle": "80cec9044dea1f6b69e5dc564c277c2d46e62a6805a2573aea3eafff3a88f5c0",
       "own": "2c32d03fd55629b81195e6887edc073cb5c4c60e4d4374b0afc61d1381d0c499"
     },
+    "cpp.cpp.triOkB": {
+      "merkle": "c0caed1792fce624d12f921f03d7ef61282b21973659feaf077ada1ea2ca5c97",
+      "own": "fe480e76d4e0a88429169db7bb2087464c9a0628eba8e39fe0e01ccd5659bd71"
+    },
     "cpp.cpp.trigAt": {
       "merkle": "ad2698d3847cc245f5844117ce75a0c5d578f42b58be4ad5bfe5456bd129b1fc",
       "own": "6dde71ce016b62becfcd7f50dca9fd33e3e0c5746d95cd1a492c583a8e89b79c"
@@ -4562,6 +4710,74 @@
       "merkle": "e1bdaf9fa4a254cfc256b1cf569e2867a69c10859e8900e9b0df9e9434f6c76e",
       "own": "c9c5321bcc4df517827880865524f513db187eb7bb8805c046d609a554398e3b"
     },
+    "cpp.cpp.umCount": {
+      "merkle": "038362c2198504bab2ed5cadd176e5ac880b7277bbaeb635565e181558c8134f",
+      "own": "22ac8919b54b79c0de23846fd3f1d73451cf974169a7748d9010e261abda997e"
+    },
+    "cpp.cpp.umElems": {
+      "merkle": "d254aa720f89589324b3d5e9d1158efe4e7a7fd1e191d3f5c88f69cf2b54a679",
+      "own": "60ee3feb4880e7d025b5b931a23534408cd06f52a2c0a4cbc1262f3706433741"
+    },
+    "cpp.cpp.umEmpty": {
+      "merkle": "7401898beeca25eb43c6c7d560eedc65d19b4969fa0aacb72440064bbac394f1",
+      "own": "feab834f1a422026232a12ace21e70aef01c65a51a7d5f174c2888494edbbec5"
+    },
+    "cpp.cpp.umEq": {
+      "merkle": "29d43ac59e3877e4951c948b8a4c9de9190c9feef703104e8d0867ef219ad03e",
+      "own": "85d47b044f7e84786dd95023c98c17915edccec9496c3cf53ddd1157015d1eaf"
+    },
+    "cpp.cpp.umErase": {
+      "merkle": "8f5fe9f8837a3d7f4fee4fe4f96cf6525df2e007f408c0ac9295f245d613de2e",
+      "own": "5abdde9205c7551618cf64d17862ae58118cb44d1c40042b3545c06f54aa9fc6"
+    },
+    "cpp.cpp.umFind": {
+      "merkle": "8b87b9b0e717903e8eaeadd279f1af4eed6d86031476471cdef97fc2bf1468f7",
+      "own": "36529e2e7cf20210b91baa5f29019128ed70db618213d372a4a5a237c444f5bf"
+    },
+    "cpp.cpp.umGet": {
+      "merkle": "3cb9192c6ef713914ed17fd74b3fc9e04b7a3a09e066c76c1940f21327525f02",
+      "own": "a4e41810653a6bc533f54cf996920f3c0cc1c983ded6f69c2738e39b2c908c90"
+    },
+    "cpp.cpp.umGetM": {
+      "merkle": "80d4b694e826a1ecd00685fca1cf74d7d57c04529796895e465f72f83db5f94c",
+      "own": "8d3dced8ab9af523fadee6a2391598265518b4894402d48429e5be3742a7d3fa"
+    },
+    "cpp.cpp.umHas": {
+      "merkle": "5b6bccc278664c1e100973222e34fce01a8e22fc3d0c52a93f9d9d6054a5eade",
+      "own": "bbfa55a6f03eba6f567a64a7f78e6bc08700e463e96424cb01afeebcebe914e4"
+    },
+    "cpp.cpp.umKeysRaw": {
+      "merkle": "e4d6be42300fdae420c8db0e7fd60f5f979a7aa89fcf224a55e52c28495e9092",
+      "own": "454abf9921db94ba27cd89168eaad14f9fc88cabdbf131c4eb33529e39d0d042"
+    },
+    "cpp.cpp.umNew": {
+      "merkle": "032d5ce31c20b0928c67091b1b0b0cb6b2c90251afdd83beff9fd7538c078d52",
+      "own": "2deb4fcc21d70699f61573bebc265760f17f6fd6537e43eea38413a01ccebee1"
+    },
+    "cpp.cpp.umPut": {
+      "merkle": "1e67e22b90ea79bd79d6a5eadb832ca878f4e3510c3ea5fdc35e71ab125bdc49",
+      "own": "9790127c5d47ab7b367ed11f6715327cc09f78b5efa97c1a04192b65fe82cbd2"
+    },
+    "cpp.cpp.umSet": {
+      "merkle": "5115efb3150136e18a6fe5c6de859f05f76b07de5484cc9e89fad0d526d3cd6a",
+      "own": "eaa39c37c6c6e564363dda7fcacdbd42594ea5c70ac6e44e80077c8507703207"
+    },
+    "cpp.cpp.umSize": {
+      "merkle": "66a40c539644be718aeee4e9c77135ff9670d4133b6ad60b8d01dce785fb44a7",
+      "own": "4a7bb57b41fabdbc867f7b8f43ffbe9887bacb16390ad3026bb3529907bca522"
+    },
+    "cpp.cpp.umSortOkB": {
+      "merkle": "fc4cdb80971423530a625cf535e43df1b3d46dc0f4e202218987ef0e8f7903fb",
+      "own": "a0d90375c0eafffbfd68ebdd6ce663bb32caddc3d25024d927773b69661e7f64"
+    },
+    "cpp.cpp.umSortedBy": {
+      "merkle": "bd4a002b19c0b378126a6a628db8bce69a1ddf72bbd69ed62fd3e4c6f04ca267",
+      "own": "8050afeb2c4cb2777706260b9a1b2d5be9a57ad196c24295accd8ab1d8ca0b12"
+    },
+    "cpp.cpp.umTouch": {
+      "merkle": "b7c52f9b2f3c16a40c38694abc42308621b0a2653b4c7f827bd6a6ad2a642351",
+      "own": "ef052d50690862983b65bb407f3b455e49c58476781210b6fa41a870ddc348b6"
+    },
     "cpp.cpp.uninit": {
       "merkle": "8c5a548daeb3200b749d631114ccd0241bde5c5e4bbecec5851147f6156b6782",
       "own": "ea620b5955e4d15be42f5e18ba13db915873c403e5b109ebaa53d3e225acf1ca"
@@ -4582,6 +4798,50 @@
       "merkle": "60a023ec5a6f4fbfd9879aaf441ee8b1ad8894057aa95c24228e7ce0e17c817b",
       "own": "c236995e09ad82d7749bf8e113553ec857197d456ff96b085bd201b7bc965986"
     },
+    "cpp.cpp.usCount": {
+      "merkle": "1ff4b3a676297943a29c868f21db67f5b5482950ac488ad71d3e52f2c982adfc",
+      "own": "957de48a5f1111022ddd36308b6f667d2efe30d5bd537750af8b2f90cf7952d8"
+    },
+    "cpp.cpp.usElems": {
+      "merkle": "03cbfeefb3ceb4cd09429b83407e954cb31237a18dbbd2418eff19d9508ba896",
+      "own": "860163add4e0f218dbcc70d47870b1fa1c3b6fcb2bce1c6673f542e4b2757dba"
+    },
+    "cpp.cpp.usEmpty": {
+      "merkle": "014cc69ebeab83ba80992a465fcfc5665d4cda7b2ce6def5caaef150ebf8ccef",
+      "own": "32f3cea60a6d4995fd2dc59c643da6fbfbb8a5d94e2c6d1f08c6f42a94845a36"
+    },
+    "cpp.cpp.usEq": {
+      "merkle": "0989680f8522dd471a7f595926cb50a5ebc5105c74443dea1d0bc6a16d971e75",
+      "own": "a18919dc07b0ad8d103f733a8a801ffef860637b069c46c1220d74eaf49afce1"
+    },
+    "cpp.cpp.usErase": {
+      "merkle": "15fbe7e7431693f9e5202b4b156ae5df2f1171d45d94a4806e3e0d79f7687b2e",
+      "own": "efc6d4bee86afbaf10042c3ed28f5bb3b30291b6c691c16f47f76a28795dba2e"
+    },
+    "cpp.cpp.usHas": {
+      "merkle": "57eb47e70c5d9cfc23169ff9bc4fa630213af24417aa38a1f7d85e4111a44b0f",
+      "own": "9df263986d00677ee8535799f0f1b19b9ccd77f939a8bab2211220d1ff9083da"
+    },
+    "cpp.cpp.usInsert": {
+      "merkle": "78acca30459c27f772405f23f2e524e90a144e96090b8da86a0bc6d0f2340408",
+      "own": "8b64d1510d25cd8d06e54a33f81564b556f982c5586ff547da3ce0ceb056350f"
+    },
+    "cpp.cpp.usNew": {
+      "merkle": "b5fc8db89ab57eb0e6ff34a9bbc2bdf015ce5e690520206ccbce0d03d2f4fe7c",
+      "own": "269dd0e1904f285a21915040d23bfe412fb2a678ecb586cb0139828c07a2c990"
+    },
+    "cpp.cpp.usSize": {
+      "merkle": "109dc33eae42a01cb70d9dbc7e81b6d28f5733866671e895655dd2f04826b7b9",
+      "own": "a7bac8dc5dadca2eaa83d60e4f249c82635bb44b231c3fe4f55c93a06528717e"
+    },
+    "cpp.cpp.usSortOkB": {
+      "merkle": "f28d09d0929059783cac8170d0e525af2d1d3fb656cf4f644cb3b33febdcf934",
+      "own": "801a92cbaa62ed0dd40bda7f916f6ca544b7f283454d8f56474952da04997205"
+    },
+    "cpp.cpp.usSortedBy": {
+      "merkle": "3c718e501685b4819235161ab9c7aff9f379acece5d61aae29bc28d23c82148c",
+      "own": "066cad5d24ec37d8b0a2d06eec5af2275971c23d4916d9eb0c00e158e252ced9"
+    },
     "cpp.cpp.utf8": {
       "merkle": "757f08b676b26b452cdcf7b29cc0bf1236f4e33ff0ebe5e6fb66686ca4869069",
       "own": "06eb76f473a3fff60022203b1bfe9c9705043d65caf1f729f6033b758562a949"
@@ -4734,7 +4994,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2575261,
+      "bytes": 2624580,
       "deps": [
         "cpp"
       ]

package/package.json

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