Skip to content

Instantly share code, notes, and snippets.

@Peaker

Peaker/rot.json

Created November 29, 2021 08:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Peaker/9a170c93fcdd3077f950e3d3bbb7149f to your computer and use it in GitHub Desktop.
Save Peaker/9a170c93fcdd3077f950e3d3bbb7149f to your computer and use it in GitHub Desktop.
Download ZIP
Example on each byte
Raw
rot.json
[
{
"schemaVersion": 15
},
{
"tagOrder": 0,
"tag": "0f82aca66af91493b1ff401de5f1f7e3",
"names": {
"hebrew": "אורך",
"english": {
"abbreviation": "len",
"name": "length"
},
"italiano": "lunghezza"
}
},
{
"tagOrder": 0,
"tag": "14da4a48c950f08de381a3a5a6f882c3",
"names": {
"hebrew": "רצף_",
"english": "sequence_",
"italiano": "sequenza_"
}
},
{
"tagOrder": 1,
"tag": "15c7e7857025b2fd744386ffdddf3c6d",
"names": {
"hebrew": "טקסט",
"english": "text",
"italiano": "testo"
}
},
{
"tagOrder": 0,
"tag": "1b6990743fcc77560fdb139d1ac01a2c",
"names": {
"hebrew": "רשימה",
"english": "list",
"italiano": "lista"
}
},
{
"tagOrder": 0,
"tag": "252f10c83610ebca1a059c0bae8255eb",
"names": {
"hebrew": "פ",
"english": "f",
"italiano": "f"
}
},
{
"tagOrder": 0,
"tag": "2cf28e61ddd6ee6c5c0513c0319a5687",
"names": {
"hebrew": "למערך",
"english": "toArray",
"italiano": "aArray"
}
},
{
"tagOrder": 0,
"tag": "31c480342399e473e4752c2d4f9d490e",
"names": {
"hebrew": "מבתים",
"english": "fromBytes",
"italiano": "daBytes"
}
},
{
"tagOrder": 3,
"tag": "39a1b2e147ca8085ca6078182775f99f",
"names": {
"hebrew": "צעד",
"english": "step",
"italiano": "passo"
}
},
{
"tagOrder": 0,
"op": ";",
"tag": "41b805ea7ac014e23556e98bb374702a"
},
{
"tagOrder": 1,
"tag": "422b088a94926fd6bc76ae0f4cef6181",
"names": {
"hebrew": "כל_עוד",
"english": "while",
"italiano": "mentre"
}
},
{
"tagOrder": 1,
"tag": "42493a636f6e73000000000000000000",
"names": {
"hebrew": "לא_ריק",
"english": "nonEmpty",
"italiano": "nonVuoto"
}
},
{
"tagOrder": 1,
"tag": "42493a66616c73650000000000000000",
"names": {
"hebrew": "כזב",
"english": "false",
"italiano": "falso"
}
},
{
"tagOrder": 0,
"tag": "42493a68656164000000000000000000",
"names": {
"hebrew": "ראש",
"english": "head",
"italiano": "testa"
}
},
{
"tagOrder": 1,
"tag": "42493a696e6465780000000000000000",
"names": {
"hebrew": "אינדקס",
"english": "index",
"italiano": "indice"
}
},
{
"tagOrder": 1,
"tag": "42493a696e6669786c00000000000000",
"names": {
"hebrew": {
"abbreviation": "ימני",
"name": "מימין_לאופרטור"
},
"english": {
"abbreviation": "lhs",
"name": "leftHandSide"
}
}
},
{
"tagOrder": 2,
"tag": "42493a696e6669787200000000000000",
"names": {
"hebrew": {
"abbreviation": "שמאלי",
"name": "משמאל_לאופרטור"
},
"english": {
"abbreviation": "rhs",
"name": "rightHandSide"
}
}
},
{
"tagOrder": 0,
"tag": "42493a6e696c00000000000000000000",
"names": {
"hebrew": "ריק",
"english": "empty",
"italiano": "vuoto"
}
},
{
"tagOrder": 0,
"tag": "42493a6f626a65637400000000000000",
"names": {
"hebrew": "אובייקט",
"english": {
"abbreviation": "obj",
"name": "object"
},
"italiano": "oggetto"
}
},
{
"tagOrder": 2,
"tag": "42493a73746172740000000000000000",
"names": {
"hebrew": "התחלה",
"english": "start",
"italiano": "inizio"
}
},
{
"tagOrder": 3,
"tag": "42493a73746f70000000000000000000",
"names": {
"hebrew": "עצירה",
"english": "stop",
"italiano": "stop"
}
},
{
"tagOrder": 1,
"tag": "42493a7461696c000000000000000000",
"names": {
"hebrew": "זנב",
"english": "tail",
"italiano": "coda"
}
},
{
"tagOrder": 0,
"tag": "42493a74727565000000000000000000",
"names": {
"hebrew": "אמת",
"english": "true",
"italiano": "vero"
}
},
{
"tagOrder": 2,
"tag": "42493a76616c00000000000000000000",
"names": {
"hebrew": "ערך",
"english": "value",
"italiano": "valore"
}
},
{
"tagOrder": 0,
"tag": "520401f6286eba0f9d724ad242d48440",
"names": {
"hebrew": "התחלתי",
"english": {
"abbreviation": "init",
"name": "initial"
},
"italiano": "iniziale"
}
},
{
"tagOrder": 0,
"op": "..",
"tag": "5ec1f7e700f37c3d0b2981d04855fc34",
"names": {
"hebrew": "עד",
"english": "to",
"italiano": "a"
}
},
{
"tagOrder": 0,
"tag": "60be9861750facbfad8758254a2f76c0",
"names": {
"hebrew": "מפה",
"english": "map",
"italiano": "mappa"
}
},
{
"tagOrder": 0,
"tag": "61000000000000000000000000000000",
"names": {
"hebrew": "איבר",
"english": {
"abbreviation": "elem",
"name": "element"
},
"italiano": {
"abbreviation": "elem",
"name": "elemento"
}
}
},
{
"tagOrder": 0,
"op": [
">",
"<"
],
"tag": "62b67e1f685b7fef51102005dddd2777"
},
{
"tagOrder": 1,
"tag": "69b9a1d0263f75cb50e2a06aceaa0a20",
"names": {
"hebrew": "מיפוי",
"english": "mapping",
"italiano": "mappatura"
}
},
{
"tagOrder": 1,
"tag": "6c15f96848dfbcdafa7f239af12424b1",
"names": {
"hebrew": "פעולה_בינארית",
"english": {
"abbreviation": "binop",
"name": "binaryOperator"
},
"italiano": "operatoreBinario"
}
},
{
"tagOrder": 0,
"tag": "7068b0600f698c669f8a08fd7f58ce08",
"names": {
"hebrew": "הרץ_שינוי_מקומי_למערך",
"english": {
"abbreviation": "runMutArray",
"name": "runMutableArray"
},
"italiano": "eseguiArrayMutabile"
}
},
{
"tagOrder": 0,
"tag": "7187f0675eb3827939741acf7342ba78",
"names": {
"hebrew": "החזר",
"english": "return",
"italiano": "ritorna"
}
},
{
"tagOrder": 0,
"tag": "77ccd6ff481676bca34515cbc4822604",
"names": {
"hebrew": "לבתים",
"english": "toBytes",
"italiano": "aBytes"
}
},
{
"tagOrder": 0,
"tag": "7a29ccaa6cf29e9406a99074cd1f0840",
"names": {
"hebrew": "הוסף_למערך_משתנה",
"english": {
"abbreviation": "appendMutArray",
"name": "appendToMutableArray"
},
"italiano": "aggiungiAdArrayMutabile"
}
},
{
"tagOrder": 0,
"tag": "7b468b19c1c3747eb28b554ddce080dd",
"names": {
"hebrew": "קיפול_עצל",
"english": "foldLazy"
}
},
{
"tagOrder": 0,
"tag": "7f6d1a340e5b4f0bbda9313680f5d6a8",
"names": {
"english": "rot"
}
},
{
"tagOrder": 0,
"tag": "8ae53350f50a31f95ac0efe084e0d4ec",
"names": {
"hebrew": "צור_מערך_משתנה",
"english": {
"abbreviation": "newMutArray",
"name": "newMutableArray"
},
"italiano": "nuovoArrayMutabile"
}
},
{
"tagOrder": 1,
"tag": "91779287964ae7c888a0bcc7d444b7b2",
"names": {
"hebrew": "הבא",
"english": "next",
"italiano": "prossimo"
}
},
{
"tagOrder": 1,
"tag": "9d2ea8044c2c29b27fe0398afec9ac40",
"names": {
"hebrew": "בתים",
"english": "bytes",
"italiano": "bytes"
}
},
{
"tagOrder": 0,
"op": "+",
"tag": "a318c24216defe206feeb73ef5be0003"
},
{
"tagOrder": 0,
"tag": "a482d03b55284b52a7e3ec697de265f0",
"names": {
"english": "n"
}
},
{
"tagOrder": 0,
"tag": "aef1223f0e444d8896dab0c4c5dcb963",
"names": {
"english": "onEachByte"
}
},
{
"tagOrder": 0,
"tag": "b5a2c96250612366ea272ffac6d9744a",
"names": {
"hebrew": "דמה",
"english": "dummy",
"italiano": "finto"
}
},
{
"tagOrder": 0,
"tag": "cbb12bbec4535dff59676199004ed2f8",
"names": {
"hebrew": "איטרציה",
"english": "iterate",
"italiano": "itera"
}
},
{
"tagOrder": 0,
"tag": "d1905cf90af29a5ac3f99e105830eecc",
"names": {
"hebrew": "קח",
"english": "take",
"italiano": "prendi"
}
},
{
"tagOrder": 1,
"op": [
"<",
">"
],
"tag": "dabd3aff769f07eb2965401eb029974e"
},
{
"tagOrder": 0,
"tag": "db614bda416dc0b71a337eb49bee3565",
"names": {
"hebrew": "שאר",
"english": "rest",
"italiano": "resto"
}
},
{
"tagOrder": 0,
"tag": "dbe42cc09c16704aa3d60127c60b4e16",
"names": {
"hebrew": "מערך",
"english": "array",
"italiano": "array"
}
},
{
"tagOrder": 0,
"op": "==",
"tag": "f16474a9900a44186e87098f5fcb153a"
},
{
"tagOrder": 0,
"tag": "f48b553b08dc7fe171a25d3ba232fa58",
"names": {
"hebrew": "בית_ב",
"english": "byteAt",
"italiano": "byteA"
}
},
{
"tagOrder": 0,
"tag": "f5f4a4909a4091dbb5b3f9524b71fd18",
"names": {
"hebrew": "איבר",
"english": "item",
"italiano": "elemento"
}
},
{
"nomType": {
"schemeType": {
"variant": [
{
"record": [
{
"funcParam": {
"record": []
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "61000000000000000000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
},
"rowTag": "42493a7461696c000000000000000000"
},
{
"typeVar": "61000000000000000000000000000000",
"rowTag": "42493a68656164000000000000000000"
}
],
"rowTag": "42493a636f6e73000000000000000000"
},
{
"record": [],
"rowTag": "42493a6e696c00000000000000000000"
}
]
}
},
"tag": "1b6990743fcc77560fdb139d1ac01a2c",
"typeVars": [
"61000000000000000000000000000000"
],
"nom": "42493a73747265616d00000000000000"
},
{
"nomType": {
"schemeType": {
"nomId": "42493a62797465730000000000000000"
}
},
"tag": "15c7e7857025b2fd744386ffdddf3c6d",
"nom": "42493a74657874000000000000000000"
},
{
"nomType": {
"schemeType": {
"variant": [
{
"record": [],
"rowTag": "42493a66616c73650000000000000000"
},
{
"record": [],
"rowTag": "42493a74727565000000000000000000"
}
]
}
},
"tag": "b760f44fa5965c2474a3b471467a22c4",
"nom": "426f6f6c000000000000000000000000"
},
{
"nomType": {
"schemeType": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "61000000000000000000000000000000"
}
},
"nomId": "42493a73744172726179000000000000"
}
},
"nomId": "42493a53540000000000000000000000"
},
"typeVars": [
"73"
]
},
"tag": "52d375b037a027938650e4d441e25170",
"typeVars": [
"61000000000000000000000000000000"
],
"nom": "6be65ada2aed47ebbda4cb4118df3659"
},
{
"tag": "0f82aca66af91493b1ff401de5f1f7e3",
"lamVar": "0314e84a850f436db2f1257e44e7d92a"
},
{
"tag": "1b6990743fcc77560fdb139d1ac01a2c",
"lamVar": "0a92cc6fbb6a48e7bf0c9f14182b2922"
},
{
"tag": null,
"lamVar": "0f0b9f62d48240aca7ad3cef9c9d2cf6"
},
{
"tag": null,
"lamVar": "1221d50f083658cdea5cdb237c5b62af"
},
{
"tag": null,
"lamVar": "1a38e598bfd34580b2142f9cd4b4ec01"
},
{
"tag": null,
"lamVar": "1dd0ba3148e61b540e505dd036cbafac"
},
{
"tag": null,
"lamVar": "1f10cca2434f465b96c0c93b5f8d9987"
},
{
"tag": null,
"lamVar": "21554afd36ac369289856f4b6eb928f7"
},
{
"tag": "dbe42cc09c16704aa3d60127c60b4e16",
"lamVar": "22e096f64a8766f75d402acc1138f2a9"
},
{
"tag": null,
"lamVar": "2337014a6d0e323518182c367a0e60a3"
},
{
"tag": null,
"lamVar": "2d8789c4addf25ba07adecbb1f3bd3a5"
},
{
"tag": null,
"lamVar": "405356a9d7355f593846fd60fd34eaea"
},
{
"tag": null,
"lamVar": "487653e7f02344c7abed21f5c20eba15"
},
{
"tag": null,
"lamVar": "5512f0458aa89d18dd6c830c0ed60dc6"
},
{
"tag": null,
"lamVar": "557eabb5d5dd30d985dc58d787763111"
},
{
"tag": "1b6990743fcc77560fdb139d1ac01a2c",
"lamVar": "614f8b27f2f84b2e8db952177016ffdc"
},
{
"tag": null,
"lamVar": "6e148f894023463d9e6780b0a83bb6a8"
},
{
"tag": null,
"lamVar": "6e31b08504eb7467d49519b1b689df1a"
},
{
"tag": null,
"lamVar": "70317f8368b0bbdcb4abc62b3b9c5998"
},
{
"tag": null,
"lamVar": "716e73c02f6a62e26ccba321145eb5e7"
},
{
"tag": null,
"lamVar": "7390ee26df434de3a7bc66c1dee85a76"
},
{
"tag": null,
"lamVar": "74a6e3060d9c4616a4772c41fb748e31"
},
{
"tag": null,
"lamVar": "a2cd2a6925f3c10933c620e725e0eb33"
},
{
"tag": null,
"lamVar": "a5d3f4f03469a0ebef820cae44c9fbf3"
},
{
"tag": null,
"lamVar": "a777066e50b7951091f68e864e8b1781"
},
{
"tag": null,
"lamVar": "a9f6e1503e1a40c2bcffbc28a4717af0"
},
{
"tag": null,
"lamVar": "ad99e12e98040caca968cdd9fc88ced3"
},
{
"tag": "9d2ea8044c2c29b27fe0398afec9ac40",
"lamVar": "bb4b269af77c42528fa37f15cb14530e"
},
{
"tag": null,
"lamVar": "bdd61273790d22d25d0cd99cb4017bd5"
},
{
"tag": null,
"lamVar": "beec392dd5b746258058cfdf7975829f"
},
{
"tag": null,
"lamVar": "c752eae017a4a2177fb7495756c42f75"
},
{
"tag": null,
"lamVar": "cf77d6c8e26641e2acd67566ca8113b6"
},
{
"tag": null,
"lamVar": "d1b2332b9c56487947c516fcd0da5aa2"
},
{
"tag": null,
"lamVar": "d3f6150681b647098356414ddaf796bb"
},
{
"tag": null,
"lamVar": "e93d8135138bc7e4d14ee10d56902f76"
},
{
"tag": "b5a2c96250612366ea272ffac6d9744a",
"lamVar": "eb0fba00eb3e4b96a6225f658a0ba1ef"
},
{
"tag": "60be9861750facbfad8758254a2f76c0",
"defPresentationMode": {
"Operator": [
"1b6990743fcc77560fdb139d1ac01a2c",
"69b9a1d0263f75cb50e2a06aceaa0a20"
]
},
"def": "03eb545fa78c48a7947fef4d3e496e99",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "613134"
}
},
"nomId": "42493a73747265616d00000000000000",
"rowTag": "1b6990743fcc77560fdb139d1ac01a2c"
},
{
"funcParam": {
"typeVar": "613134"
},
"funcResult": {
"typeVar": "6e3130"
},
"rowTag": "69b9a1d0263f75cb50e2a06aceaa0a20"
}
]
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "6e3130"
}
},
"nomId": "42493a73747265616d00000000000000"
}
},
"typeVars": [
"613134",
"6e3130"
]
},
"frozenDeps": {
"defTypes": {
"a2dc21b7c3b04474a4cd67135dd74e65": {
"schemeType": {
"funcParam": {
"record": [
{
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "6e3336"
}
},
"nomId": "42493a73747265616d00000000000000",
"rowTag": "1b6990743fcc77560fdb139d1ac01a2c"
},
{
"funcParam": {
"record": []
},
"funcResult": {
"typeVar": "6c3431"
},
"rowTag": "520401f6286eba0f9d724ad242d48440"
},
{
"funcParam": {
"record": [
{
"funcParam": {
"record": []
},
"funcResult": {
"typeVar": "6c3431"
},
"rowTag": "db614bda416dc0b71a337eb49bee3565"
},
{
"typeVar": "6e3336",
"rowTag": "f5f4a4909a4091dbb5b3f9524b71fd18"
}
]
},
"funcResult": {
"typeVar": "6c3431"
},
"rowTag": "6c15f96848dfbcdafa7f239af12424b1"
}
]
},
"funcResult": {
"typeVar": "6c3431"
}
},
"typeVars": [
"6c3431",
"6e3336"
]
}
},
"nominals": {
"42493a73747265616d00000000000000": {
"nomType": {
"schemeType": {
"variant": [
{
"record": [
{
"funcParam": {
"record": []
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "61000000000000000000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
},
"rowTag": "42493a7461696c000000000000000000"
},
{
"typeVar": "61000000000000000000000000000000",
"rowTag": "42493a68656164000000000000000000"
}
],
"rowTag": "42493a636f6e73000000000000000000"
},
{
"record": [],
"rowTag": "42493a6e696c00000000000000000000"
}
]
}
},
"typeVars": [
"61000000000000000000000000000000"
]
}
}
},
"val": {
"lamParamType": {
"record": [
{
"rowId": "0de6cf8a-8117-528a-abea-fe8d5714f12b",
"id": "859c90b0-d39e-545d-9a69-fe2739716f9a",
"rowTag": "1b6990743fcc77560fdb139d1ac01a2c"
},
{
"rowId": "66171cc9-c705-50b6-8f81-8e34be55d29c",
"id": "66e18529-b45d-5d89-bcf6-db8740eca61b",
"rowTag": "69b9a1d0263f75cb50e2a06aceaa0a20"
},
{
"rowId": "b35d55d3-477c-572b-9b53-b825c18469b7"
}
],
"id": "a90c46d4-a619-515e-b6a0-6ee48c8cbf4b"
},
"lamVar": "1a38e598bfd34580b2142f9cd4b4ec01",
"id": "8d3efbbb-fd25-411c-a5eb-8db36aa0f37d",
"lamBody": {
"applyFunc": {
"var": "a2dc21b7c3b04474a4cd67135dd74e65",
"id": "f4bdefd6-a181-4408-98e6-6984f368588f"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"getField": "1b6990743fcc77560fdb139d1ac01a2c",
"id": "2f734ba2-a8e1-5bef-8321-97e6f9749c28"
},
"applyArg": {
"var": "1a38e598bfd34580b2142f9cd4b4ec01",
"id": "2d4fd4be-8c46-4984-94c2-d233c476a5fb"
},
"id": "4c5e60fb-7e56-406e-9fff-61b70ba36fe1"
},
"extendTag": "1b6990743fcc77560fdb139d1ac01a2c",
"id": "e56ac0f0-e04c-4517-a1fc-48a9796fd568",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "77ad2544-2942-54c2-9a20-9d41e16a5a0c"
},
"lamVar": "d1b2332b9c56487947c516fcd0da5aa2",
"id": "5272f640-67b5-4b62-b94c-ce7b2f6d7442",
"lamBody": {
"toNomVal": {
"applyFunc": {
"inject": "42493a6e696c00000000000000000000",
"id": "4fb8137d-bbff-57dd-9897-42c7b7e8a087"
},
"applyArg": {
"recEmpty": {},
"id": "88f859a0-b21f-4383-af60-3b93de3aa446"
},
"id": "48bcc862-1694-42f7-9837-1d04e77911ac"
},
"toNomId": "42493a73747265616d00000000000000",
"id": "f16403d7-9ba8-44be-bd0e-5a188678f051"
}
},
"extendTag": "520401f6286eba0f9d724ad242d48440",
"id": "32b7e2d0-9e2e-4b67-bb01-ad05bf7e742a",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "69d8e5ee-5708-56e5-b684-1f0da1b66315"
},
"lamVar": "c752eae017a4a2177fb7495756c42f75",
"id": "d8c1768a-7818-45ea-9a2d-8831200c9531",
"lamBody": {
"toNomVal": {
"applyFunc": {
"inject": "42493a636f6e73000000000000000000",
"id": "23f27899-8340-5d52-83a3-8a4f3f3ad7e7"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"applyFunc": {
"getField": "69b9a1d0263f75cb50e2a06aceaa0a20",
"id": "5559399c-e723-5b6e-8b3d-ba2323f1480e"
},
"applyArg": {
"var": "1a38e598bfd34580b2142f9cd4b4ec01",
"id": "fd0c89e3-89b8-48d9-a464-02cc859ad7d2"
},
"id": "d9efa54d-f605-4c77-8028-fc2b6260f8f8"
},
"applyArg": {
"applyFunc": {
"getField": "f5f4a4909a4091dbb5b3f9524b71fd18",
"id": "d316b84c-9d9b-5e50-9f18-74f5414fc803"
},
"applyArg": {
"var": "c752eae017a4a2177fb7495756c42f75",
"id": "6b400f7a-aaf2-416e-8c79-d5b835d04a86"
},
"id": "e39893cb-5415-416e-be2a-890a780730b1"
},
"id": "5fdca76d-42d5-4ba8-8d1c-b7ba718ccc50"
},
"extendTag": "42493a68656164000000000000000000",
"id": "f2e0b118-2348-4d1b-8740-b33ee1155117",
"extendRest": {
"extendVal": {
"applyFunc": {
"getField": "db614bda416dc0b71a337eb49bee3565",
"id": "612c2766-d897-50a0-912f-f6d2337e2fe0"
},
"applyArg": {
"var": "c752eae017a4a2177fb7495756c42f75",
"id": "8fc87cf3-88b1-4907-9dab-da4766b99ae6"
},
"id": "fd4024b5-e6c1-4980-aceb-bb678bcc035f"
},
"extendTag": "42493a7461696c000000000000000000",
"id": "6d67526c-f454-48d1-a7e3-6aa55bfe2e56",
"extendRest": {
"recEmpty": {},
"id": "7f9699d0-e616-4e8d-ab90-c89248a6b812"
}
}
},
"id": "12f70d69-5a5f-49b7-9b5e-a33d3b056ef5"
},
"toNomId": "42493a73747265616d00000000000000",
"id": "08287296-015e-4f7f-b652-2b9c4be49a3b"
}
},
"extendTag": "6c15f96848dfbcdafa7f239af12424b1",
"id": "d2e158b4-830f-4e6f-9143-d2afd5a3c3e9",
"extendRest": {
"recEmpty": {},
"id": "d2a2d2bc-d6fa-40f4-933c-4bc32dea106d"
}
}
}
},
"id": "82da700e-cd5a-4509-954f-495c9b22b228"
}
}
},
{
"tag": "f16474a9900a44186e87098f5fcb153a",
"defPresentationMode": {
"Operator": [
"42493a696e6669786c00000000000000",
"42493a696e6669787200000000000000"
]
},
"builtin": [
"Prelude",
"=="
],
"def": "0de3f3f9c1ce450590f76395c35fc113",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"typeVar": "61",
"rowTag": "42493a696e6669786c00000000000000"
},
{
"typeVar": "61",
"rowTag": "42493a696e6669787200000000000000"
}
]
},
"funcResult": {
"nomId": "426f6f6c000000000000000000000000"
}
},
"typeVars": [
"61"
]
}
},
{
"tag": "5ec1f7e700f37c3d0b2981d04855fc34",
"defPresentationMode": {
"Operator": [
"42493a73746172740000000000000000",
"42493a73746f70000000000000000000"
]
},
"def": "193690a42fe14ab78610b96346c4b244",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a73746172740000000000000000"
},
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a73746f70000000000000000000"
}
]
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"nomId": "42493a666c6f61740000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
}
}
},
"frozenDeps": {
"defTypes": {
"976e4af994d74546b61bfcdc6bf2c950": {
"schemeType": {
"funcParam": {
"record": [
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "39a1b2e147ca8085ca6078182775f99f"
},
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a73746172740000000000000000"
},
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a73746f70000000000000000000"
}
]
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"nomId": "42493a666c6f61740000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
}
}
}
}
},
"val": {
"lamParamType": {
"record": [
{
"rowId": "ccd8c771-be09-561d-b6b9-3ddccbadfc7f",
"id": "9c3f8484-bbcb-507e-98e9-5823a0db98f0",
"rowTag": "42493a73746172740000000000000000"
},
{
"rowId": "115427c9-50cb-5cf4-8d86-5bf6fc5dd0d4",
"id": "0b9d9a7d-3246-5ae2-a71f-ff468a473e92",
"rowTag": "42493a73746f70000000000000000000"
},
{
"rowId": "ec729e24-b543-5dd5-9048-87bf724a548c"
}
],
"id": "f98861c7-75e5-56c4-86c9-7432024e6cd7"
},
"lamVar": "487653e7f02344c7abed21f5c20eba15",
"id": "a9378e89-d544-455c-aad5-7519c5baa66e",
"lamBody": {
"applyFunc": {
"var": "976e4af994d74546b61bfcdc6bf2c950",
"id": "34177c6e-9e54-455e-98d6-e2a26021a988"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"getField": "42493a73746172740000000000000000",
"id": "bb147442-4f57-599b-ab20-728c098e8ad4"
},
"applyArg": {
"var": "487653e7f02344c7abed21f5c20eba15",
"id": "97d905c8-d14c-4e56-a41b-d44799b980ad"
},
"id": "4dba0ff4-1a56-46b2-95e4-df1e68e5f633"
},
"extendTag": "42493a73746172740000000000000000",
"id": "663c9bcd-29e7-4ed1-9766-faaa68bd0a3f",
"extendRest": {
"extendVal": {
"applyFunc": {
"getField": "42493a73746f70000000000000000000",
"id": "bc3d0e8e-a8a8-5f10-81a8-eb161a4ee4b1"
},
"applyArg": {
"var": "487653e7f02344c7abed21f5c20eba15",
"id": "79c33bbf-ddb4-494c-a5eb-5f25de6fd9f1"
},
"id": "b5565529-3a31-474d-b3a9-84c6e9cd345d"
},
"extendTag": "42493a73746f70000000000000000000",
"id": "c69d4a81-d324-4a02-a11d-8b58dccf063e",
"extendRest": {
"extendVal": {
"primBytes": "0101000000000000000700000000000010ffffffffffffffcc",
"primId": "42493a666c6f61740000000000000000",
"id": "01bce618-aaca-4e2f-bf2a-a51d0b477b75"
},
"extendTag": "39a1b2e147ca8085ca6078182775f99f",
"id": "dd74ee68-88b3-4940-841f-1f066f64d045",
"extendRest": {
"recEmpty": {},
"id": "d0c30692-a3b2-450a-96d0-107fea3144e8"
}
}
}
},
"id": "6e9b3918-203b-4793-9225-a5350766ec76"
}
}
},
{
"tag": "7187f0675eb3827939741acf7342ba78",
"defPresentationMode": "Verbose",
"builtin": [
"Mut",
"return"
],
"def": "39ef52561170446083b20ac9472847fb",
"typ": {
"schemeType": {
"funcParam": {
"typeVar": "61"
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a53540000000000000000000000"
}
},
"typeVars": [
"61",
"73"
]
}
},
{
"tag": "f48b553b08dc7fe171a25d3ba232fa58",
"defPresentationMode": {
"Operator": [
"42493a6f626a65637400000000000000",
"42493a696e6465780000000000000000"
]
},
"builtin": [
"Bytes",
"byteAt"
],
"def": "3a1a9681ed2d426bb220a4e674fb9325",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a696e6465780000000000000000"
},
{
"nomId": "42493a62797465730000000000000000",
"rowTag": "42493a6f626a65637400000000000000"
}
]
},
"funcResult": {
"nomId": "42493a666c6f61740000000000000000"
}
}
}
},
{
"tag": "62b67e1f685b7fef51102005dddd2777",
"defPresentationMode": {
"Operator": [
"42493a696e6669786c00000000000000",
"42493a696e6669787200000000000000"
]
},
"builtin": [
"Prelude",
">"
],
"def": "4fbc1a5652d4432b9e2a3ecf170dfdfa",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"typeVar": "61",
"rowTag": "42493a696e6669786c00000000000000"
},
{
"typeVar": "61",
"rowTag": "42493a696e6669787200000000000000"
}
]
},
"funcResult": {
"nomId": "426f6f6c000000000000000000000000"
}
},
"typeVars": [
"61"
]
}
},
{
"tag": "dabd3aff769f07eb2965401eb029974e",
"defPresentationMode": {
"Operator": [
"42493a696e6669786c00000000000000",
"42493a696e6669787200000000000000"
]
},
"builtin": [
"Prelude",
"<"
],
"def": "579baf42954544938648c8857bea0ea4",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"typeVar": "61",
"rowTag": "42493a696e6669786c00000000000000"
},
{
"typeVar": "61",
"rowTag": "42493a696e6669787200000000000000"
}
]
},
"funcResult": {
"nomId": "426f6f6c000000000000000000000000"
}
},
"typeVars": [
"61"
]
}
},
{
"tag": "7068b0600f698c669f8a08fd7f58ce08",
"defPresentationMode": "Verbose",
"builtin": [
"Mut",
"Array",
"run"
],
"def": "65ffba5ecc80478baacf8819f4e27939",
"typ": {
"schemeType": {
"funcParam": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "61"
}
},
"nomId": "6be65ada2aed47ebbda4cb4118df3659"
},
"funcResult": {
"nomTypeArgs": {
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a61727261790000000000000000"
}
},
"typeVars": [
"61"
]
}
},
{
"tag": "2cf28e61ddd6ee6c5c0513c0319a5687",
"defPresentationMode": "Verbose",
"def": "6e48b401ff844d168bfd8678cb9fdfc2",
"typ": {
"schemeType": {
"funcParam": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a73747265616d00000000000000"
},
"funcResult": {
"nomTypeArgs": {
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a61727261790000000000000000"
}
},
"typeVars": [
"61"
]
},
"frozenDeps": {
"defTypes": {
"39ef52561170446083b20ac9472847fb": {
"schemeType": {
"funcParam": {
"typeVar": "61"
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a53540000000000000000000000"
}
},
"typeVars": [
"61",
"73"
]
},
"65ffba5ecc80478baacf8819f4e27939": {
"schemeType": {
"funcParam": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "61"
}
},
"nomId": "6be65ada2aed47ebbda4cb4118df3659"
},
"funcResult": {
"nomTypeArgs": {
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a61727261790000000000000000"
}
},
"typeVars": [
"61"
]
},
"7ef2ad26acde4094820f2a5f5e338100": {
"schemeType": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a73744172726179000000000000"
}
},
"nomId": "42493a53540000000000000000000000"
},
"typeVars": [
"61",
"73"
]
},
"ddff8d584f6f4cd1906000aad6b44819": {
"schemeType": {
"funcParam": {
"record": [
{
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a53540000000000000000000000",
"rowTag": "42493a696e6669786c00000000000000"
},
{
"funcParam": {
"typeVar": "61"
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "62"
}
},
"nomId": "42493a53540000000000000000000000"
},
"rowTag": "42493a696e6669787200000000000000"
}
]
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "62"
}
},
"nomId": "42493a53540000000000000000000000"
}
},
"typeVars": [
"61",
"62",
"73"
]
},
"b0e4096bebd144ecb58b4645e51a965c": {
"schemeType": {
"funcParam": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "693131"
},
"42493a76616c00000000000000000000": {
"typeVar": "6939"
}
},
"nomId": "42493a53540000000000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "693131"
},
"42493a76616c00000000000000000000": {
"record": []
}
},
"nomId": "42493a53540000000000000000000000"
}
},
"typeVars": [
"693131",
"6939"
]
},
"8bda8cdc1fcb7aef5dba1bea7d40813f": {
"schemeType": {
"funcParam": {
"record": [
{
"typeVar": "61",
"rowTag": "42493a76616c00000000000000000000"
},
{
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a73744172726179000000000000",
"rowTag": "42493a6f626a65637400000000000000"
}
]
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"record": []
}
},
"nomId": "42493a53540000000000000000000000"
}
},
"typeVars": [
"61",
"73"
]
},
"03eb545fa78c48a7947fef4d3e496e99": {
"schemeType": {
"funcParam": {
"record": [
{
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "613134"
}
},
"nomId": "42493a73747265616d00000000000000",
"rowTag": "1b6990743fcc77560fdb139d1ac01a2c"
},
{
"funcParam": {
"typeVar": "613134"
},
"funcResult": {
"typeVar": "6e3130"
},
"rowTag": "69b9a1d0263f75cb50e2a06aceaa0a20"
}
]
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "6e3130"
}
},
"nomId": "42493a73747265616d00000000000000"
}
},
"typeVars": [
"613134",
"6e3130"
]
}
},
"nominals": {
"6be65ada2aed47ebbda4cb4118df3659": {
"nomType": {
"schemeType": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "61000000000000000000000000000000"
}
},
"nomId": "42493a73744172726179000000000000"
}
},
"nomId": "42493a53540000000000000000000000"
},
"typeVars": [
"73"
]
},
"typeVars": [
"61000000000000000000000000000000"
]
}
}
},
"val": {
"lamParamType": {
"id": "aea54608-ad40-54c3-b206-25e8fc2824ed"
},
"lamVar": "614f8b27f2f84b2e8db952177016ffdc",
"id": "6b2d1ae6-6a07-41b9-94be-c6683157e9f3",
"lamBody": {
"applyFunc": {
"var": "65ffba5ecc80478baacf8819f4e27939",
"id": "5dfde369-4e0a-4ef7-872b-29d08ac7d9f0"
},
"applyArg": {
"toNomVal": {
"applyFunc": {
"var": "ddff8d584f6f4cd1906000aad6b44819",
"id": "e1e4979f-f881-41e8-bea3-36b708487b0e"
},
"applyArg": {
"extendVal": {
"var": "7ef2ad26acde4094820f2a5f5e338100",
"id": "bb874110-4509-45ab-b4b7-bcc98be0dfb0"
},
"extendTag": "42493a696e6669786c00000000000000",
"id": "313d04e9-e615-481d-810f-a5f4db8c6f24",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "83571a38-8386-5ac9-a825-24733e5f275a"
},
"lamVar": "22e096f64a8766f75d402acc1138f2a9",
"id": "4815c9d4-ecb0-438a-a6e6-f701f6f5d233",
"lamBody": {
"applyFunc": {
"var": "ddff8d584f6f4cd1906000aad6b44819",
"id": "a394bfca-924d-4d71-96b6-dc40bb04caf7"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"var": "b0e4096bebd144ecb58b4645e51a965c",
"id": "fac5068c-c6ef-4edd-b6b3-232f86f39ee4"
},
"applyArg": {
"applyFunc": {
"var": "03eb545fa78c48a7947fef4d3e496e99",
"id": "e755aeec-e2ee-40d6-999a-a423adce41c0"
},
"applyArg": {
"extendVal": {
"var": "614f8b27f2f84b2e8db952177016ffdc",
"id": "10633fbc-0c3b-4cea-b43f-445c7a956a7c"
},
"extendTag": "1b6990743fcc77560fdb139d1ac01a2c",
"id": "64892000-886d-4ac2-981f-6be643754583",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "ba4f0c2e-cf22-52fb-b675-6eedd7346b3c"
},
"lamVar": "e93d8135138bc7e4d14ee10d56902f76",
"id": "31f5033e-d4d4-4031-99ca-e702eab1a0d9",
"lamBody": {
"applyFunc": {
"var": "8bda8cdc1fcb7aef5dba1bea7d40813f",
"id": "de462745-e1ac-4ea5-a704-61ec3d303e8e"
},
"applyArg": {
"extendVal": {
"var": "22e096f64a8766f75d402acc1138f2a9",
"id": "2c8d6051-c7fe-467d-b747-b604aa2666d5"
},
"extendTag": "42493a6f626a65637400000000000000",
"id": "3b5badfc-0670-4f05-ad85-d21d0c880869",
"extendRest": {
"extendVal": {
"var": "e93d8135138bc7e4d14ee10d56902f76",
"id": "e96922f9-eb9d-4992-b938-258baf2b64cf"
},
"extendTag": "42493a76616c00000000000000000000",
"id": "6f178375-4433-48eb-aa9c-53ab631b95f5",
"extendRest": {
"recEmpty": {},
"id": "312aea43-aeb3-482e-98d1-c5facbebc1ad"
}
}
},
"id": "430a918b-ea20-4ac3-9757-c3a3fa1c440a"
}
},
"extendTag": "69b9a1d0263f75cb50e2a06aceaa0a20",
"id": "a3af718d-072d-4fac-9741-d5da7ecaa6b7",
"extendRest": {
"recEmpty": {},
"id": "bd4a917b-4b9c-4d36-814e-53bdfb1e2fb7"
}
}
},
"id": "ecbb95a7-98ef-489b-b62c-42c5fe08be6c"
},
"id": "44f0c68b-3a99-46d6-8b02-9594849a2646"
},
"extendTag": "42493a696e6669786c00000000000000",
"id": "63048785-23ae-481a-a97b-df5b9915a70b",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "2365233e-9e2f-5a32-b9e1-36c5aa2c39ad"
},
"lamVar": "a777066e50b7951091f68e864e8b1781",
"id": "0860916a-b404-44ce-9617-9c1731990d18",
"lamBody": {
"applyFunc": {
"var": "39ef52561170446083b20ac9472847fb",
"id": "dae291f2-97a2-479c-89b4-f40c6e78919c"
},
"applyArg": {
"var": "22e096f64a8766f75d402acc1138f2a9",
"id": "4ef025ca-ffdb-4d66-b01c-b93744808973"
},
"id": "bb6cc8a7-96d8-452d-a4a0-35c9c539ab10"
}
},
"extendTag": "42493a696e6669787200000000000000",
"id": "722c880e-2602-47e2-9d6b-28f2f86e2397",
"extendRest": {
"recEmpty": {},
"id": "791dfe1c-f924-4dcd-8e4c-47c16ab0ec17"
}
}
},
"id": "67ada252-5239-4ac9-a704-e9ba2b490c72"
}
},
"extendTag": "42493a696e6669787200000000000000",
"id": "9389dc56-1744-40b3-a981-7a153cc30831",
"extendRest": {
"recEmpty": {},
"id": "7aaaa2ba-1ad9-4def-9209-fcb9c016a25b"
}
}
},
"id": "60434b15-1785-4d27-8dc0-e270d3365fb6"
},
"toNomId": "6be65ada2aed47ebbda4cb4118df3659",
"id": "38d3e381-a605-46b2-8d2d-282d7b2f9ccb"
},
"id": "999f9703-3888-43bf-9e36-79b30650044e"
}
}
},
{
"tag": "cbb12bbec4535dff59676199004ed2f8",
"defPresentationMode": "Verbose",
"def": "768892e88d934ae0aca2a90bcf4628f1",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"funcParam": {
"typeVar": "743136"
},
"funcResult": {
"typeVar": "743136"
},
"rowTag": "91779287964ae7c888a0bcc7d444b7b2"
},
{
"typeVar": "743136",
"rowTag": "520401f6286eba0f9d724ad242d48440"
}
]
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "743136"
}
},
"nomId": "42493a73747265616d00000000000000"
}
},
"typeVars": [
"743136"
]
},
"frozenDeps": {
"nominals": {
"42493a73747265616d00000000000000": {
"nomType": {
"schemeType": {
"variant": [
{
"record": [
{
"funcParam": {
"record": []
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "61000000000000000000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
},
"rowTag": "42493a7461696c000000000000000000"
},
{
"typeVar": "61000000000000000000000000000000",
"rowTag": "42493a68656164000000000000000000"
}
],
"rowTag": "42493a636f6e73000000000000000000"
},
{
"record": [],
"rowTag": "42493a6e696c00000000000000000000"
}
]
}
},
"typeVars": [
"61000000000000000000000000000000"
]
}
}
},
"val": {
"lamParamType": {
"record": [
{
"rowId": "bf4459a7-f1c1-5e80-88e2-31aa196ffcda",
"id": "3f74c13a-df49-5888-8bad-e1d6a71c1066",
"rowTag": "520401f6286eba0f9d724ad242d48440"
},
{
"rowId": "25236557-9e1c-5ad3-869a-2ac5843db13b",
"id": "dd714d2a-c869-5cb6-8b4e-cef6cd8b7b7c",
"rowTag": "91779287964ae7c888a0bcc7d444b7b2"
},
{
"rowId": "4a94e3cb-f533-5d5d-a79c-8dbfe86b652c"
}
],
"id": "19378dfa-1afc-5d03-838e-5a10087a63d2"
},
"lamVar": "cf77d6c8e26641e2acd67566ca8113b6",
"id": "2c2c2946-9f4c-4df1-b268-0165665d581b",
"lamBody": {
"toNomVal": {
"applyFunc": {
"inject": "42493a636f6e73000000000000000000",
"id": "b28bc781-f40f-5e43-b539-ee6522f012af"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"getField": "520401f6286eba0f9d724ad242d48440",
"id": "2cba30b8-d1b0-57af-b211-de8bce719c73"
},
"applyArg": {
"var": "cf77d6c8e26641e2acd67566ca8113b6",
"id": "0175817b-079e-408d-94ac-084b75f0b223"
},
"id": "711d09e3-fb4a-4281-9e4c-4e23ca286693"
},
"extendTag": "42493a68656164000000000000000000",
"id": "e4401d05-5b74-4844-a779-14dad3b750e4",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "288df532-0d9f-5770-8b07-9e02c36cd735"
},
"lamVar": "bdd61273790d22d25d0cd99cb4017bd5",
"id": "5be26c29-aaf6-4d23-a89c-72aeb34b33aa",
"lamBody": {
"applyFunc": {
"var": "768892e88d934ae0aca2a90bcf4628f1",
"id": "474d6089-f5af-48bc-8595-ef629d2e1942"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"applyFunc": {
"getField": "91779287964ae7c888a0bcc7d444b7b2",
"id": "3b3b7adf-d07a-54a1-b802-bd16cf4ce450"
},
"applyArg": {
"var": "cf77d6c8e26641e2acd67566ca8113b6",
"id": "34b2f0a1-3671-46cf-b4da-be213c54c912"
},
"id": "0e7911db-0704-4201-a42a-de598d59c0ac"
},
"applyArg": {
"applyFunc": {
"getField": "520401f6286eba0f9d724ad242d48440",
"id": "0cbdc153-ee7d-588c-b1cb-1be8a5ad008a"
},
"applyArg": {
"var": "cf77d6c8e26641e2acd67566ca8113b6",
"id": "fdafd050-e787-4969-9b9e-2fad8061267f"
},
"id": "01d21a09-1ad4-43bb-b72b-e626d164125b"
},
"id": "46fd04ef-6f21-4bb8-824f-6c83dbbdbd83"
},
"extendTag": "520401f6286eba0f9d724ad242d48440",
"id": "52e891ee-6118-4c3a-a996-d7e8f1ba1b64",
"extendRest": {
"extendVal": {
"applyFunc": {
"getField": "91779287964ae7c888a0bcc7d444b7b2",
"id": "98419994-52aa-56c0-b9f3-84c4a62921c1"
},
"applyArg": {
"var": "cf77d6c8e26641e2acd67566ca8113b6",
"id": "34046c80-81f1-4259-a459-ae674aaa2569"
},
"id": "87a916e1-c317-410c-b11c-871049359eaa"
},
"extendTag": "91779287964ae7c888a0bcc7d444b7b2",
"id": "60700df3-df24-4ea3-86eb-8d3ce2c8190d",
"extendRest": {
"recEmpty": {},
"id": "6a52fa7b-7486-48b5-af65-200c0bd0b1fe"
}
}
},
"id": "ea759497-1735-4c04-99f7-cc0ed1701663"
}
},
"extendTag": "42493a7461696c000000000000000000",
"id": "1de4741e-e08a-4c43-80a5-53abd7ac65af",
"extendRest": {
"recEmpty": {},
"id": "b1d83752-93b9-48c8-8757-2b81f9e76184"
}
}
},
"id": "d5cc046e-71d5-487b-bdbc-7ea7b94b370c"
},
"toNomId": "42493a73747265616d00000000000000",
"id": "4f714f07-d7e1-4fdf-8211-40ca89a16953"
}
}
},
{
"tag": "aef1223f0e444d8896dab0c4c5dcb963",
"defPresentationMode": "Verbose",
"def": "7d90c2bbc5704d85b22da7fc67ffad46",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"funcParam": {
"nomId": "42493a666c6f61740000000000000000"
},
"funcResult": {
"nomId": "42493a666c6f61740000000000000000"
},
"rowTag": "252f10c83610ebca1a059c0bae8255eb"
},
{
"nomId": "42493a62797465730000000000000000",
"rowTag": "9d2ea8044c2c29b27fe0398afec9ac40"
}
]
},
"funcResult": {
"nomId": "42493a62797465730000000000000000"
}
}
},
"frozenDeps": {
"defTypes": {
"d08c86d919c24cc8aa512e734534f965": {
"schemeType": {
"funcParam": {
"nomId": "42493a62797465730000000000000000"
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"nomId": "42493a666c6f61740000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
}
}
},
"836f5a3422154259bf788f38c6fe5693": {
"schemeType": {
"funcParam": {
"nomTypeArgs": {
"42493a76616c00000000000000000000": {
"nomId": "42493a666c6f61740000000000000000"
}
},
"nomId": "42493a61727261790000000000000000"
},
"funcResult": {
"nomId": "42493a62797465730000000000000000"
}
}
},
"6e48b401ff844d168bfd8678cb9fdfc2": {
"schemeType": {
"funcParam": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a73747265616d00000000000000"
},
"funcResult": {
"nomTypeArgs": {
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a61727261790000000000000000"
}
},
"typeVars": [
"61"
]
},
"03eb545fa78c48a7947fef4d3e496e99": {
"schemeType": {
"funcParam": {
"record": [
{
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "613134"
}
},
"nomId": "42493a73747265616d00000000000000",
"rowTag": "1b6990743fcc77560fdb139d1ac01a2c"
},
{
"funcParam": {
"typeVar": "613134"
},
"funcResult": {
"typeVar": "6e3130"
},
"rowTag": "69b9a1d0263f75cb50e2a06aceaa0a20"
}
]
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "6e3130"
}
},
"nomId": "42493a73747265616d00000000000000"
}
},
"typeVars": [
"613134",
"6e3130"
]
}
}
},
"val": {
"lamParamType": {
"record": [
{
"rowId": "d2aa3e16-9321-4dbb-811c-e8e99bc48a8f",
"id": "2e9863fb-ae17-4e36-9ae5-1faa5ca91a74",
"rowTag": "9d2ea8044c2c29b27fe0398afec9ac40"
},
{
"rowId": "abcae23f-e66a-415e-9e4d-b531a04716ea",
"id": "22645d6e-3ef7-4d6f-9632-ca73bf8266b4",
"rowTag": "252f10c83610ebca1a059c0bae8255eb"
},
{
"rowId": "13cdf6af-bcf4-4c9f-99b5-6b2c6ed3adb8"
}
],
"id": "a9337e9b-3282-4999-bb3b-5e2d128e4466"
},
"lamVar": "beec392dd5b746258058cfdf7975829f",
"id": "3968e452-6823-477a-baa5-a8dd71eefa94",
"lamBody": {
"applyFunc": {
"var": "836f5a3422154259bf788f38c6fe5693",
"id": "a9622d5c-9c49-42cb-bef9-f10fc1ca4d9c"
},
"applyArg": {
"applyFunc": {
"var": "6e48b401ff844d168bfd8678cb9fdfc2",
"id": "824b7a03-3e84-4286-a094-ce41a414cd75"
},
"applyArg": {
"applyFunc": {
"var": "03eb545fa78c48a7947fef4d3e496e99",
"id": "04e41b9f-6cdc-4965-b312-13ee21bf1e80"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"var": "d08c86d919c24cc8aa512e734534f965",
"id": "b96f6591-25ef-42b6-a5a5-2f31942eca41"
},
"applyArg": {
"applyFunc": {
"getField": "9d2ea8044c2c29b27fe0398afec9ac40",
"id": "690c68db-9469-455b-a045-c09c3419135e"
},
"applyArg": {
"var": "beec392dd5b746258058cfdf7975829f",
"id": "166196d9-0678-4b9c-89d3-a64f18d31092"
},
"id": "5e604e52-b6b7-4277-8e4f-586b96d026fe"
},
"id": "60cbf382-4fed-4e54-8b93-9dff0ce10d15"
},
"extendTag": "1b6990743fcc77560fdb139d1ac01a2c",
"id": "02c0761d-bcd8-4d88-bbb6-bc7e0116c3bc",
"extendRest": {
"extendVal": {
"applyFunc": {
"getField": "252f10c83610ebca1a059c0bae8255eb",
"id": "7ee2b2ae-bbaf-48bc-aee3-04e23957a7b0"
},
"applyArg": {
"var": "beec392dd5b746258058cfdf7975829f",
"id": "0237b988-0f35-484d-8c7c-08131e7b9510"
},
"id": "d6f3f3dc-e3a9-4ee6-9fe4-8858a6ca7647"
},
"extendTag": "69b9a1d0263f75cb50e2a06aceaa0a20",
"id": "92b30976-0091-48cc-a845-8e67a493ba7e",
"extendRest": {
"recEmpty": {},
"id": "8298ebb5-8ba4-4998-b5e4-81322f30e56e"
}
}
},
"id": "23de6602-21d6-4ea9-9acb-999c0b146b34"
},
"id": "1c0a1c74-b706-43f2-bae5-5cf1b983201f"
},
"id": "14c671b6-a9d1-45cc-8705-db47aeb33e81"
}
}
},
{
"tag": "8ae53350f50a31f95ac0efe084e0d4ec",
"defPresentationMode": "Verbose",
"builtin": [
"Mut",
"Array",
"new"
],
"def": "7ef2ad26acde4094820f2a5f5e338100",
"typ": {
"schemeType": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a73744172726179000000000000"
}
},
"nomId": "42493a53540000000000000000000000"
},
"typeVars": [
"61",
"73"
]
}
},
{
"tag": "77ccd6ff481676bca34515cbc4822604",
"defPresentationMode": "Verbose",
"builtin": [
"Bytes",
"fromArray"
],
"def": "836f5a3422154259bf788f38c6fe5693",
"typ": {
"schemeType": {
"funcParam": {
"nomTypeArgs": {
"42493a76616c00000000000000000000": {
"nomId": "42493a666c6f61740000000000000000"
}
},
"nomId": "42493a61727261790000000000000000"
},
"funcResult": {
"nomId": "42493a62797465730000000000000000"
}
}
}
},
{
"tag": "7a29ccaa6cf29e9406a99074cd1f0840",
"defPresentationMode": {
"Operator": [
"42493a6f626a65637400000000000000",
"42493a76616c00000000000000000000"
]
},
"builtin": [
"Mut",
"Array",
"append"
],
"def": "8bda8cdc1fcb7aef5dba1bea7d40813f",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"typeVar": "61",
"rowTag": "42493a76616c00000000000000000000"
},
{
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a73744172726179000000000000",
"rowTag": "42493a6f626a65637400000000000000"
}
]
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"record": []
}
},
"nomId": "42493a53540000000000000000000000"
}
},
"typeVars": [
"61",
"73"
]
}
},
{
"tag": "5ec1f7e700f37c3d0b2981d04855fc34",
"defPresentationMode": {
"Operator": [
"42493a73746172740000000000000000",
"42493a73746f70000000000000000000"
]
},
"def": "976e4af994d74546b61bfcdc6bf2c950",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "39a1b2e147ca8085ca6078182775f99f"
},
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a73746172740000000000000000"
},
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a73746f70000000000000000000"
}
]
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"nomId": "42493a666c6f61740000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
}
}
},
"frozenDeps": {
"defTypes": {
"ef15e9ece99a44fc9a41740a570f3fc9": {
"schemeType": {
"funcParam": {
"record": [
{
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "6e32"
}
},
"nomId": "42493a73747265616d00000000000000",
"rowTag": "1b6990743fcc77560fdb139d1ac01a2c"
},
{
"funcParam": {
"typeVar": "6e32"
},
"funcResult": {
"nomId": "426f6f6c000000000000000000000000"
},
"rowTag": "422b088a94926fd6bc76ae0f4cef6181"
}
]
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "6e32"
}
},
"nomId": "42493a73747265616d00000000000000"
}
},
"typeVars": [
"6e32"
]
},
"acb176a8b8764d2f8092176df7895169": {
"schemeType": {
"funcParam": {
"record": [
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a696e6669786c00000000000000"
},
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a696e6669787200000000000000"
}
]
},
"funcResult": {
"nomId": "42493a666c6f61740000000000000000"
}
}
},
"579baf42954544938648c8857bea0ea4": {
"schemeType": {
"funcParam": {
"record": [
{
"typeVar": "61",
"rowTag": "42493a696e6669786c00000000000000"
},
{
"typeVar": "61",
"rowTag": "42493a696e6669787200000000000000"
}
]
},
"funcResult": {
"nomId": "426f6f6c000000000000000000000000"
}
},
"typeVars": [
"61"
]
},
"768892e88d934ae0aca2a90bcf4628f1": {
"schemeType": {
"funcParam": {
"record": [
{
"funcParam": {
"typeVar": "743136"
},
"funcResult": {
"typeVar": "743136"
},
"rowTag": "91779287964ae7c888a0bcc7d444b7b2"
},
{
"typeVar": "743136",
"rowTag": "520401f6286eba0f9d724ad242d48440"
}
]
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "743136"
}
},
"nomId": "42493a73747265616d00000000000000"
}
},
"typeVars": [
"743136"
]
},
"4fbc1a5652d4432b9e2a3ecf170dfdfa": {
"schemeType": {
"funcParam": {
"record": [
{
"typeVar": "61",
"rowTag": "42493a696e6669786c00000000000000"
},
{
"typeVar": "61",
"rowTag": "42493a696e6669787200000000000000"
}
]
},
"funcResult": {
"nomId": "426f6f6c000000000000000000000000"
}
},
"typeVars": [
"61"
]
}
},
"nominals": {
"426f6f6c000000000000000000000000": {
"nomType": {
"schemeType": {
"variant": [
{
"record": [],
"rowTag": "42493a66616c73650000000000000000"
},
{
"record": [],
"rowTag": "42493a74727565000000000000000000"
}
]
}
}
}
}
},
"val": {
"lamParamType": {
"record": [
{
"rowId": "82ad438f-38b0-5f01-af5e-286a2455daa9",
"id": "6017af23-8c67-574b-b9b5-d45124a2337a",
"rowTag": "42493a73746172740000000000000000"
},
{
"rowId": "aa73b091-e3b1-5867-bee9-9d5040aebfcf",
"id": "2fdf0b9c-d20c-5da7-a280-d788a156b399",
"rowTag": "42493a73746f70000000000000000000"
},
{
"rowId": "61d9e06f-ed9e-511c-8f62-60beef616143",
"id": "6f9e9db0-6933-526d-9c54-220c8b6bfa32",
"rowTag": "39a1b2e147ca8085ca6078182775f99f"
},
{
"rowId": "fe8de60a-a69c-514b-bbc5-c35c10c042a9"
}
],
"id": "70818021-08e1-5724-9351-af538f9140e4"
},
"lamVar": "74a6e3060d9c4616a4772c41fb748e31",
"id": "b73d688d-d2cb-4de0-af83-bb974f179e08",
"lamBody": {
"applyFunc": {
"var": "ef15e9ece99a44fc9a41740a570f3fc9",
"id": "90472cc0-4385-4ee2-abd7-4dc7a6792bfe"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"var": "768892e88d934ae0aca2a90bcf4628f1",
"id": "c6aa86de-0f25-460e-992b-015a2e164290"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"getField": "42493a73746172740000000000000000",
"id": "2665d39b-792a-5bee-90d9-b832bdb28ed5"
},
"applyArg": {
"var": "74a6e3060d9c4616a4772c41fb748e31",
"id": "e7219991-dccc-4f62-8f5a-55ef6693952b"
},
"id": "6ea9e8f7-86a8-4359-98c9-0c373edc275c"
},
"extendTag": "520401f6286eba0f9d724ad242d48440",
"id": "54d509bf-7493-45d3-a250-034d7fa566da",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "12c2e487-9b41-54f7-8a5e-9385084dd3f4"
},
"lamVar": "a5d3f4f03469a0ebef820cae44c9fbf3",
"id": "5ac9a6a9-0e2b-42f8-8275-9056ac3430c5",
"lamBody": {
"applyFunc": {
"var": "acb176a8b8764d2f8092176df7895169",
"id": "5860a563-3b15-44af-a23f-11096e0e06f8"
},
"applyArg": {
"extendVal": {
"var": "a5d3f4f03469a0ebef820cae44c9fbf3",
"id": "94bd055c-8059-4eed-9a22-eeae91d0dea8"
},
"extendTag": "42493a696e6669786c00000000000000",
"id": "9ffea66f-ccb6-468e-a4ae-1555cec9d1ff",
"extendRest": {
"extendVal": {
"applyFunc": {
"getField": "39a1b2e147ca8085ca6078182775f99f",
"id": "e9ac6c1a-eb06-56a9-8ecc-151420f2d6e2"
},
"applyArg": {
"var": "74a6e3060d9c4616a4772c41fb748e31",
"id": "b28b9f67-0543-4ed5-890e-67f27df658f1"
},
"id": "83c9d10d-c3e6-4263-80ab-5e742aad0ef7"
},
"extendTag": "42493a696e6669787200000000000000",
"id": "2befab33-652c-442d-bfbd-5b55668aceef",
"extendRest": {
"recEmpty": {},
"id": "93146228-5552-4288-b2d0-f2d62f1f4482"
}
}
},
"id": "55b655e1-d001-4ccb-b798-21d0a04f0df3"
}
},
"extendTag": "91779287964ae7c888a0bcc7d444b7b2",
"id": "07266714-ae35-40e3-8f3a-14666ff42bb4",
"extendRest": {
"recEmpty": {},
"id": "28721f6c-c5dd-4c63-9f29-5c89a79a2f52"
}
}
},
"id": "04e2e6d1-7680-48ba-8da5-3ef5b75e7a4e"
},
"extendTag": "1b6990743fcc77560fdb139d1ac01a2c",
"id": "96e6547b-b947-4259-935a-5b026fe82821",
"extendRest": {
"extendVal": {
"applyFunc": {
"caseRest": {
"caseRest": {
"id": "22c1413a-e759-4acc-b00a-ec251fe06c07",
"absurd": {}
},
"caseHandler": {
"lamParamType": {
"id": "f00687b6-e2d4-5e3e-86f8-a0c34678d31e"
},
"lamVar": "557eabb5d5dd30d985dc58d787763111",
"id": "21b34ce4-f6b1-4381-bb95-fdc30326917c",
"lamBody": {
"lamParamType": {
"id": "7772d1f4-3644-52c4-9aa5-e9ff0c03298e"
},
"lamVar": "1f10cca2434f465b96c0c93b5f8d9987",
"id": "c2a3f8f1-d551-435a-adf5-30cd751519ff",
"lamBody": {
"applyFunc": {
"var": "579baf42954544938648c8857bea0ea4",
"id": "0479dda7-634b-40d6-b891-fc32a72154df"
},
"applyArg": {
"extendVal": {
"var": "1f10cca2434f465b96c0c93b5f8d9987",
"id": "952c2611-755d-4afe-9863-e765e49395f7"
},
"extendTag": "42493a696e6669786c00000000000000",
"id": "bb9ef868-25d8-4f1b-a090-229051854fa0",
"extendRest": {
"extendVal": {
"applyFunc": {
"getField": "42493a73746f70000000000000000000",
"id": "70bd2d89-f8eb-5402-90db-6a8a987f38eb"
},
"applyArg": {
"var": "74a6e3060d9c4616a4772c41fb748e31",
"id": "b07ec810-bbb6-4e9a-8cc6-62415fc2af68"
},
"id": "01f1ac84-5ba3-485e-87ca-fbc251f6048f"
},
"extendTag": "42493a696e6669787200000000000000",
"id": "56a4110b-ab15-42cb-8d13-9cd28df2f9de",
"extendRest": {
"recEmpty": {},
"id": "30fad9d8-ee6a-446b-99e6-102228d0df53"
}
}
},
"id": "7a0c22ef-a677-463c-a7b1-e37d5226505e"
}
}
},
"caseTag": "42493a74727565000000000000000000",
"id": "d17f076b-0be8-4074-aaba-d0cf0766f9f9"
},
"caseHandler": {
"lamParamType": {
"id": "cdcfd4d9-c87c-5c47-8f04-56871536a4c3"
},
"lamVar": "716e73c02f6a62e26ccba321145eb5e7",
"id": "77908446-c095-4efa-9689-3d9340a92d4f",
"lamBody": {
"lamParamType": {
"id": "294643f6-2491-5bcb-ac7d-94c4d0654ace"
},
"lamVar": "a2cd2a6925f3c10933c620e725e0eb33",
"id": "c62bb675-9429-4c63-ac06-48abcee139ba",
"lamBody": {
"applyFunc": {
"var": "4fbc1a5652d4432b9e2a3ecf170dfdfa",
"id": "fecd11f6-cc76-4281-a1eb-bc3bc4e97123"
},
"applyArg": {
"extendVal": {
"var": "a2cd2a6925f3c10933c620e725e0eb33",
"id": "ab0c3d53-0ca8-43ee-aa13-87dea0dc3d60"
},
"extendTag": "42493a696e6669786c00000000000000",
"id": "d1e98c72-bb83-496b-9a4c-a0d71ccd496d",
"extendRest": {
"extendVal": {
"applyFunc": {
"getField": "42493a73746f70000000000000000000",
"id": "1d4f86a6-5942-5e97-9452-437ae5bf0d79"
},
"applyArg": {
"var": "74a6e3060d9c4616a4772c41fb748e31",
"id": "85074171-fa34-4ae8-9c5c-a755ce126101"
},
"id": "f8099b5d-2e52-4e08-9a0b-fb15ff6e6925"
},
"extendTag": "42493a696e6669787200000000000000",
"id": "692ea041-06f3-4036-9e2b-7a99a38d3b40",
"extendRest": {
"recEmpty": {},
"id": "340f8c55-8981-4647-a079-eaa94b3da9c1"
}
}
},
"id": "76960eb2-5faa-4421-87ab-073be41b387d"
}
}
},
"caseTag": "42493a66616c73650000000000000000",
"id": "7bfb2d2b-b310-4d97-9904-d05651ae9672"
},
"applyArg": {
"applyFunc": {
"fromNomId": "426f6f6c000000000000000000000000",
"id": "d27e65a4-9c00-5994-bf7e-eac298a6c2ce"
},
"applyArg": {
"applyFunc": {
"var": "4fbc1a5652d4432b9e2a3ecf170dfdfa",
"id": "781aa6c0-16e4-46a8-8e5c-3c848e35e4e8"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"getField": "39a1b2e147ca8085ca6078182775f99f",
"id": "27c6877e-69f2-5f62-b881-3f2c751b952a"
},
"applyArg": {
"var": "74a6e3060d9c4616a4772c41fb748e31",
"id": "91da84ab-c006-4954-b009-34ad6d5aed22"
},
"id": "f7cd96c2-a609-4578-aa9f-c61f6b767ea1"
},
"extendTag": "42493a696e6669786c00000000000000",
"id": "9711f0e8-781d-4eee-a3c4-7a44f8fd00c9",
"extendRest": {
"extendVal": {
"primBytes": "00000000000000000000000000",
"primId": "42493a666c6f61740000000000000000",
"id": "8dcf5382-0baa-4bd2-96ea-8e02bf7bab81"
},
"extendTag": "42493a696e6669787200000000000000",
"id": "7854d71f-092e-49de-89f7-41fe678c65be",
"extendRest": {
"recEmpty": {},
"id": "4f18debd-fda7-41ff-8ca9-ebc34b7a9d13"
}
}
},
"id": "1e2dd7d9-ab4f-4044-bf10-4a30799093ee"
},
"id": "96777d1b-8889-4d2f-b2e9-daf6bb7e297c"
},
"id": "0cab2989-e687-42c6-aedf-4360d1ce05ae"
},
"extendTag": "422b088a94926fd6bc76ae0f4cef6181",
"id": "dec08e87-6789-4eb6-86cc-8b12fb2c078d",
"extendRest": {
"recEmpty": {},
"id": "d16510f8-4345-468e-af95-2b692e187325"
}
}
},
"id": "e7718816-f049-41ac-9ba9-662de45e6fe6"
}
}
},
{
"tag": "7b468b19c1c3747eb28b554ddce080dd",
"defPresentationMode": "Verbose",
"def": "a2dc21b7c3b04474a4cd67135dd74e65",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "6e3336"
}
},
"nomId": "42493a73747265616d00000000000000",
"rowTag": "1b6990743fcc77560fdb139d1ac01a2c"
},
{
"funcParam": {
"record": []
},
"funcResult": {
"typeVar": "6c3431"
},
"rowTag": "520401f6286eba0f9d724ad242d48440"
},
{
"funcParam": {
"record": [
{
"funcParam": {
"record": []
},
"funcResult": {
"typeVar": "6c3431"
},
"rowTag": "db614bda416dc0b71a337eb49bee3565"
},
{
"typeVar": "6e3336",
"rowTag": "f5f4a4909a4091dbb5b3f9524b71fd18"
}
]
},
"funcResult": {
"typeVar": "6c3431"
},
"rowTag": "6c15f96848dfbcdafa7f239af12424b1"
}
]
},
"funcResult": {
"typeVar": "6c3431"
}
},
"typeVars": [
"6c3431",
"6e3336"
]
},
"frozenDeps": {
"defTypes": {
"0de3f3f9c1ce450590f76395c35fc113": {
"schemeType": {
"funcParam": {
"record": [
{
"typeVar": "61",
"rowTag": "42493a696e6669786c00000000000000"
},
{
"typeVar": "61",
"rowTag": "42493a696e6669787200000000000000"
}
]
},
"funcResult": {
"nomId": "426f6f6c000000000000000000000000"
}
},
"typeVars": [
"61"
]
}
},
"nominals": {
"42493a73747265616d00000000000000": {
"nomType": {
"schemeType": {
"variant": [
{
"record": [
{
"funcParam": {
"record": []
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "61000000000000000000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
},
"rowTag": "42493a7461696c000000000000000000"
},
{
"typeVar": "61000000000000000000000000000000",
"rowTag": "42493a68656164000000000000000000"
}
],
"rowTag": "42493a636f6e73000000000000000000"
},
{
"record": [],
"rowTag": "42493a6e696c00000000000000000000"
}
]
}
},
"typeVars": [
"61000000000000000000000000000000"
]
}
}
},
"val": {
"lamParamType": {
"record": [
{
"rowId": "4e9ea41c-0b76-52a6-8526-7bd02fb59cad",
"id": "fac205bd-c664-516b-9385-eee1b57aba46",
"rowTag": "1b6990743fcc77560fdb139d1ac01a2c"
},
{
"rowId": "a4cdea4c-bfc1-57ea-a233-b0e0cab904f1",
"id": "a6dda950-736a-5d81-9e63-9bda06d8d23c",
"rowTag": "520401f6286eba0f9d724ad242d48440"
},
{
"rowId": "b9469b42-459e-50b0-adc9-d393d91755d5",
"id": "9551c48a-d6b9-56a4-892d-613943532fb4",
"rowTag": "6c15f96848dfbcdafa7f239af12424b1"
},
{
"rowId": "2828afae-2b7f-5602-8930-fcf387f24b14"
}
],
"id": "6c95f403-993b-57f2-ae38-59112cf73e1b"
},
"lamVar": "6e148f894023463d9e6780b0a83bb6a8",
"id": "7289631e-d01b-4065-b358-bdff7762e8c4",
"lamBody": {
"applyFunc": {
"caseRest": {
"caseRest": {
"id": "e7c024df-5bb1-4ed7-a339-f8684f6c46c3",
"absurd": {}
},
"caseHandler": {
"lamParamType": {
"id": "93c18e61-5944-55c5-a4fc-e82455ce391b"
},
"lamVar": "ad99e12e98040caca968cdd9fc88ced3",
"id": "aa537943-489d-4f88-be3c-5da81d9d89c7",
"lamBody": {
"applyFunc": {
"applyFunc": {
"getField": "6c15f96848dfbcdafa7f239af12424b1",
"id": "5f83c535-80a0-53e7-acb5-af341a7470ee"
},
"applyArg": {
"var": "6e148f894023463d9e6780b0a83bb6a8",
"id": "97421c75-2ffd-4e8d-97d0-4dbfce3c6140"
},
"id": "560dc81a-822c-4f1a-9eec-ca4a90e2d5d6"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"getField": "42493a68656164000000000000000000",
"id": "11d2a8b5-2712-5ae4-a0b2-276cd679d2ea"
},
"applyArg": {
"var": "ad99e12e98040caca968cdd9fc88ced3",
"id": "cff7198a-6d98-4a82-814f-081c55738bd0"
},
"id": "cdf34de9-8766-4a1b-bf3b-0e3a10f0f6c3"
},
"extendTag": "f5f4a4909a4091dbb5b3f9524b71fd18",
"id": "fd6d72bd-7460-454f-8141-04cc34f2846a",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "c4e5507d-e349-550b-823f-146406bd683e"
},
"lamVar": "405356a9d7355f593846fd60fd34eaea",
"id": "9f00c19f-0912-4cef-a31f-7d4ea27ecc66",
"lamBody": {
"applyFunc": {
"lamParamType": {
"id": "f60cc525-18b1-53b6-92d6-e90d8f26ea18"
},
"lamVar": "eb0fba00eb3e4b96a6225f658a0ba1ef",
"id": "aa7d4521-841f-4765-9e0c-04276a12847b",
"lamBody": {
"applyFunc": {
"var": "a2dc21b7c3b04474a4cd67135dd74e65",
"id": "8db034f3-d9d4-45e3-9978-20fe58a0eea7"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"applyFunc": {
"getField": "42493a7461696c000000000000000000",
"id": "4d88ea89-8cfc-5f98-b47d-1f5493448409"
},
"applyArg": {
"var": "ad99e12e98040caca968cdd9fc88ced3",
"id": "3a3d33a0-f18f-448c-962b-5d8f7e4192c3"
},
"id": "522794c9-0c27-4b68-b380-8ecae98f807c"
},
"applyArg": {
"recEmpty": {},
"id": "66f78ea1-616b-4af2-8ed9-030208656809"
},
"id": "6418b20d-d9c1-4461-b7a3-0520133bb67f"
},
"extendTag": "1b6990743fcc77560fdb139d1ac01a2c",
"id": "5a8803df-d53e-4b07-9ce9-06c7d750c7e7",
"extendRest": {
"extendVal": {
"applyFunc": {
"getField": "520401f6286eba0f9d724ad242d48440",
"id": "34755597-41c4-5a3b-8c71-ac94b563e2d9"
},
"applyArg": {
"var": "6e148f894023463d9e6780b0a83bb6a8",
"id": "fc18d9ce-2464-4614-8554-9307002057d2"
},
"id": "0efcdb05-bd7c-48a0-9b72-6d4520881314"
},
"extendTag": "520401f6286eba0f9d724ad242d48440",
"id": "3cb11d03-7db1-4839-9a97-128bdf7a9154",
"extendRest": {
"extendVal": {
"applyFunc": {
"getField": "6c15f96848dfbcdafa7f239af12424b1",
"id": "af8bfdd2-6885-5af3-b711-ea9abd77b82b"
},
"applyArg": {
"var": "6e148f894023463d9e6780b0a83bb6a8",
"id": "f7cb7766-3af9-4378-86cd-c368ce689e6c"
},
"id": "f0c0f750-0ee2-4daf-bfe9-fa79cf671d09"
},
"extendTag": "6c15f96848dfbcdafa7f239af12424b1",
"id": "e354be65-21b8-4af5-9d8e-6b4ead253498",
"extendRest": {
"recEmpty": {},
"id": "402ce9f1-5fa1-4043-ab38-cb329139c2f9"
}
}
}
},
"id": "9a29b9ef-4008-49ce-b556-0018521bd848"
}
},
"applyArg": {
"applyFunc": {
"var": "0de3f3f9c1ce450590f76395c35fc113",
"id": "5f4371ce-7920-454a-855f-acab608fe4e5"
},
"applyArg": {
"extendVal": {
"var": "405356a9d7355f593846fd60fd34eaea",
"id": "7d72b837-e502-48f4-b4b8-8408c2fd3df1"
},
"extendTag": "42493a696e6669786c00000000000000",
"id": "b6c2e4fc-5512-49a5-a470-7a9c604b0e67",
"extendRest": {
"extendVal": {
"recEmpty": {},
"id": "6d59e54c-a2d6-478b-ac08-ef0fbd23ecd0"
},
"extendTag": "42493a696e6669787200000000000000",
"id": "bc49b599-69b7-467d-b9a8-fcfd62dccc1f",
"extendRest": {
"recEmpty": {},
"id": "9bf08eea-2c17-40cb-a734-01a35cc0e025"
}
}
},
"id": "a7135d31-f985-4a18-a1a7-620814e2d248"
},
"id": "65359902-2dee-438b-b47d-79e4c366175e"
}
},
"extendTag": "db614bda416dc0b71a337eb49bee3565",
"id": "5ea18753-1ad7-4c04-a2f9-e3cfc0d11115",
"extendRest": {
"recEmpty": {},
"id": "cd39f1b5-3caa-4c66-b34e-7df608e1d899"
}
}
},
"id": "b8ba68a6-46eb-42b3-8a36-ae07997de117"
}
},
"caseTag": "42493a636f6e73000000000000000000",
"id": "b2154424-fe91-45da-8cad-4f56421ecb17"
},
"caseHandler": {
"applyFunc": {
"getField": "520401f6286eba0f9d724ad242d48440",
"id": "a4dc7301-8789-5a5d-8906-3e1317a93682"
},
"applyArg": {
"var": "6e148f894023463d9e6780b0a83bb6a8",
"id": "fc16a9f0-c4d5-44f9-95c7-2ebec20c59b2"
},
"id": "e1153195-bd21-4923-b000-d5a790a0f034"
},
"caseTag": "42493a6e696c00000000000000000000",
"id": "91b43e22-67e3-48c8-b09b-09ad529624a0"
},
"applyArg": {
"applyFunc": {
"fromNomId": "42493a73747265616d00000000000000",
"id": "ccfa5244-94c2-55f8-baff-fd801f45c269"
},
"applyArg": {
"applyFunc": {
"getField": "1b6990743fcc77560fdb139d1ac01a2c",
"id": "dbc929e5-2cb8-5b9e-a5b4-578d906fd16a"
},
"applyArg": {
"var": "6e148f894023463d9e6780b0a83bb6a8",
"id": "8ce50718-7594-4ebb-9541-e1bdb149300a"
},
"id": "e4e680d5-8f8d-4f74-9587-b22343475d7e"
},
"id": "47f6d5ab-c9df-4e71-8fcd-12f962ea3427"
},
"id": "487496ad-c31e-442c-bda4-6679c6451ca8"
}
}
},
{
"tag": "a318c24216defe206feeb73ef5be0003",
"defPresentationMode": {
"Operator": [
"42493a696e6669786c00000000000000",
"42493a696e6669787200000000000000"
]
},
"builtin": [
"Prelude",
"+"
],
"def": "acb176a8b8764d2f8092176df7895169",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a696e6669786c00000000000000"
},
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a696e6669787200000000000000"
}
]
},
"funcResult": {
"nomId": "42493a666c6f61740000000000000000"
}
}
}
},
{
"tag": "14da4a48c950f08de381a3a5a6f882c3",
"defPresentationMode": "Verbose",
"def": "b0e4096bebd144ecb58b4645e51a965c",
"typ": {
"schemeType": {
"funcParam": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "693131"
},
"42493a76616c00000000000000000000": {
"typeVar": "6939"
}
},
"nomId": "42493a53540000000000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "693131"
},
"42493a76616c00000000000000000000": {
"record": []
}
},
"nomId": "42493a53540000000000000000000000"
}
},
"typeVars": [
"693131",
"6939"
]
},
"frozenDeps": {
"defTypes": {
"39ef52561170446083b20ac9472847fb": {
"schemeType": {
"funcParam": {
"typeVar": "61"
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a53540000000000000000000000"
}
},
"typeVars": [
"61",
"73"
]
},
"a2dc21b7c3b04474a4cd67135dd74e65": {
"schemeType": {
"funcParam": {
"record": [
{
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "6e3336"
}
},
"nomId": "42493a73747265616d00000000000000",
"rowTag": "1b6990743fcc77560fdb139d1ac01a2c"
},
{
"funcParam": {
"record": []
},
"funcResult": {
"typeVar": "6c3431"
},
"rowTag": "520401f6286eba0f9d724ad242d48440"
},
{
"funcParam": {
"record": [
{
"funcParam": {
"record": []
},
"funcResult": {
"typeVar": "6c3431"
},
"rowTag": "db614bda416dc0b71a337eb49bee3565"
},
{
"typeVar": "6e3336",
"rowTag": "f5f4a4909a4091dbb5b3f9524b71fd18"
}
]
},
"funcResult": {
"typeVar": "6c3431"
},
"rowTag": "6c15f96848dfbcdafa7f239af12424b1"
}
]
},
"funcResult": {
"typeVar": "6c3431"
}
},
"typeVars": [
"6c3431",
"6e3336"
]
},
"ddff8d584f6f4cd1906000aad6b44819": {
"schemeType": {
"funcParam": {
"record": [
{
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a53540000000000000000000000",
"rowTag": "42493a696e6669786c00000000000000"
},
{
"funcParam": {
"typeVar": "61"
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "62"
}
},
"nomId": "42493a53540000000000000000000000"
},
"rowTag": "42493a696e6669787200000000000000"
}
]
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "62"
}
},
"nomId": "42493a53540000000000000000000000"
}
},
"typeVars": [
"61",
"62",
"73"
]
}
}
},
"val": {
"lamParamType": {
"id": "265208d5-be88-5714-a907-27befce4ce68"
},
"lamVar": "0a92cc6fbb6a48e7bf0c9f14182b2922",
"id": "d1cbc50b-0718-462f-bf9b-29f88230d903",
"lamBody": {
"applyFunc": {
"var": "a2dc21b7c3b04474a4cd67135dd74e65",
"id": "7f59eb07-c837-428c-8a97-a7d9f790b75c"
},
"applyArg": {
"extendVal": {
"var": "0a92cc6fbb6a48e7bf0c9f14182b2922",
"id": "3daa3535-986a-4e17-9cb4-d310475ab75b"
},
"extendTag": "1b6990743fcc77560fdb139d1ac01a2c",
"id": "cba18969-cd34-423c-8d7c-2c1499d0ec5d",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "654af0f9-13bf-58f4-8ce2-06326880cdac"
},
"lamVar": "0f0b9f62d48240aca7ad3cef9c9d2cf6",
"id": "0e790834-0468-4998-99dc-3ae228f629de",
"lamBody": {
"applyFunc": {
"var": "39ef52561170446083b20ac9472847fb",
"id": "de459fb1-4323-4b10-bc39-b6074ec063c7"
},
"applyArg": {
"recEmpty": {},
"id": "7a16d752-a8d1-41a3-9837-ccbf8fb64bc3"
},
"id": "5207ab94-75a5-475f-856e-4d7571f36341"
}
},
"extendTag": "520401f6286eba0f9d724ad242d48440",
"id": "dc8c117c-1aaf-45c9-902b-ab3cb45d2a89",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "00b866d5-cb60-5df2-a6cd-d0fc73381210"
},
"lamVar": "21554afd36ac369289856f4b6eb928f7",
"id": "4a7908b4-cf41-4ed5-999f-b9eae8ec2489",
"lamBody": {
"applyFunc": {
"var": "ddff8d584f6f4cd1906000aad6b44819",
"id": "f73c0c9c-608a-47c6-9cfa-73960c31f24d"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"getField": "f5f4a4909a4091dbb5b3f9524b71fd18",
"id": "6b81ac7c-641f-5524-8e4f-de032a008baf"
},
"applyArg": {
"var": "21554afd36ac369289856f4b6eb928f7",
"id": "b5a91f39-44d7-4956-b619-0a532d55ce92"
},
"id": "95b507e6-2bf0-488e-a09c-2c577d9eae4a"
},
"extendTag": "42493a696e6669786c00000000000000",
"id": "a6df4719-419b-4cef-a1e2-04618b9c2e8e",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "2082a998-bda1-5507-ad23-f85b8d817476"
},
"lamVar": "1221d50f083658cdea5cdb237c5b62af",
"id": "0ccb54f9-48c6-48ae-a96b-58f12e1c1991",
"lamBody": {
"applyFunc": {
"applyFunc": {
"getField": "db614bda416dc0b71a337eb49bee3565",
"id": "fff4bc73-0320-507a-969c-2f6ca6ceabeb"
},
"applyArg": {
"var": "21554afd36ac369289856f4b6eb928f7",
"id": "b5346015-2f09-4275-9976-b031166b2399"
},
"id": "3e23b364-7500-4ef8-92af-97fd8c8a371f"
},
"applyArg": {
"recEmpty": {},
"id": "df5e46a9-3065-431f-8694-6126dc7d1c44"
},
"id": "5357e3b3-843e-4701-a33d-b3e0ac75a158"
}
},
"extendTag": "42493a696e6669787200000000000000",
"id": "cb9a467a-abcb-4d8c-a1a0-b6a4c50ad291",
"extendRest": {
"recEmpty": {},
"id": "806aaadb-db86-42f2-a6e7-5b9a937b2a7a"
}
}
},
"id": "ad5c12a3-403b-4cef-b7a6-f2d805e074d4"
}
},
"extendTag": "6c15f96848dfbcdafa7f239af12424b1",
"id": "b6004fa6-1df0-4c29-8c6b-18591df53611",
"extendRest": {
"recEmpty": {},
"id": "b9bc2160-6289-488e-9fa0-e6e5723c1623"
}
}
}
},
"id": "d3d45d1b-ee59-4c82-8a4c-2d86b9826891"
}
}
},
{
"tag": "31c480342399e473e4752c2d4f9d490e",
"defPresentationMode": "Verbose",
"def": "d08c86d919c24cc8aa512e734534f965",
"typ": {
"schemeType": {
"funcParam": {
"nomId": "42493a62797465730000000000000000"
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"nomId": "42493a666c6f61740000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
}
}
},
"frozenDeps": {
"defTypes": {
"193690a42fe14ab78610b96346c4b244": {
"schemeType": {
"funcParam": {
"record": [
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a73746172740000000000000000"
},
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a73746f70000000000000000000"
}
]
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"nomId": "42493a666c6f61740000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
}
}
},
"3a1a9681ed2d426bb220a4e674fb9325": {
"schemeType": {
"funcParam": {
"record": [
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a696e6465780000000000000000"
},
{
"nomId": "42493a62797465730000000000000000",
"rowTag": "42493a6f626a65637400000000000000"
}
]
},
"funcResult": {
"nomId": "42493a666c6f61740000000000000000"
}
}
},
"fc9c0edef06e449fb73fc681f43cf9d4": {
"schemeType": {
"funcParam": {
"nomId": "42493a62797465730000000000000000"
},
"funcResult": {
"nomId": "42493a666c6f61740000000000000000"
}
}
},
"03eb545fa78c48a7947fef4d3e496e99": {
"schemeType": {
"funcParam": {
"record": [
{
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "613134"
}
},
"nomId": "42493a73747265616d00000000000000",
"rowTag": "1b6990743fcc77560fdb139d1ac01a2c"
},
{
"funcParam": {
"typeVar": "613134"
},
"funcResult": {
"typeVar": "6e3130"
},
"rowTag": "69b9a1d0263f75cb50e2a06aceaa0a20"
}
]
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "6e3130"
}
},
"nomId": "42493a73747265616d00000000000000"
}
},
"typeVars": [
"613134",
"6e3130"
]
}
}
},
"val": {
"lamParamType": {
"id": "255e0533-265d-55cf-ac00-30b586c7a49f"
},
"lamVar": "bb4b269af77c42528fa37f15cb14530e",
"id": "05725bb6-f090-486b-a69b-598cdcc1982f",
"lamBody": {
"applyFunc": {
"lamParamType": {
"id": "7d8a7ae8-3ef3-5551-b996-0a3d7eda2caf"
},
"lamVar": "0314e84a850f436db2f1257e44e7d92a",
"id": "031bc3b4-4b54-42fa-aa69-608eb0136e8c",
"lamBody": {
"applyFunc": {
"var": "03eb545fa78c48a7947fef4d3e496e99",
"id": "1d0e5a64-8f38-4898-90a7-62d5f4b4a987"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"var": "193690a42fe14ab78610b96346c4b244",
"id": "c0c72c42-68ca-49e0-8bf8-a0df04de0e65"
},
"applyArg": {
"extendVal": {
"primBytes": "00000000000000000000000000",
"primId": "42493a666c6f61740000000000000000",
"id": "668a728c-0f23-4943-ad20-19106f3ff5e4"
},
"extendTag": "42493a73746172740000000000000000",
"id": "da13b3b2-10dd-4f43-aa9c-764ec10f60ec",
"extendRest": {
"extendVal": {
"var": "0314e84a850f436db2f1257e44e7d92a",
"id": "1d75d007-e1b3-45e4-9a9f-6e94e1167177"
},
"extendTag": "42493a73746f70000000000000000000",
"id": "d0c22b6e-511e-4d2e-99c4-a5e1abc3549e",
"extendRest": {
"recEmpty": {},
"id": "dead1801-e242-41df-bd84-54e6be124b4c"
}
}
},
"id": "e6045271-a08f-47f1-895d-29c1f3c09c33"
},
"extendTag": "1b6990743fcc77560fdb139d1ac01a2c",
"id": "403b0f00-3938-4a40-87d7-cb4ad5df281c",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "027309b6-3642-5103-870c-a603f9a96322"
},
"lamVar": "1dd0ba3148e61b540e505dd036cbafac",
"id": "87c60fd1-e8c7-4878-b8cd-b3de1017174f",
"lamBody": {
"applyFunc": {
"var": "3a1a9681ed2d426bb220a4e674fb9325",
"id": "3884c585-cd3b-4567-940f-0245c1ca86cf"
},
"applyArg": {
"extendVal": {
"var": "bb4b269af77c42528fa37f15cb14530e",
"id": "bdb589ac-81c6-4500-a80d-d37791048e21"
},
"extendTag": "42493a6f626a65637400000000000000",
"id": "8cd9b48a-5440-4a1c-a417-e374a935ee2a",
"extendRest": {
"extendVal": {
"var": "1dd0ba3148e61b540e505dd036cbafac",
"id": "da253869-696c-47a0-9475-f76072a34b39"
},
"extendTag": "42493a696e6465780000000000000000",
"id": "6b322f47-7ab6-4ac4-8fe6-66dd44b5f529",
"extendRest": {
"recEmpty": {},
"id": "4d11abb2-3904-4bac-a6ca-4d879e7c99c6"
}
}
},
"id": "1b0774b8-be93-4548-ba0b-bb1148bfcc71"
}
},
"extendTag": "69b9a1d0263f75cb50e2a06aceaa0a20",
"id": "d143bcbc-3e08-4182-abba-898f771c6851",
"extendRest": {
"recEmpty": {},
"id": "2d186e9e-8610-43eb-8692-8cf8cd8a0b79"
}
}
},
"id": "75aaf538-74fb-4507-aa0a-ac1e50f9c176"
}
},
"applyArg": {
"applyFunc": {
"var": "fc9c0edef06e449fb73fc681f43cf9d4",
"id": "b79fd200-15cb-4aff-95a1-df4a42d391e7"
},
"applyArg": {
"var": "bb4b269af77c42528fa37f15cb14530e",
"id": "b2aca882-6a60-4045-afd5-5bf495f6c25f"
},
"id": "f62783bd-d875-4d1d-ac01-ce67e59f9639"
},
"id": "a3ea22bd-9a40-4e3a-b37c-37e62c01e7e2"
}
}
},
{
"tag": "41b805ea7ac014e23556e98bb374702a",
"defPresentationMode": {
"Operator": [
"42493a696e6669786c00000000000000",
"42493a696e6669787200000000000000"
]
},
"builtin": [
"Mut",
"bind"
],
"def": "ddff8d584f6f4cd1906000aad6b44819",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "61"
}
},
"nomId": "42493a53540000000000000000000000",
"rowTag": "42493a696e6669786c00000000000000"
},
{
"funcParam": {
"typeVar": "61"
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "62"
}
},
"nomId": "42493a53540000000000000000000000"
},
"rowTag": "42493a696e6669787200000000000000"
}
]
},
"funcResult": {
"nomTypeArgs": {
"73000000000000000000000000000000": {
"typeVar": "73"
},
"42493a76616c00000000000000000000": {
"typeVar": "62"
}
},
"nomId": "42493a53540000000000000000000000"
}
},
"typeVars": [
"61",
"62",
"73"
]
}
},
{
"tag": "d1905cf90af29a5ac3f99e105830eecc",
"defPresentationMode": {
"Operator": [
"1b6990743fcc77560fdb139d1ac01a2c",
"422b088a94926fd6bc76ae0f4cef6181"
]
},
"def": "ef15e9ece99a44fc9a41740a570f3fc9",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "6e32"
}
},
"nomId": "42493a73747265616d00000000000000",
"rowTag": "1b6990743fcc77560fdb139d1ac01a2c"
},
{
"funcParam": {
"typeVar": "6e32"
},
"funcResult": {
"nomId": "426f6f6c000000000000000000000000"
},
"rowTag": "422b088a94926fd6bc76ae0f4cef6181"
}
]
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "6e32"
}
},
"nomId": "42493a73747265616d00000000000000"
}
},
"typeVars": [
"6e32"
]
},
"frozenDeps": {
"nominals": {
"42493a73747265616d00000000000000": {
"nomType": {
"schemeType": {
"variant": [
{
"record": [
{
"funcParam": {
"record": []
},
"funcResult": {
"nomTypeArgs": {
"61000000000000000000000000000000": {
"typeVar": "61000000000000000000000000000000"
}
},
"nomId": "42493a73747265616d00000000000000"
},
"rowTag": "42493a7461696c000000000000000000"
},
{
"typeVar": "61000000000000000000000000000000",
"rowTag": "42493a68656164000000000000000000"
}
],
"rowTag": "42493a636f6e73000000000000000000"
},
{
"record": [],
"rowTag": "42493a6e696c00000000000000000000"
}
]
}
},
"typeVars": [
"61000000000000000000000000000000"
]
},
"426f6f6c000000000000000000000000": {
"nomType": {
"schemeType": {
"variant": [
{
"record": [],
"rowTag": "42493a66616c73650000000000000000"
},
{
"record": [],
"rowTag": "42493a74727565000000000000000000"
}
]
}
}
}
}
},
"val": {
"lamParamType": {
"record": [
{
"rowId": "827797e5-9d9e-537d-8369-5fbf22dd82fb",
"id": "b966125c-d4b3-56fa-9e61-cdafae4e5f51",
"rowTag": "1b6990743fcc77560fdb139d1ac01a2c"
},
{
"rowId": "73f42083-831f-51ca-ab7a-4ae0248f1a29",
"id": "88db8a07-078d-5186-8ae1-f2e80d9236ab",
"rowTag": "422b088a94926fd6bc76ae0f4cef6181"
},
{
"rowId": "127f162d-3ea4-5b64-be3f-4629d6f17db9"
}
],
"id": "18be09c4-4556-5182-b1dd-93f7e82ceef3"
},
"lamVar": "7390ee26df434de3a7bc66c1dee85a76",
"id": "47f3e870-b327-4665-8340-a0817ce92d4a",
"lamBody": {
"toNomVal": {
"applyFunc": {
"caseRest": {
"caseRest": {
"id": "d63d39c9-9ced-4f9c-a15f-29b99080194f",
"absurd": {}
},
"caseHandler": {
"lamParamType": {
"id": "cf808baa-debc-5ff1-927d-ec823dc815ec"
},
"lamVar": "6e31b08504eb7467d49519b1b689df1a",
"id": "3d7ae70c-20f9-4f62-94b8-6eac034ae865",
"lamBody": {
"applyFunc": {
"caseRest": {
"caseRest": {
"id": "ad0328b7-1b70-4f70-80b4-c81df31055ae",
"absurd": {}
},
"caseHandler": {
"lamParamType": {
"id": "3bf2be72-cd19-54b9-aeb7-803096f36f12"
},
"lamVar": "70317f8368b0bbdcb4abc62b3b9c5998",
"id": "ebe89ac5-876e-4264-abbe-5543f9d4d0e9",
"lamBody": {
"applyFunc": {
"inject": "42493a6e696c00000000000000000000",
"id": "14a4193f-a0df-5761-8f0e-1159578c6c66"
},
"applyArg": {
"recEmpty": {},
"id": "9d99419b-a6da-4af7-93f1-fc2a886b69b3"
},
"id": "1594b995-e5de-4059-bd7b-123bd4e12c02"
}
},
"caseTag": "42493a66616c73650000000000000000",
"id": "3751ec64-72ee-4627-a30a-30cc388bbdbb"
},
"caseHandler": {
"lamParamType": {
"id": "589b8884-a120-531d-910d-c4c24ba54c77"
},
"lamVar": "5512f0458aa89d18dd6c830c0ed60dc6",
"id": "cb01b839-daf5-4af4-8e80-0aa9b7b42149",
"lamBody": {
"applyFunc": {
"inject": "42493a636f6e73000000000000000000",
"id": "d4ab2d7e-bd89-5b6a-974a-db32d6c02b26"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"getField": "42493a68656164000000000000000000",
"id": "26a69459-1724-540c-89ce-00d04b1eccc1"
},
"applyArg": {
"var": "6e31b08504eb7467d49519b1b689df1a",
"id": "5042c474-c19c-41bc-b6cd-6452cf6c5e9e"
},
"id": "0dd6e5c1-7ccd-4a85-a1ad-fe2920654177"
},
"extendTag": "42493a68656164000000000000000000",
"id": "cd2f6893-1f5c-4d1c-83b5-aed886e90baf",
"extendRest": {
"extendVal": {
"lamParamType": {
"id": "87cab53e-3f52-50aa-953c-c8480b65dba7"
},
"lamVar": "2d8789c4addf25ba07adecbb1f3bd3a5",
"id": "11deb7e6-b767-4829-8606-fe38c23684b9",
"lamBody": {
"applyFunc": {
"var": "ef15e9ece99a44fc9a41740a570f3fc9",
"id": "5c6d11b9-62f8-4c74-9adc-19466e2430d7"
},
"applyArg": {
"extendVal": {
"applyFunc": {
"applyFunc": {
"getField": "42493a7461696c000000000000000000",
"id": "085edcfd-a8f8-5526-88d9-c4ea5f38d7bf"
},
"applyArg": {
"var": "6e31b08504eb7467d49519b1b689df1a",
"id": "6f720179-9067-48ac-a172-1432b0a2b7fe"
},
"id": "41da14cc-8524-4901-a542-dba0e9288a1c"
},
"applyArg": {
"recEmpty": {},
"id": "7df0607f-1c83-4632-bd21-187908605f72"
},
"id": "804ed3b6-60fe-43f2-964e-804c6c5ceb94"
},
"extendTag": "1b6990743fcc77560fdb139d1ac01a2c",
"id": "761dff3e-8c0e-4cd5-8dbc-f22b23bacfcb",
"extendRest": {
"extendVal": {
"applyFunc": {
"getField": "422b088a94926fd6bc76ae0f4cef6181",
"id": "5b40cc3c-9a84-5368-afc1-eb8aa12f0a06"
},
"applyArg": {
"var": "7390ee26df434de3a7bc66c1dee85a76",
"id": "9f07f2dd-b163-48d0-99e0-74d8dc97b91c"
},
"id": "abce06f2-fbc5-46f6-8c6a-b39a3c7f48d7"
},
"extendTag": "422b088a94926fd6bc76ae0f4cef6181",
"id": "3ffa824b-6522-4ee9-a969-d15066e4adb3",
"extendRest": {
"recEmpty": {},
"id": "0c900d55-e6a9-4d1e-8433-a3c44b97e738"
}
}
},
"id": "edbe52b6-5375-4f76-a110-ced60653a9e5"
}
},
"extendTag": "42493a7461696c000000000000000000",
"id": "6ed29d29-6d52-4ea3-9ea4-49b57a57fc9b",
"extendRest": {
"recEmpty": {},
"id": "4f8f37e3-3afa-4cbd-947f-e8c8fd123437"
}
}
},
"id": "59cbdc72-d71f-4be4-a006-f42ae70ea68c"
}
},
"caseTag": "42493a74727565000000000000000000",
"id": "f818d037-568a-4bc4-8f5b-2e7b53d57ca3"
},
"applyArg": {
"applyFunc": {
"fromNomId": "426f6f6c000000000000000000000000",
"id": "2bd07118-ee29-5577-8e08-88214d626867"
},
"applyArg": {
"applyFunc": {
"applyFunc": {
"getField": "422b088a94926fd6bc76ae0f4cef6181",
"id": "32ba7fb6-2e4d-595d-a1ba-54f6409994a2"
},
"applyArg": {
"var": "7390ee26df434de3a7bc66c1dee85a76",
"id": "1dc1ca21-dafe-43a5-8ec6-b443bdb9e869"
},
"id": "7b3e4eec-db69-415e-af2d-593f05e1199f"
},
"applyArg": {
"applyFunc": {
"getField": "42493a68656164000000000000000000",
"id": "3b481802-1d27-515a-865f-94d26bd28e7e"
},
"applyArg": {
"var": "6e31b08504eb7467d49519b1b689df1a",
"id": "fe3b1eef-3397-46ab-9b7b-084a7126cc66"
},
"id": "76c50bec-324a-4816-b6bc-e1b10aabec44"
},
"id": "02034635-9257-43b6-a075-80106219e6c2"
},
"id": "e2087a22-ab69-4480-8789-b5c54f4c0e0b"
},
"id": "388ac081-138d-4b3b-b98f-2c7c6c5674d6"
}
},
"caseTag": "42493a636f6e73000000000000000000",
"id": "0cf035e0-4329-420a-bb97-14f99715a1e8"
},
"caseHandler": {
"lamParamType": {
"id": "34420630-a448-58a2-9854-bb55729cc0b6"
},
"lamVar": "2337014a6d0e323518182c367a0e60a3",
"id": "f39d51b6-51f2-43fb-b23f-be49397c3d2b",
"lamBody": {
"applyFunc": {
"inject": "42493a6e696c00000000000000000000",
"id": "084d92a5-bc14-519c-978d-d953595188e6"
},
"applyArg": {
"recEmpty": {},
"id": "c6b5c5c5-cb19-426b-a314-08a56da11853"
},
"id": "b2485dc8-1d65-456c-bdce-f1f5b04b3df4"
}
},
"caseTag": "42493a6e696c00000000000000000000",
"id": "12e4614c-7cad-4c10-876d-2b302fec6774"
},
"applyArg": {
"applyFunc": {
"fromNomId": "42493a73747265616d00000000000000",
"id": "b9f5b2c8-660e-5245-a943-d60ce52df536"
},
"applyArg": {
"applyFunc": {
"getField": "1b6990743fcc77560fdb139d1ac01a2c",
"id": "3853b8a0-c9f8-5c2d-b7f8-ce2cb873fe67"
},
"applyArg": {
"var": "7390ee26df434de3a7bc66c1dee85a76",
"id": "c1153916-1f11-4a35-843c-528bd56486a0"
},
"id": "86592de5-bcf0-4455-aa6e-c7857be83dbc"
},
"id": "ac38ea23-e571-4dfc-b199-a75c2e77b417"
},
"id": "908fa9a9-9fac-4a05-8be9-f984a22b1430"
},
"toNomId": "42493a73747265616d00000000000000",
"id": "cf0423ec-4ef6-4a00-aa68-5d97a6660102"
}
}
},
{
"tag": "7f6d1a340e5b4f0bbda9313680f5d6a8",
"defPresentationMode": "Verbose",
"def": "f6686e03f8fd4ed4a95e1e58eebc1e46",
"typ": {
"schemeType": {
"funcParam": {
"record": [
{
"nomId": "42493a74657874000000000000000000",
"rowTag": "15c7e7857025b2fd744386ffdddf3c6d"
},
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "a482d03b55284b52a7e3ec697de265f0"
}
]
},
"funcResult": {
"nomId": "42493a74657874000000000000000000"
}
}
},
"frozenDeps": {
"defTypes": {
"7d90c2bbc5704d85b22da7fc67ffad46": {
"schemeType": {
"funcParam": {
"record": [
{
"funcParam": {
"nomId": "42493a666c6f61740000000000000000"
},
"funcResult": {
"nomId": "42493a666c6f61740000000000000000"
},
"rowTag": "252f10c83610ebca1a059c0bae8255eb"
},
{
"nomId": "42493a62797465730000000000000000",
"rowTag": "9d2ea8044c2c29b27fe0398afec9ac40"
}
]
},
"funcResult": {
"nomId": "42493a62797465730000000000000000"
}
}
},
"acb176a8b8764d2f8092176df7895169": {
"schemeType": {
"funcParam": {
"record": [
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a696e6669786c00000000000000"
},
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "42493a696e6669787200000000000000"
}
]
},
"funcResult": {
"nomId": "42493a666c6f61740000000000000000"
}
}
}
},
"nominals": {
"42493a74657874000000000000000000": {
"nomType": {
"schemeType": {
"nomId": "42493a62797465730000000000000000"
}
}
}
}
},
"val": {
"lamParamType": {
"record": [
{
"rowId": "360e31d2-6196-44a6-a292-532aee4b9e5e",
"id": "ca2c1188-9d4b-4099-8a88-230c17a4acde",
"rowTag": "15c7e7857025b2fd744386ffdddf3c6d"
},
{
"rowId": "93815c53-28a0-43d0-8473-e16160f20f8a",
"id": "538c8620-cacf-47dc-ac60-58c3208be294",
"rowTag": "a482d03b55284b52a7e3ec697de265f0"
},
{
"rowId": "100a9a6f-38d5-45ab-992f-285ef8130c72"
}
],
"id": "495561ae-234d-4eab-b26e-0155a4353ef1"
},
"lamVar": "a9f6e1503e1a40c2bcffbc28a4717af0",
"id": "b55a0aa1-eb1d-44e5-8418-28169d47394c",
"lamBody": {
"toNomVal": {
"applyFunc": {
"var": "7d90c2bbc5704d85b22da7fc67ffad46",
"id": "cdd2ea7d-b6f0-448b-b078-45c0ca79bafe"
},
"applyArg": {
"extendVal": {
"lamParamType": {
"id": "dd4e1a11-eefb-470a-b99d-d74104dd0727"
},
"lamVar": "d3f6150681b647098356414ddaf796bb",
"id": "263dec9e-2970-4701-bb91-ce02a1ee10e0",
"lamBody": {
"applyFunc": {
"var": "acb176a8b8764d2f8092176df7895169",
"id": "ac6a7b91-1de4-449a-9f80-4fb5c4c39af3"
},
"applyArg": {
"extendVal": {
"var": "d3f6150681b647098356414ddaf796bb",
"id": "2bc40fe0-b3cb-486c-95b2-d5a6754bcfb4"
},
"extendTag": "42493a696e6669786c00000000000000",
"id": "6ce40a32-9536-4d52-97b5-86c8c4a091f5",
"extendRest": {
"extendVal": {
"applyFunc": {
"getField": "a482d03b55284b52a7e3ec697de265f0",
"id": "21de72c4-8dc1-4ef2-acc3-cbca209cd4ce"
},
"applyArg": {
"var": "a9f6e1503e1a40c2bcffbc28a4717af0",
"id": "bf7826d6-23da-4f67-988e-51e65655ab2c"
},
"id": "7bd9f068-4841-46f8-aa1a-8bfb6350594e"
},
"extendTag": "42493a696e6669787200000000000000",
"id": "d61e5b30-6124-4907-a610-8141e7350ad5",
"extendRest": {
"recEmpty": {},
"id": "f3bb2a02-6e94-4721-9f12-a5d54710961c"
}
}
},
"id": "5bb37eba-3903-4100-a641-e83e104bc92b"
}
},
"extendTag": "252f10c83610ebca1a059c0bae8255eb",
"id": "b8a44899-64b0-4f88-897e-841325926eb3",
"extendRest": {
"extendVal": {
"applyFunc": {
"fromNomId": "42493a74657874000000000000000000",
"id": "dc06501e-1b0e-4ed4-97e3-f0992fd743f5"
},
"applyArg": {
"applyFunc": {
"getField": "15c7e7857025b2fd744386ffdddf3c6d",
"id": "205e895f-7abd-4dc3-ac82-c6248ae2d92d"
},
"applyArg": {
"var": "a9f6e1503e1a40c2bcffbc28a4717af0",
"id": "a02f08c1-a46d-4ef8-bdc9-95b9845fe4ec"
},
"id": "31088674-08f1-4c3d-a65b-2cfa7dff3bdf"
},
"id": "06f9d3bc-2c2c-4c50-afb3-eccd3fab7569"
},
"extendTag": "9d2ea8044c2c29b27fe0398afec9ac40",
"id": "f99158df-f94e-4481-9d1e-0ff18e45402b",
"extendRest": {
"recEmpty": {},
"id": "88b8a287-4cbf-43bb-8428-2ca9a86dad07"
}
}
},
"id": "6d6b4244-210c-461d-8351-951f82c9eb76"
},
"toNomId": "42493a74657874000000000000000000",
"id": "e195bd12-4d84-4abc-92d1-84153a319475"
}
}
},
{
"tag": "0f82aca66af91493b1ff401de5f1f7e3",
"defPresentationMode": "Verbose",
"builtin": [
"Bytes",
"length"
],
"def": "fc9c0edef06e449fb73fc681f43cf9d4",
"typ": {
"schemeType": {
"funcParam": {
"nomId": "42493a62797465730000000000000000"
},
"funcResult": {
"nomId": "42493a666c6f61740000000000000000"
}
}
}
},
{
"repl": {
"frozenDeps": {
"defTypes": {
"f6686e03f8fd4ed4a95e1e58eebc1e46": {
"schemeType": {
"funcParam": {
"record": [
{
"nomId": "42493a74657874000000000000000000",
"rowTag": "15c7e7857025b2fd744386ffdddf3c6d"
},
{
"nomId": "42493a666c6f61740000000000000000",
"rowTag": "a482d03b55284b52a7e3ec697de265f0"
}
]
},
"funcResult": {
"nomId": "42493a74657874000000000000000000"
}
}
}
},
"nominals": {
"42493a74657874000000000000000000": {
"nomType": {
"schemeType": {
"nomId": "42493a62797465730000000000000000"
}
}
}
}
},
"val": {
"applyFunc": {
"var": "f6686e03f8fd4ed4a95e1e58eebc1e46",
"id": "22463f9d-7ddf-43ad-a12e-aa9984bea0cf"
},
"applyArg": {
"extendVal": {
"toNomVal": {
"primBytes": "48656c6c6f20776f726c64",
"primId": "42493a62797465730000000000000000",
"id": "d3d5c54e-1804-4fa7-8feb-d7b5c35d9a6f"
},
"toNomId": "42493a74657874000000000000000000",
"id": "bd0959bd-9fff-4912-881f-ed9a7824e314"
},
"extendTag": "15c7e7857025b2fd744386ffdddf3c6d",
"id": "48068331-0f20-4069-aee1-0a623c7ee9ac",
"extendRest": {
"extendVal": {
"primBytes": "0101000000000000000700000000000010ffffffffffffffcc",
"primId": "42493a666c6f61740000000000000000",
"id": "9409d21a-393f-4aba-acd8-a6babb62961c"
},
"extendTag": "a482d03b55284b52a7e3ec697de265f0",
"id": "671c33bc-7a4d-42c2-9a86-a42d54c09045",
"extendRest": {
"recEmpty": {},
"id": "3024660a-db2a-4260-aa51-bdd7965072ac"
}
}
},
"id": "97acfb62-2c99-4ab6-89b9-e6d8090ee5f0"
}
}
}
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment