@cella-lang/c 0.1.202610310706 → 0.1.202610312350

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 30,
-  "checkerHash": "c23d5c2e1f29ce9f",
+  "checkerHash": "586b0f744f1cee8a",
   "defs": {
     "__RecordTag_c.Declared": {
       "merkle": "c9cb2c27c7dd0a753e9dfc84b7ceb6356f2b6b44feaf9ac05b25ca17c6767be2",
@@ -11,7 +11,7 @@
       "own": "5b0f70bc2ee6d3ea97c9cbb1513d057573a3e4efaf2ebba81e4de38ee4decca4"
     },
     "c.C.checking": {
-      "merkle": "7d2fa6e97d45a370c7e9c4871f8ffa8d5bb8e0ac6dff3e4094dbfc5284ec68f7",
+      "merkle": "da8ae4cf95ea670e32a79b4867d106eb0295168b6d92d0fb7166fc7967fe0e4e",
       "own": "d13c6d62cd23c5dea3cba368e17244edfa34a34312a62a979b882db33fce98c3"
     },
     "c.C.constructs": {
@@ -19,15 +19,15 @@
       "own": "c0191c02129e37b1ca4ffe8f3bfca9a92420c5a0220d4c592a90e99c77afd98d"
     },
     "c.C.cppItem": {
-      "merkle": "ccb07c01c410bfbc22ee5021e630e49f540e1b22c06afe0fc08ca5114f5fed5d",
+      "merkle": "a5fa4ab620a42840684605a1bd1a3ce03aeb04332acc87d3e34e631b34ff1ae5",
       "own": "89cce2132dfdbf850d332c9a1749a09ceaaaf7a140f3ec67b2975d698b52a17f"
     },
     "c.C.dialect": {
-      "merkle": "9fe610fc693eb3b18888766f7243198d8f60ae967d44d7c50184ec80849d3110",
+      "merkle": "40dcd253d82b5899bf717e4cde214aa1dcf958de8f915df158fa06ca29eb6fe2",
       "own": "a813ab0b65555b3d44c60d91de41561fcd5db30855e9d62e650f0e3e651e69b6"
     },
     "c.C.effects": {
-      "merkle": "919ca1304b5cf205325639c05f02efd7b47c28f408e24c436bdf2148589741d6",
+      "merkle": "9c20a41ab451da67963f5be5b84a339e7346071591daaeb4001f40c92efcc258",
       "own": "5846536dab601bc62dd5b996bcceb197528ebceca43c58361df925253ae5e8b1"
     },
     "c.C.invalid": {
@@ -35,19 +35,19 @@
       "own": "440cd3f6dfb7522c86bf71642e3d3e17056ac80aae06e16c12f7456aa797bd01"
     },
     "c.C.mismatch": {
-      "merkle": "a961566d648404f890e2260ab780ba5ed4288c31a38ed6695e276f3842501601",
+      "merkle": "55785df35422c8e4e18af1086f9425f513e04893568d7cc67bf0709e963ecddf",
       "own": "7e398b1ae168e9a36504512d36793819ff7ec6bbd94d96bd6d5b48db771d034d"
     },
     "c.C.programDialect": {
-      "merkle": "6bcdd90b10cd11a20cd6a7c1142e1f0b352a09b40acb6873c8ede2310d82544c",
+      "merkle": "a16b0dec3d1e6c9391322544a8ae85efee54449a321f5b56d297f31067b2baf2",
       "own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
     },
     "c.C.programExtension": {
-      "merkle": "2978e993ad94b61d2b38df162bda72d3f41aa1eab2dfb657bdd07c04e3645421",
+      "merkle": "9e1d3521359e139dcd905f18adabb928c0d839c1cd4128781bd02b9f35107075",
       "own": "d9221ce796a48482e8f997408365ef6a1611c50d36c92e2713de5733dc5efd6b"
     },
     "c.C.query": {
-      "merkle": "3133629663e14f69670dc3169456053ea7e314fdee10611bff8548f118308555",
+      "merkle": "f4c9bf09032ad7dbc5aee761961f0e29449d7a1b106fd330193912d8823aa5fc",
       "own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
     },
     "c.C.queryError": {
@@ -59,19 +59,19 @@
       "own": "856b63b05c21fbc35a9e4bad39c1a5ad5d1829b6301184ccbc50b830a3ee8f75"
     },
     "c.C.typeText": {
-      "merkle": "2968a35964dae6a777a58e667f312378f34b90fdc328c95aad8587c430e9e5f2",
+      "merkle": "b985bb0b59946d7fbfaf5496c37f292cdee038633d1969cf33fa28eba0b17d4d",
       "own": "c0338d8c47abe8902d2f2c5617685561a2cfd60644808aee953f48bdbb7f75e9"
     },
     "c.C.unionTags": {
-      "merkle": "60844025b1ac84faa8b452d7a0b6b841a11aeee782831420a1ae4b2a0a8d8824",
+      "merkle": "d3ba2775f3e00aa19b8a0a7e1835e50a2fad970802e5da3ac706a7799174a1e5",
       "own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
     },
     "c.C.verdictOf": {
-      "merkle": "bbef7e27aaa8b625d229cb46e4caf4429af1cdcbac2b9d20a78dbe7f75ef6295",
+      "merkle": "9de113b5aef4f5345b2f6a90956679b7c6b54a9804c7dfdaac13845cd39fe771",
       "own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
     },
     "c.Declarations.atFileScope": {
-      "merkle": "e7d1055fa5163febf05fbeda8da2a5b2300f1637d612499e68700420db6ce2ad",
+      "merkle": "109a8ebd86bc32753cafb999606287ea03a53d0195cc476069bd358207d6b0af",
       "own": "459a71031b308d9a6acaf95b49f4416503a3eee9505e31bb2da63b8b0d1af22c"
     },
     "c.Declarations.clashAtFileScope": {
@@ -83,47 +83,47 @@
       "own": "9b4f58f57ab9798b388a2dc2a9d1f406df86762ba6cde6ffe7026a8923674be5"
     },
     "c.Declarations.declares": {
-      "merkle": "92ae32e4e56fe0b490884f89da11592f030851294fd9a2f7ffaee5fa685e30a7",
+      "merkle": "12f7e4193f373d1402b8429f680072ed2a2fed3c0be2906cc15d04dc1d70e357",
       "own": "52ae5b57320058384fd59bd499fa422f539a3c3d80b839fcca94992c6f3a434c"
     },
     "c.Declarations.expressionTypes": {
-      "merkle": "e5147ec0f58df045aef465923eb532bec4f674d30f6cda014f7ec7b5afff405c",
+      "merkle": "9d868959c2a3194da7c6f9dba6ab623b6da3487c7ae07c6da71f23092a288d3f",
       "own": "f86aadb22b32156423d378b2d70f06607ffcea9a65c824aba5a5f58bbb1dab5a"
     },
     "c.Declarations.firstWrong": {
-      "merkle": "a84c59b2fb3ec64d7713d5bb5d77c0fa94db5126f15f42e612954bdadfce5a3e",
+      "merkle": "94e0897c2c211b533b7d95656de0ae8ceddab17cd4226192fe89cee8d5bebe55",
       "own": "9783d2c12531637a37aab6feafbb242e94442839b570418b719f8a6462fef86e"
     },
     "c.Declarations.inClauses": {
-      "merkle": "bd9a169c9c94d7496e668aa1dcd60df1f113dc20e2f970008dc2ddb015afdb85",
+      "merkle": "d85b5e819fd1edca545813b450e8970d3b45a7913dc73edb7bba2f67bd8cd273",
       "own": "c733092ea6cdc23a95f3a62a2ac125ee9c03669ec245c55d1cb117af9e34e150"
     },
     "c.Declarations.inFunction": {
-      "merkle": "8bc5828f27d9e039521a2f3ac3fe36f88a0a69448f5e1116140ade8246aa8977",
+      "merkle": "bf82170da47b00ef7075bbbb779412ce28d6501fe35901b223b0c9aa02485208",
       "own": "7440e9d9f817593a204b4f5c4ac310b9b90d2a8e0001e2c0a4c6995347f33aee"
     },
     "c.Declarations.inStatement": {
-      "merkle": "76e1d05c5065675fffb39323d0c1b54e157667b11d1190b2300e106c65571845",
+      "merkle": "2dcc359acbf747f823196c9eba5b3a4e6ac5a1b7e7cb80f5df91c9fdfa9a913b",
       "own": "5d2485b548d28d501abb9ad17fba7314c957f049048d261de73d533f762b9726"
     },
     "c.Declarations.inStatements": {
-      "merkle": "4dfb8bd120785a2205e1ecb3dbec419aa62af5ff4fed98015d425af081b87f53",
+      "merkle": "705278f9ad24bfa8f2c1d5b951838133ebaa38caf994e0487acf5270842999d1",
       "own": "670d46fc26f477cb485e976746f1660e530b5f6f94b07a530581f5f286631cf3"
     },
     "c.Declarations.incomplete": {
-      "merkle": "a5700935d051be7332223802a70d41b8822ce12741b4db85031cab4d175266cd",
-      "own": "5b7608fffb3d2558b6b8903551fac8018e51ee76f01455bfe534360534f09f77"
+      "merkle": "d4eb254b480074cc83e142a2434cab20527371cd67c75a27cc3de80731719c81",
+      "own": "edc7480c4d1e20f7665a1d49a69ad6e349505787afc154518a85ef072981f029"
     },
     "c.Declarations.lookup": {
-      "merkle": "d111ab7b9ea179dde3fbf42db021f545e0ba5d7cb9ce29f068449ea207c17e54",
+      "merkle": "491a37bf80be8235d546b5c234747ad229ec9b064deb176ac3885a90bbdf3225",
       "own": "75263c2062ce9510737b0b4484cfec8057d14ceae7a1300b018a5c575d9f3c1b"
     },
     "c.Declarations.qualifiedFunction": {
-      "merkle": "36c35a762765cd2826548049d24f9b35cea89f2d344b4fcab82bea51efa01ad0",
+      "merkle": "7ae5ed0c1d52e6cc6c63a4e22c9d282f1070d8c83084102508ca4eb698a40444",
       "own": "07ec6633cca5149c16bfdcefa8aef1d03e553a0297cc45d6fbe914b18f46d3e6"
     },
     "c.Declarations.tags": {
-      "merkle": "35cefb82bd82b99576fe66844bd3ddf30472ec18f7d4dff33aeafaa617872cbd",
+      "merkle": "e2a031b59e9cb4866f8a6733d82f1d909954270db50b041e9efd4e4caee9560b",
       "own": "c332dccc0ebdea64c5542bf6e5ff1ee549ceb2de5cb2f78adf78758cb03ff3eb"
     },
     "c.Declarations.twice": {
@@ -131,15 +131,15 @@
       "own": "c4a35804d0e1dac8e2673800004f5b1fc222d292b877eddcef38661051432f81"
     },
     "c.Declarations.typedefs": {
-      "merkle": "f83b80e88796fc09c3e9d05d19b8d614d69478b3d793f6b2bd9c22c30ea32720",
+      "merkle": "36990206c1f7dbf765216fb66757fc4d4ab02c99bc703c9993f96bdc0aaf1b51",
       "own": "aad39d7fd67e7643b04d3197083d0707757b2eb31e9afa3df4e0b62ec3771c16"
     },
     "c.Declarations.unnamed": {
-      "merkle": "22aa2184aee9840a4ceea0684f214afec86fba87a09a62ff02091303f3dab70e",
+      "merkle": "ebc23e5d3d64545309872ebc9aaae9c7001a5091e9015cec673f5127d9942f2a",
       "own": "d7154dc1012739dabef5fee242d1f87009f18121e32283aedf42ca5bae515428"
     },
     "c.Declarations.writtenTypes": {
-      "merkle": "b7fa29afff1dcfcc66fd754a25993c0c58d1b6e11b67a336cadb5dbc4e748648",
+      "merkle": "89af56b7be8aea1ef02a7cf0ba8e765c0374bf24324c3a6eb216f6348bea4bb9",
       "own": "18712250a88ee70075400648687040138f995ed440165a9de221d1bd1089fc5e"
     },
     "c.Declared": {
@@ -159,19 +159,19 @@
       "own": "8c513428f44d94239af828702fe4dc4b3eb0572ab459778e91dc284974a7ecd3"
     },
     "c.Naming.clauses": {
-      "merkle": "73e6cf4fef90e23cdb0960f6030e3d69dd480272ab8d8d50b2cc30e3ca0bb7eb",
+      "merkle": "3f3ed3e31660492111eaa792d08c92c19d5ede4db70bc6629258d0ddf52b1cde",
       "own": "ac3340fdf422fcf3c8d8489f2f5acfdf187faa7e8fbae8251ae08c1d91dd7179"
     },
     "c.Naming.firstReserved": {
-      "merkle": "54b6cd9a7936a9f7edae4fe486a27ec17ddc215ed26aff2f328dbc1372ac9fb1",
+      "merkle": "75e96f1d8395fa69056c790cdb9b1d7e957305227c4e6eb943de5582b1bb5ce0",
       "own": "e54844a710c1851faffacfe09974d477cd0af26c6dfafd3ccd9e7e54850a3ed1"
     },
     "c.Naming.headers": {
-      "merkle": "46075ffcd81ae3306958b706163543052b95f475bbe9a56c3860018a6e2cd6fa",
+      "merkle": "f22446afee519de657d059f08aa69fc842b90e6f823431e821b746a348d09728",
       "own": "05c17f82d6b095d739fbc79c1af6cc60e5e03649b9d5857188174053b818cb25"
     },
     "c.Naming.initial": {
-      "merkle": "85aa88de41efbd07e71aff9d8ca46ab693a776f9d9acade0f2ea5855f30251d2",
+      "merkle": "4bde2e559fe5dcca5218dac180c1289efed87271fad61397e02f70f2583fba7a",
       "own": "f0ddc5d1d874893f51f353a81f42545f3b2e1cf80ff229d9122a6fa5af65bfba"
     },
     "c.Naming.isIn": {
@@ -179,7 +179,7 @@
       "own": "a7010d733b40c0a4ffba3f3178d512d61629f5bdba1e1c258d4f680f968d9303"
     },
     "c.Naming.item": {
-      "merkle": "232121dbf40eeb81fa42b08ea3401b9030e3ba39b540c45666919a5c633e1cb3",
+      "merkle": "cc187f6cd14e34b1eb77c679471343070ecb020233c9dcf36206005648296dcf",
       "own": "54cbefa79239a253dfa42fb38f9e34086271551fef87b5c4466a5916523c95fb"
     },
     "c.Naming.listedIn": {
@@ -187,15 +187,15 @@
       "own": "308cdd4ea5dc295d39fc50cac3b7e8afa446e0280682506637ce62325f1b694c"
     },
     "c.Naming.member": {
-      "merkle": "0bb66a7dd3335b2717c32004eb9d5f21cb03fe2de06f28eacbc0f8f6bfa0c3f3",
+      "merkle": "3ebfe186fa499d11007774196fb1a4aa142a072636029b8a22d9b7c1b4118406",
       "own": "ff9e10d26cc443b6a00d6a32d095fde525f7981c69a49079d7101692422803b1"
     },
     "c.Naming.statement": {
-      "merkle": "f58b2943f1192da0b515634726c87a7ed850c1ca0481a8b82760e32ebf2b81cd",
+      "merkle": "83174b29353268bcf8eff0318968008cf72717dd8717304715f1dba90668b66f",
       "own": "41224c147093bdf7277e712e9d7036b348b831c0b0bab826673613f7d1501eee"
     },
     "c.Naming.statements": {
-      "merkle": "7d3fa355e123a90817d28e48da89d6ff48d9af12cee71f446dd3b9014f2e9180",
+      "merkle": "cf917382afe2d547e7f9fd7f25dcb982b64b46487474315f1043e5e0b7809ef8",
       "own": "b2004c2efc3998ce64a7c0d7be675505301857a8b93ad23f7c65451106c5082e"
     },
     "c.Naming.underscoreCapital": {
@@ -295,107 +295,111 @@
       "own": "14dbe90a13e0c6379520b8acf723cbdd91e4150bb6ea4be0391505832bbeafe7"
     },
     "c.Session": {
-      "merkle": "48e42af8eea8f4cd7f18de6ddc060eb9ca10cc046855ce4827cc183be58105c2",
+      "merkle": "1be7b688e4fb535a31e4067073705873d8dbcbe3caf4f6fe4da72660439a19ba",
       "own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
     },
     "c.Stopping": {
-      "merkle": "bc808920534c439c605518711dda91c644a956ceaf2d44a8918646d9e6609a56",
-      "own": "6c173c71c5157b5672cceda204e351e632dd2a1e86ff5248b893d11966ab8d0e"
+      "merkle": "f2abf93be6256b381d3df3736293d7e362a0fe88db713c09e51732160ac5f2a6",
+      "own": "bc39e326f40233d48b18e0306abb73a2b77bc1cb4eb4bac5a70ca5c1b24e146d"
     },
     "c.TypeSyntax.anyQualifiesFunction": {
-      "merkle": "ce552b7bafa5bca939e64879a8081fca4ebb44cdb6a76fc7fa38f0b286045ba1",
+      "merkle": "e7b0b377d5fc3095a3c323a5e0b6e24168e6f5079fe059d96ab2d9b18f95cd76",
       "own": "b9540aa4b1f40e231d934b3650727f43e6c23d8929f775217e028ec65eff06ad"
     },
     "c.TypeSyntax.isFunctionType": {
-      "merkle": "6621167c592034b6ac4fc506a41e90d1af5282f9a866e6411c4b483757523e30",
-      "own": "ab038c670c3c187dee7eeb004a06196dd27328a55b8c48707a07da1a0199c78c"
+      "merkle": "4eaed6c12012636a6c6d652a93a4aaf55d386764748e8c056eef685a3344f79f",
+      "own": "1417221c30aee4ff0df9c22acb88b109a35414084de114fb008a4bc82122684d"
     },
     "c.TypeSyntax.qualifiesFunction": {
-      "merkle": "7efc68f2c564778b3ad392ce852ca961675300010ec6c7a98eab76286a6b822c",
-      "own": "788d25d9ff40c9a1c26f740aa670708016aec8eb9013dfbfb15db004c1a1a3ff"
+      "merkle": "02b4385c6aee368f71ecc46f0bf333dac15f289c8d0219df4fdd9f1be0aec96e",
+      "own": "ff4e8829fbad8afefa758dbcb3feea441176e6bc19196d87be6a43b6eb7f8a40"
     },
     "c.TypeSyntax.resolve": {
-      "merkle": "361327bba7e2a62165f9e24bac989f73ac001cb7adb3189076ceb43b25aead07",
-      "own": "bfd437feeb565b7d0da3c000afe9795bd302795ab3e5967e594488563ff94b0e"
+      "merkle": "5f778edf6bcbcc4072f65b6a96b3b9cacc167aeab96ec4208b4ef7a4ae01b5d1",
+      "own": "b6f526742e3e58d523ff394cf02b65390ec3fd0da05f3741ce17de86d0128e52"
     },
     "c.divergences": {
-      "merkle": "82a2f81fb8cd927087b03948ef21fc7f5ce5377a43ec7d6f913e30809f027919",
-      "own": "20fb3d8b626fa80c344090c7d9e3e6dbd98618d8968aabd708ff0d42557fc484"
+      "merkle": "350fcbb529a4ef6e56ca6af0c66690a4377ad9702ce550ad4baac46baefea6d0",
+      "own": "de9d3c838b01c72ff49fe18576e3a159dd109265bc20c7503efc46fbbbbbd35b"
     },
     "c.env": {
-      "merkle": "7e7dc6c80e091bf9a0648fcc0e0c2b92042e863cbaa1e5bc836093d02ba09764",
+      "merkle": "e34cda3b9e789eb15ff476a27edcc83495f7df98ee8b0a1121f73d2fb581cd74",
       "own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
     },
     "c.feed": {
-      "merkle": "0c9edd452ded5ad2a6668a4278863bbc893e2375291424fceba3cd5b962328cf",
+      "merkle": "e9fbd6b5a9cf102dda5a0cb197467ed3338482ace0a3c5feb3e551f126805141",
       "own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
     },
     "c.frames": {
-      "merkle": "4e555d6f82d69870c8e79efb36f9b30c09d404bee03d53e7574cb48f5f49057a",
+      "merkle": "9699cbe613676753c6864a77eb78b26e46f9ef5da0470dfe8d96b9a7df43ae17",
       "own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
     },
     "c.globals": {
-      "merkle": "7360a40ca77ebb66ebd20d9ccbba60db9db0ae28f5d10a4748cb9f7fca296797",
+      "merkle": "1c8bf684b15299fddc47bcedbd3eee2dd0524e21d494a987e86619831ab1bcb2",
       "own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
     },
     "c.load": {
-      "merkle": "ee3030dbf982211fac4c85736629fb20987c7ff519f6bcf0b79a8bc7a5af423f",
+      "merkle": "39cdc850083a50c4efa6c9e02b892e9539ef1738dc3f53447bdf5cfa700d40a1",
       "own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
     },
     "c.report": {
-      "merkle": "34d5bdf3cc1607a81df32991dcacdba316ddbbef02ab2944f5bd736139b299f3",
+      "merkle": "6b8a7872b3edad3931915815868127c833b8ed0299f83ceb3cffde2212821370",
       "own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
     },
     "c.run": {
-      "merkle": "2d9f047b989da09bcf2173069785b15ed4b2517c02330da827ff5161cfc8ddff",
-      "own": "832901b374ff74f11ddd297e26907a7f75f92e18a8ac71e37da139365cbece3e"
+      "merkle": "f34e752b1b83c3a574784d17c3316bf9ecedfa1384956bd6aa23ab3da1ca51db",
+      "own": "8402f87d17ffd371f59af73d2b387b2632bc4f7ccad14ccfe5d6be6c2cd3825b"
     },
     "c.setVarConf": {
-      "merkle": "1cf6787e099b8854ba3c8fa64947a8374f3fa5e5837610cc5db47d1e49dc91dd",
+      "merkle": "c537b6fb78270773cfab10608768bcdae58eafa5cadac63db900e11141cee222",
       "own": "2afb7946a846f6d65a2b589bbddfaeab0aec8cf40ef16fbe081488b3dbbddc62"
     },
     "c.setVarErr": {
-      "merkle": "50fb715e6a7ba951601f726eb52e27ee47089a7e826009bcc53bbc764252a475",
+      "merkle": "d57fa1eed955654c177099b0aa5c1c361d43e02387397f360509ba525974ba3b",
       "own": "51fec8d8ab03ec9b592a51eaa27a72375a2e11880cf2bbb7d7a432dd703c45b6"
     },
     "c.stopConf": {
-      "merkle": "a4130da25a29ddc7e1ffef85a4249545254d5edbd84ff80cd879b193225426eb",
-      "own": "31b6e8bc10574a3d70503e74e2b0901caee019c3a0019ecee2401dab7b9d310e"
+      "merkle": "390c4647e9458a6c0e9fbb6956b59a8898ad9f5f5841089dcf1cb583ba46a47e",
+      "own": "b3a32738d550955851ba46306fb8159e034a91764abd240fca6703269d57966c"
     },
     "c.stopDetail": {
-      "merkle": "fbcc815b019bad59647485beea09b82b8224ba4f602723e46af9a7063e150603",
-      "own": "da8047506916df2a13bc45df7552363a925e648d822b7d198442256b0bc6b58b"
+      "merkle": "02b2dda8fe622f7ad02bdd97b974e9f5f5265862cfaf7af270875ecf73ea9bce",
+      "own": "45067ad7cf6728983bb2c709b2c13f41f3f6c237c7a3315571b72d487f6f7338"
     },
     "c.stopErr": {
-      "merkle": "b9172482307441b3485ec0318029b01aac2dbed6188c5396f6af438239385608",
-      "own": "a0eba9599817c3508c0ae20622d1605f5a005c31e5ca6880b89ba743ef267d86"
+      "merkle": "615d4aceb7edb3595ef9eab780ed20b692a675386d5a9eebd77751ddee692db1",
+      "own": "c8acb79bc39febd3a4095543e62d9a8a90f375a7b744f9a09d7314718c7d805f"
     },
     "c.stopKind": {
-      "merkle": "c0bed553736784d2238e4c388a2f9d8a0bc7f8d9ed0d9da5187fcf5eebe29403",
-      "own": "50ede1925f287cc467aaa60b2abf2f51cebaa1baa487b4aaa9a49c52f97e04bc"
+      "merkle": "17d26d21e924fe3ef0e24f7d738d0c4c03252eccccbdbd9945eff9af8ca39072",
+      "own": "74774d2c94e831fb648e3b23d406d988bf95e868d319b0efd6a14def61c23389"
     },
     "c.stopNode": {
-      "merkle": "943276a2c935881500f70a7eae82fab0a959482d25a04333aee4c5b72284af5b",
-      "own": "f8921dafa5e4149fd04fc60b2c221232c51d2944fa3eef667a064fcf12b02bfa"
+      "merkle": "5e9e5eca433bc430cacec8fd18d9469df8bb45d6df3551a3f1584ec1371eb769",
+      "own": "5c6be8b0f8fd43839fb952963f06c96e681fcaf6ba69febcf7a7625a313afa52"
     },
     "c.stopOut": {
-      "merkle": "0d8417e3d155a3fcc5c637ed96738cf4e6f9d325aae794f2c1b6dfca1c69825d",
-      "own": "3413770dc8991e9ec7609695ccb5355cd64d12f9fc60f823f02ecce06e7e749e"
+      "merkle": "2a8447c0fff8b85480a952f9491c1d3149887802c8dee2f4d600eea5d94d2c00",
+      "own": "1973ec33b1e3d5338cb39747b32d567cbb47166398a732c383cfe872d9d839ce"
+    },
+    "c.stopVisits": {
+      "merkle": "eec78cda47189c91dab41047c28e00380fc0179ddc48ed8bd31a5a42d8400686",
+      "own": "052ff53c341ae938227fbd34cbf375bdfe1d7010e2f790b568ae0283a4129111"
     },
     "c.types": {
-      "merkle": "c00845e02fe8e0ecb76e4a72ad310c23b1d8d326a793c67dbbf6c4708f0ba8d7",
+      "merkle": "eab690146833eb44ad924773f9d79094d57fcfc2071a4b405bd3747c9ef9b07c",
       "own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
     },
     "c.verdict": {
-      "merkle": "5555e1582861c908e87f94f6b8ac99674235f48a0021a52e9be4b1d1d9987705",
+      "merkle": "63d99c8532796780600898703a97f83a1849f9be54bb0798fcf365303af9caa2",
       "own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
     }
   },
   "format": 1,
-  "inputs": "8e5ab206dbe226324d0d3a0e08094e3cd89c66b8d88c842f9b6d836c5316cb22",
+  "inputs": "be662c896541e258ef0b490a1031fd7b849997f35b5f8ad4377dd47ea511e12c",
   "modules": {
     "c": {
-      "bytes": 441968,
+      "bytes": 453525,
       "deps": [
         "c.reserved",
         "c.naming",
@@ -404,7 +408,7 @@
       ]
     },
     "c.declarations": {
-      "bytes": 160743,
+      "bytes": 161141,
       "deps": [
         "c.reserved",
         "c.naming",
@@ -412,7 +416,7 @@
       ]
     },
     "c.naming": {
-      "bytes": 243981,
+      "bytes": 245128,
       "deps": [
         "c.reserved",
         "c.naming"
@@ -427,7 +431,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "c23d5c2e1f29ce9f",
+      "checkerHash": "586b0f744f1cee8a",
       "modules": [
         "int",
         "json",
@@ -435,7 +439,9 @@
         "nat",
         "array",
         "functor",
-        "monad"
+        "monad",
+        "ord",
+        "map"
       ]
     },
     "packages": [

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/c",
-  "version": "0.1.202610310706",
+  "version": "0.1.202610312350",
   "description": "C11 for the Cella proof checker, as a branch of the C family's deep embedding (@cella-lang/cfamily): a C program is a data value (the JSON semorphe sends), checked by C's rules and run by its small-step semantics; verdicts (accept, reject, unknown with the clause of the standard), a type query and a debugger host interface — compiled module pack.",
   "files": [
     "c.cell",
@@ -31,16 +31,16 @@
   "author": "SungYu Chang",
   "homepage": "https://cella-lang.org/",
   "peerDependencies": {
-    "cella-lang": "0.1.202610310706",
-    "@cella-lang/cfamily": "0.1.202610310706",
-    "@cella-lang/machine": "0.1.202610310706"
+    "cella-lang": "0.1.202610312349",
+    "@cella-lang/cfamily": "0.1.202610312349",
+    "@cella-lang/machine": "0.1.202610312349"
   },
   "cella": {
-    "checkerHash": "c23d5c2e1f29ce9f",
+    "checkerHash": "586b0f744f1cee8a",
     "cbfVersion": 30,
     "modules": [
       "c"
     ],
-    "packHash": "c7a29ed11455c630"
+    "packHash": "b24fd2e652ba039e"
   }
 }