From e5b9f844dac547a8404bc186e9204bcb32627c90 Mon Sep 17 00:00:00 2001 From: Grigory Buteyko Date: Thu, 27 Jun 2024 23:30:34 +0300 Subject: [PATCH] gitignores, add determnistic tlo json --- .gitignore | 4 +- internal/tlcodegen/test/.gitignore | 4 +- .../test/gen/cases/tlgen2_version.txt | 4 +- .../tlcodegen/test/gen/goldmaster.tlo.json | 10002 ++++++++++++++++ 4 files changed, 10008 insertions(+), 6 deletions(-) create mode 100644 internal/tlcodegen/test/gen/goldmaster.tlo.json diff --git a/.gitignore b/.gitignore index 05492a05..584eaeed 100644 --- a/.gitignore +++ b/.gitignore @@ -24,6 +24,4 @@ go.work /.tmp /.idea - -/internal/tlcodegen/test/gen/test_cpp -internal/tlcodegen/test/gen/cpp/ \ No newline at end of file +/.run diff --git a/internal/tlcodegen/test/.gitignore b/internal/tlcodegen/test/.gitignore index 25eedafb..bc8fbbf9 100644 --- a/internal/tlcodegen/test/.gitignore +++ b/internal/tlcodegen/test/.gitignore @@ -1,3 +1,5 @@ **.tlo -**.tlo.json \ No newline at end of file + +/gen/test_cpp +/gen/cpp/ \ No newline at end of file diff --git a/internal/tlcodegen/test/gen/cases/tlgen2_version.txt b/internal/tlcodegen/test/gen/cases/tlgen2_version.txt index 25699bbb..e431bfc0 100644 --- a/internal/tlcodegen/test/gen/cases/tlgen2_version.txt +++ b/internal/tlcodegen/test/gen/cases/tlgen2_version.txt @@ -1,4 +1,4 @@ tlgen version: (devel) -schema url: -schema commit: +schema url: +schema commit: schema version: 0 (1970-01-01 00:00:00 +0000 UTC) diff --git a/internal/tlcodegen/test/gen/goldmaster.tlo.json b/internal/tlcodegen/test/gen/goldmaster.tlo.json new file mode 100644 index 00000000..2abf20d7 --- /dev/null +++ b/internal/tlcodegen/test/gen/goldmaster.tlo.json @@ -0,0 +1,10002 @@ +{ + "version": 301822800, + "date": 301822800, + "types_num": 98, + "types": [ + { + "name": 1885708031, + "id": "#" + }, + { + "name": 95479040, + "id": "Aaa", + "constructors_num": 1, + "arity": 3, + "params_type": 1 + }, + { + "name": 621535874, + "id": "Bool", + "constructors_num": 2, + "flags": 16 + }, + { + "name": -932709661, + "id": "CycleTuple", + "constructors_num": 1 + }, + { + "name": 525099407, + "id": "Dictionary", + "constructors_num": 1, + "arity": 1 + }, + { + "name": 525099408, + "id": "DictionaryAny", + "constructors_num": 1, + "arity": 2 + }, + { + "name": -1499628080, + "id": "DictionaryElem", + "constructors_num": 1, + "arity": 2 + }, + { + "name": -474859428, + "id": "DictionaryElemStrange", + "constructors_num": 1, + "arity": 1 + }, + { + "name": -428276410, + "id": "DictionaryElemUgly", + "constructors_num": 1, + "arity": 3, + "params_type": 1 + }, + { + "name": 597433186, + "id": "DictionaryField", + "constructors_num": 1, + "arity": 1 + }, + { + "name": 742631003, + "id": "DictionaryFieldAny", + "constructors_num": 1, + "arity": 2 + }, + { + "name": 1685969653, + "id": "HalfStr", + "constructors_num": 1 + }, + { + "name": 313217561, + "id": "Hren", + "constructors_num": 1 + }, + { + "name": 995351427, + "id": "Inner", + "constructors_num": 1, + "arity": 1, + "params_type": 1 + }, + { + "name": 175979422, + "id": "InnerMaybe", + "constructors_num": 1, + "arity": 1, + "params_type": 1 + }, + { + "name": -1471112230, + "id": "Int", + "constructors_num": 1, + "flags": 1 + }, + { + "name": 2033510175, + "id": "Int32", + "constructors_num": 1 + }, + { + "name": -178217504, + "id": "Int64", + "constructors_num": 1 + }, + { + "name": 570911930, + "id": "Long", + "constructors_num": 1, + "flags": 1 + }, + { + "name": 403670147, + "id": "Maybe", + "constructors_num": 2, + "flags": 16, + "arity": 1 + }, + { + "name": -1000901060, + "id": "MaybeTest1", + "constructors_num": 1 + }, + { + "name": 1915982020, + "id": "MaybeWrapper", + "constructors_num": 1, + "arity": 2, + "params_type": 2 + }, + { + "name": 236644382, + "id": "MultiPoint", + "constructors_num": 1 + }, + { + "name": -1168514735, + "id": "MyInt32", + "constructors_num": 1 + }, + { + "name": 496360349, + "id": "MyInt64", + "constructors_num": 1 + }, + { + "name": -972285119, + "id": "MyNat", + "constructors_num": 1 + }, + { + "name": -194624090, + "id": "MyNat2", + "constructors_num": 2, + "flags": 16 + }, + { + "name": 2031512020, + "id": "MyNat3", + "constructors_num": 2, + "flags": 16 + }, + { + "name": 877518672, + "id": "NativeWrappers", + "constructors_num": 1 + }, + { + "name": 980583204, + "id": "NoStr", + "constructors_num": 1 + }, + { + "name": 255608747, + "id": "Pair", + "constructors_num": 1, + "arity": 2 + }, + { + "name": 842905150, + "id": "Replace", + "constructors_num": 1 + }, + { + "name": -1981103046, + "id": "Replace1", + "constructors_num": 1, + "arity": 1, + "params_type": 1 + }, + { + "name": -58593272, + "id": "Replace10", + "constructors_num": 1 + }, + { + "name": -1084668698, + "id": "Replace11", + "constructors_num": 1, + "arity": 2, + "params_type": 1 + }, + { + "name": -334360428, + "id": "Replace12", + "constructors_num": 1 + }, + { + "name": -957346959, + "id": "Replace13", + "constructors_num": 1, + "arity": 2, + "params_type": 1 + }, + { + "name": 194511353, + "id": "Replace14", + "constructors_num": 1, + "arity": 2, + "params_type": 1 + }, + { + "name": 578872368, + "id": "Replace15", + "constructors_num": 1 + }, + { + "name": -194012261, + "id": "Replace17", + "constructors_num": 1 + }, + { + "name": 1884149522, + "id": "Replace18", + "constructors_num": 1 + }, + { + "name": -489362450, + "id": "Replace2", + "constructors_num": 1 + }, + { + "name": 1373840612, + "id": "Replace3", + "constructors_num": 1 + }, + { + "name": -2019991628, + "id": "Replace4", + "constructors_num": 1, + "arity": 1, + "params_type": 1 + }, + { + "name": -1956919414, + "id": "Replace5", + "constructors_num": 1 + }, + { + "name": -1412129530, + "id": "Replace6", + "constructors_num": 1 + }, + { + "name": -188322401, + "id": "Replace7", + "constructors_num": 1 + }, + { + "name": -702103273, + "id": "Replace8", + "constructors_num": 1 + }, + { + "name": -1781163835, + "id": "Replace9", + "constructors_num": 1 + }, + { + "name": -1255641564, + "id": "String", + "constructors_num": 1, + "flags": 1 + }, + { + "name": -2003693936, + "id": "TestMaybe", + "constructors_num": 1 + }, + { + "name": 178273522, + "id": "TestMaybe2", + "constructors_num": 1 + }, + { + "name": 1072550713, + "id": "True", + "constructors_num": 1 + }, + { + "name": -1754237302, + "id": "Tuple", + "constructors_num": 1, + "arity": 2, + "params_type": 2 + }, + { + "name": 753727511, + "id": "Type" + }, + { + "name": 360084417, + "id": "TypeA", + "constructors_num": 1 + }, + { + "name": -1660794878, + "id": "TypeB", + "constructors_num": 1 + }, + { + "name": 1804530751, + "id": "TypeC", + "constructors_num": 1 + }, + { + "name": -1309395298, + "id": "TypeD", + "constructors_num": 1 + }, + { + "name": 1948344786, + "id": "UnionArgsUse", + "constructors_num": 1 + }, + { + "name": -1975952621, + "id": "UnionArgsXXX", + "constructors_num": 2, + "flags": 16, + "arity": 2, + "params_type": 2 + }, + { + "name": -73603049, + "id": "UseDictUgly", + "constructors_num": 1 + }, + { + "name": 174320735, + "id": "UseResponse", + "constructors_num": 1 + }, + { + "name": -1700536603, + "id": "UseStr", + "constructors_num": 1 + }, + { + "name": 481674261, + "id": "Vector", + "constructors_num": 1, + "arity": 1 + }, + { + "name": -516647077, + "id": "a.Color", + "constructors_num": 5, + "flags": 16 + }, + { + "name": -330266183, + "id": "a.Inner", + "constructors_num": 1, + "arity": 1, + "params_type": 1 + }, + { + "name": -1352783084, + "id": "a.Middle", + "constructors_num": 1, + "arity": 3, + "params_type": 1 + }, + { + "name": 3, + "id": "a.MyBool", + "constructors_num": 2, + "flags": 16 + }, + { + "name": 2013781617, + "id": "a.MyUnion", + "constructors_num": 2, + "flags": 16 + }, + { + "name": 1887621519, + "id": "a.Top2", + "constructors_num": 1 + }, + { + "name": -849334171, + "id": "ab.CounterChangeRequestPeriods", + "constructors_num": 2, + "flags": 16 + }, + { + "name": -521573242, + "id": "ab.MyType", + "constructors_num": 1 + }, + { + "name": 1895666273, + "id": "ab.Response", + "constructors_num": 4, + "flags": 16 + }, + { + "name": 1303136554, + "id": "ab.TestMaybe", + "constructors_num": 1 + }, + { + "name": -428093912, + "id": "ab.TopLevel1", + "constructors_num": 1 + }, + { + "name": -822529029, + "id": "ab.TopLevel2", + "constructors_num": 1 + }, + { + "name": -1449136278, + "id": "ab.TypeA", + "constructors_num": 1 + }, + { + "name": -13734568, + "id": "ab.TypeB", + "constructors_num": 1 + }, + { + "name": 1771179374, + "id": "ab.TypeC", + "constructors_num": 1 + }, + { + "name": 1986092017, + "id": "ab.TypeD", + "constructors_num": 1 + }, + { + "name": 1902670721, + "id": "ab.UseCycle", + "constructors_num": 1 + }, + { + "name": 858118276, + "id": "ab.UseDictString", + "constructors_num": 1 + }, + { + "name": -357128524, + "id": "cd.MyType", + "constructors_num": 1 + }, + { + "name": 1557252745, + "id": "cd.TopLevel3", + "constructors_num": 1 + }, + { + "name": -1473140448, + "id": "cd.TypeA", + "constructors_num": 1 + }, + { + "name": 930826646, + "id": "cd.TypeB", + "constructors_num": 1 + }, + { + "name": -619736108, + "id": "cd.TypeC", + "constructors_num": 1 + }, + { + "name": -1252883835, + "id": "cd.TypeD", + "constructors_num": 1 + }, + { + "name": 1859550368, + "id": "cd.UseCycle", + "constructors_num": 1 + }, + { + "name": 326028446, + "id": "cyc1.MyCycle", + "constructors_num": 1 + }, + { + "name": -73011509, + "id": "cyc2.MyCycle", + "constructors_num": 1 + }, + { + "name": 1199990880, + "id": "cyc3.MyCycle", + "constructors_num": 1 + }, + { + "name": 597193292, + "id": "service5.Output", + "constructors_num": 2, + "flags": 16 + }, + { + "name": 597193292, + "id": "service5Long.Output", + "constructors_num": 2, + "flags": 16 + }, + { + "name": -460035702, + "id": "usefulService.GetUserEntityResult", + "constructors_num": 1, + "arity": 1, + "params_type": 1 + }, + { + "name": 1333364352, + "id": "usefulService.UserEntityPaymentItem", + "constructors_num": 1, + "arity": 1, + "params_type": 1 + }, + { + "name": 617082015, + "id": "usefulService.UserEntityPaymentItemPromo", + "constructors_num": 1, + "arity": 1, + "params_type": 1 + } + ], + "constructor_num": 113, + "constructors": [ + { + "type": "tls.combinator_v4", + "value": { + "name": -1471112230, + "id": "int", + "type_name": -1471112230, + "left": { + "type": "tls.combinatorLeftBuiltin" + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 570911930, + "id": "long", + "type_name": 570911930, + "left": { + "type": "tls.combinatorLeftBuiltin" + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 570911930 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 2033510175, + "id": "int32", + "type_name": 2033510175, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 2033510175 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -178217504, + "id": "int64", + "type_name": -178217504, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": 570911930, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -178217504 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1255641564, + "id": "string", + "type_name": -1255641564, + "left": { + "type": "tls.combinatorLeftBuiltin" + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1168514735, + "id": "myInt32", + "type_name": -1168514735, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": 2033510175, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1168514735 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 496360349, + "id": "myInt64", + "type_name": 496360349, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -178217504, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 496360349 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 236644382, + "id": "multiPoint", + "type_name": 236644382, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 6, + "args": [ + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + }, + { + "id": "b", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230 + } + } + } + ] + } + } + }, + { + "id": "c", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": 2033510175, + "flags": 1 + } + } + } + ] + } + } + }, + { + "id": "d", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": 2033510175 + } + } + } + ] + } + } + }, + { + "id": "e", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1168514735, + "flags": 1 + } + } + } + ] + } + } + }, + { + "id": "f", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1168514735 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 236644382 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 877518672, + "id": "nativeWrappers", + "type_name": 877518672, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 6, + "args": [ + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230 + } + } + }, + { + "id": "c", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 2033510175, + "flags": 1 + } + } + }, + { + "id": "d", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 2033510175 + } + } + }, + { + "id": "e", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1168514735, + "flags": 1 + } + } + }, + { + "id": "f", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1168514735 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 877518672 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1132882121, + "id": "boolFalse", + "type_name": 621535874, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 621535874 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1720552011, + "id": "boolTrue", + "type_name": 621535874, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 621535874 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1, + "id": "a.myTrue", + "type_name": 3, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 3 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 2, + "id": "a.myFalse", + "type_name": 3, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 3 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 663947899, + "id": "resultFalse", + "type_name": 403670147, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "t", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1067224824, + "id": "resultTrue", + "type_name": 403670147, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "t", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "type": { + "type": "tls.typeVar", + "value": {} + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 255608747, + "id": "pair", + "type_name": 255608747, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 4, + "args": [ + { + "id": "X", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "Y", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeVar", + "value": {} + } + }, + { + "id": "b", + "type": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 481674261, + "id": "vector", + "type_name": 481674261, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "t", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "flags": 2, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeVar", + "value": {} + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 481674261, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1754237302, + "id": "tuple", + "type_name": -1754237302, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "t", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "n", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeVar", + "value": {} + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 597433186, + "id": "dictionaryField", + "type_name": 597433186, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "t", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "key", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + }, + { + "id": "value", + "type": { + "type": "tls.typeVar", + "value": {} + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 597433186, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 525099407, + "id": "dictionary", + "type_name": 525099407, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "t", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": 481674261, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 597433186, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + } + ] + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 525099407, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 742631003, + "id": "dictionaryFieldAny", + "type_name": 742631003, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 4, + "args": [ + { + "id": "k", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "v", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "key", + "type": { + "type": "tls.typeVar", + "value": {} + } + }, + { + "id": "value", + "type": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 742631003, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 525099408, + "id": "dictionaryAny", + "type_name": 525099408, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 4, + "args": [ + { + "id": "k", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "v", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "flags": 2, + "var_num": 2, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 2 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": 742631003, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 525099408, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1072550713, + "id": "true", + "type_name": 1072550713, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1072550713 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 980583204, + "id": "noStr", + "type_name": 980583204, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 980583204 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1700536603, + "id": "useStr", + "type_name": -1700536603, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1700536603 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1685969653, + "id": "halfStr", + "type_name": 1685969653, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 980583204, + "flags": 1 + } + } + }, + { + "id": "y", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1700536603, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1685969653 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -428093912, + "id": "ab.topLevel1", + "type_name": -428093912, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 980583204, + "flags": 1 + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 980583204, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -428093912 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -822529029, + "id": "ab.topLevel2", + "type_name": -822529029, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 980583204, + "flags": 1 + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1700536603, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -822529029 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1557252745, + "id": "cd.topLevel3", + "type_name": 1557252745, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1700536603, + "flags": 1 + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1685969653, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1557252745 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -330266183, + "id": "a.inner", + "type_name": -330266183, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "I", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -330266183, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1352783084, + "id": "a.middle", + "type_name": -1352783084, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 5, + "args": [ + { + "id": "W", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "P", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "Q", + "flags": 131075, + "var_num": 2, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -330266183, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 2 + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1352783084, + "children_num": 3, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 2 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1887621519, + "id": "a.top2", + "type_name": 1887621519, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "m", + "flags": 2, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "c", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1352783084, + "flags": 1, + "children_num": 3, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -330266183, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -330266183, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + ] + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -330266183, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natConst", + "value": { + "value": 3 + } + } + } + } + ] + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1887621519 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1915982020, + "id": "maybeWrapper", + "type_name": 1915982020, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "T", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "N", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1915982020, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -2003693936, + "id": "testMaybe", + "type_name": -2003693936, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 7, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230 + } + } + } + } + ] + } + } + }, + { + "id": "c", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 481674261, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + } + ] + } + } + }, + { + "id": "d", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natConst", + "value": { + "value": 3 + } + } + } + } + ] + } + } + } + } + ] + } + } + }, + { + "id": "e", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + ] + } + } + }, + { + "id": "f", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1915982020, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natConst", + "value": { + "value": 3 + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -2003693936 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -521573242, + "id": "ab.myType", + "type_name": -521573242, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -521573242 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -357128524, + "id": "cd.myType", + "type_name": -357128524, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -357128524 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 178273522, + "id": "testMaybe2", + "type_name": 178273522, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + }, + { + "id": "g", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -521573242, + "flags": 1 + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 178273522 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1303136554, + "id": "ab.testMaybe", + "type_name": 1303136554, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 5, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -521573242, + "flags": 1 + } + } + } + } + ] + } + } + }, + { + "id": "c", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -357128524, + "flags": 1 + } + } + } + } + ] + } + } + }, + { + "id": "d", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -521573242 + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1303136554 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 175979422, + "id": "innerMaybe", + "type_name": 175979422, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "X", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 175979422, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1000901060, + "id": "maybeTest1", + "type_name": -1000901060, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 11, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230 + } + } + } + } + ] + } + } + }, + { + "id": "c", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natConst", + "value": { + "value": 3 + } + } + } + } + ] + } + } + } + } + ] + } + } + }, + { + "id": "d", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natConst", + "value": { + "value": 3 + } + } + } + } + ] + } + } + } + } + ] + } + } + }, + { + "id": "e", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 175979422, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + }, + { + "id": "f", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 175979422, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natConst", + "value": {} + } + } + } + ] + } + } + }, + { + "id": "g", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 481674261, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + } + ] + } + } + }, + { + "id": "h", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 481674261, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + } + ] + } + } + }, + { + "id": "i", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natConst", + "value": { + "value": 3 + } + } + } + } + ] + } + } + } + } + ] + } + } + }, + { + "id": "j", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natConst", + "value": {} + } + } + } + ] + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1000901060 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -972285119, + "id": "myNat", + "type_name": -972285119, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "fields_mask", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": -972285119, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -972285119 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1920564359, + "id": "myZero", + "type_name": -194624090, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -194624090 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 2044774111, + "id": "myPlus", + "type_name": -194624090, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -194624090 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -194624090 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 272253135, + "id": "myZero3", + "type_name": 2031512020, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 2031512020 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1764501787, + "id": "myPlus3", + "type_name": 2031512020, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": 2031512020 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 2031512020 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -932709661, + "id": "cycleTuple", + "type_name": -932709661, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 4, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -932709661, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natConst", + "value": { + "value": 2 + } + } + } + } + ] + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -932709661, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + }, + { + "id": "c", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 2, + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -932709661 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 313217561, + "id": "hren", + "type_name": 313217561, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "next", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 313217561, + "flags": 1 + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 313217561 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 326028446, + "id": "cyc1.myCycle", + "type_name": 326028446, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "fields_mask", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": -73011509, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 326028446 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -73011509, + "id": "cyc2.myCycle", + "type_name": -73011509, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "fields_mask", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 1199990880, + "flags": 1 + } + } + } + } + ] + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -516647077 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -73011509 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1199990880, + "id": "cyc3.myCycle", + "type_name": 1199990880, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "fields_mask", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 481674261, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 326028446, + "flags": 1 + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1199990880 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1902670721, + "id": "ab.useCycle", + "type_name": 1902670721, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -73011509, + "flags": 1 + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 481674261, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -516647077 + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1902670721 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1859550368, + "id": "cd.useCycle", + "type_name": 1859550368, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -73011509, + "flags": 1 + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -516647077 + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1859550368 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 995351427, + "id": "inner", + "type_name": 995351427, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "X", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 995351427, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1981103046, + "id": "replace1", + "type_name": -1981103046, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "n", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1981103046, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -489362450, + "id": "replace2", + "type_name": -489362450, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -489362450 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1373840612, + "id": "replace3", + "type_name": 1373840612, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1373840612 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -2019991628, + "id": "replace4", + "type_name": -2019991628, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "n", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -2019991628, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1956919414, + "id": "replace5", + "type_name": -1956919414, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1956919414 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1412129530, + "id": "replace6", + "type_name": -1412129530, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1412129530 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -188322401, + "id": "replace7", + "type_name": -188322401, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "m", + "flags": 2, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -188322401 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -702103273, + "id": "replace8", + "type_name": -702103273, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -702103273 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1781163835, + "id": "replace9", + "type_name": -1781163835, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": 995351427, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + ] + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1781163835 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -58593272, + "id": "replace10", + "type_name": -58593272, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 2, + "args": [ + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -58593272 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1084668698, + "id": "replace11", + "type_name": -1084668698, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 4, + "args": [ + { + "id": "n", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "X", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "k", + "flags": 2, + "var_num": 2, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 2 + } + }, + "args_num": 2, + "args": [ + { + "id": "b", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 0, + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + ] + } + } + }, + { + "id": "c", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1084668698, + "children_num": 2, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -334360428, + "id": "replace12", + "type_name": -334360428, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 1, + "args": [ + { + "id": "a", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -334360428 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -957346959, + "id": "replace13", + "type_name": -957346959, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 4, + "args": [ + { + "id": "n", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "X", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "k", + "flags": 2, + "var_num": 2, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 2 + } + }, + "args_num": 2, + "args": [ + { + "id": "b", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 0, + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 2 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + ] + } + } + }, + { + "id": "c", + "flags": 4, + "exist_var_num": 2, + "exist_var_bit": 0, + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -957346959, + "children_num": 2, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 194511353, + "id": "replace14", + "type_name": 194511353, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 4, + "args": [ + { + "id": "n", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "X", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "k", + "flags": 2, + "var_num": 2, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 2 + } + }, + "args_num": 2, + "args": [ + { + "id": "b", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 0, + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natConst", + "value": { + "value": 3 + } + }, + "args_num": 2, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + }, + { + "id": "y", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 2 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + ] + } + } + } + ] + } + } + }, + { + "id": "c", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 194511353, + "children_num": 2, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 578872368, + "id": "replace15", + "type_name": 578872368, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 4, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 2, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + }, + { + "id": "y", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + }, + { + "id": "b", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 2, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 570911930, + "flags": 1 + } + } + }, + { + "id": "y", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 570911930, + "flags": 1 + } + } + } + ] + } + } + }, + { + "id": "c", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 3, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + }, + { + "id": "y", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + }, + { + "id": "z", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 578872368 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -194012261, + "id": "replace17", + "type_name": -194012261, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 5, + "args": [ + { + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "x", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + }, + { + "flags": 2, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "y", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -194012261 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1884149522, + "id": "replace18", + "type_name": 1884149522, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 2, + "args": [ + { + "flags": 2, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + }, + "args_num": 2, + "args": [ + { + "flags": 2, + "var_num": 2, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 2 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + } + } + ] + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1884149522 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 842905150, + "id": "replace", + "type_name": 842905150, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 18, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1981103046, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + }, + { + "id": "a1", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1981103046, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natConst", + "value": { + "value": 3 + } + } + } + } + ] + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -489362450, + "flags": 1 + } + } + }, + { + "id": "c", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1373840612, + "flags": 1 + } + } + }, + { + "id": "d", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -2019991628, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + }, + { + "id": "d1", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -2019991628, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natConst", + "value": { + "value": 3 + } + } + } + } + ] + } + } + }, + { + "id": "e", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1956919414, + "flags": 1 + } + } + }, + { + "id": "g", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1412129530, + "flags": 1 + } + } + }, + { + "id": "h", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -188322401, + "flags": 1 + } + } + }, + { + "id": "i", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -702103273, + "flags": 1 + } + } + }, + { + "id": "j", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1781163835, + "flags": 1 + } + } + }, + { + "id": "k", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -58593272, + "flags": 1 + } + } + }, + { + "id": "l", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1084668698, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 570911930, + "flags": 1 + } + } + } + } + ] + } + } + }, + { + "id": "m", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -334360428, + "flags": 1 + } + } + }, + { + "id": "o", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -957346959, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 570911930, + "flags": 1 + } + } + } + } + ] + } + } + }, + { + "id": "p", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 194511353, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 570911930, + "flags": 1 + } + } + } + } + ] + } + } + }, + { + "id": "q", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 578872368, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 842905150 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -409498473, + "id": "unionArgsXXX1", + "type_name": -1975952621, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "X", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "Y", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1975952621, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1840174980, + "id": "unionArgsXXX2", + "type_name": -1975952621, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "X", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "Y", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1975952621, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1948344786, + "id": "unionArgsUse", + "type_name": 1948344786, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 4, + "args": [ + { + "id": "k", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "n", + "flags": 2, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1975952621, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + }, + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1975952621, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 570911930, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1948344786 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1486477245, + "id": "a.uNionA", + "type_name": 2013781617, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "a", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 2013781617 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -547228110, + "id": "au.nionA", + "type_name": 2013781617, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "b", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 2013781617 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 516335166, + "id": "ab.empty", + "type_name": 1895666273, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1895666273 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1985065388, + "id": "ab.code", + "type_name": 1895666273, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1895666273 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1807045993, + "id": "ab.alias", + "type_name": 1895666273, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1895666273 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1944047772, + "id": "cd.response", + "type_name": 1895666273, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + }, + { + "id": "str", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1895666273 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 174320735, + "id": "useResponse", + "type_name": 174320735, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "x", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": {} + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1895666273 + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 174320735 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 346250624, + "id": "ab.counterChangeRequestPeriodsMany", + "type_name": -849334171, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "objects_peridos", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 481674261, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -849334171 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -641503771, + "id": "ab.counterChangeRequestPeriodsOne", + "type_name": -849334171, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "period", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 570911930, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -849334171 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -211977623, + "id": "a.color", + "type_name": -516647077, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -516647077 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1204129219, + "id": "a.red", + "type_name": -516647077, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -516647077 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1630005176, + "id": "a.green", + "type_name": -516647077, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -516647077 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1454958524, + "id": "b.red", + "type_name": -516647077, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -516647077 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1647534323, + "id": "a.blue", + "type_name": -516647077, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -516647077 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 617082015, + "id": "usefulService.userEntityPaymentItemPromo", + "type_name": 617082015, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "fields_mask", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "content", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 617082015, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1333364352, + "id": "usefulService.userEntityPaymentItem", + "type_name": 1333364352, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "fields_mask", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "id", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + }, + { + "id": "promo", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 617082015, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1333364352, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -460035702, + "id": "usefulService.getUserEntityResult", + "type_name": -460035702, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "fields_mask", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "entity_id", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + }, + { + "id": "payment_items", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 525099407, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 1333364352, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + ] + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -460035702, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -474859428, + "id": "dictionaryElemStrange", + "type_name": -474859428, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 3, + "args": [ + { + "id": "v", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "key", + "flags": 2, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "value", + "flags": 4, + "exist_var_num": 1, + "exist_var_bit": 31, + "type": { + "type": "tls.typeVar", + "value": {} + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -474859428, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -428276410, + "id": "dictionaryElemUgly", + "type_name": -428276410, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 5, + "args": [ + { + "id": "f", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "k", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "v", + "flags": 131075, + "var_num": 2, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "key", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 0, + "type": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + }, + { + "id": "value", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 1, + "type": { + "type": "tls.typeVar", + "value": { + "var_num": 2 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -428276410, + "children_num": 3, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 2 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1499628080, + "id": "dictionaryElem", + "type_name": -1499628080, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 4, + "args": [ + { + "id": "k", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "v", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "key", + "type": { + "type": "tls.typeVar", + "value": {} + } + }, + { + "id": "value", + "type": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1499628080, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + } + ] + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -73603049, + "id": "useDictUgly", + "type_name": -73603049, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 21, + "args": [ + { + "id": "n", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "flags": 2, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "a", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 1 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -428276410, + "flags": 1, + "children_num": 3, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + } + } + ] + } + } + } + ] + } + } + }, + { + "flags": 2, + "var_num": 2, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "b", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 2 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -474859428, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + } + } + ] + } + } + } + ] + } + } + }, + { + "flags": 2, + "var_num": 3, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "c", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 3 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1499628080, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + ] + } + } + }, + { + "flags": 2, + "var_num": 4, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "d", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 4 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1499628080, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1754237302, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + ] + } + } + }, + { + "flags": 2, + "var_num": 5, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "e", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 5 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1499628080, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 621535874 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -516647077 + } + } + } + } + ] + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + ] + } + } + }, + { + "flags": 2, + "var_num": 6, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "f", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 6 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1499628080, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -2108839134, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 571523412, + "flags": 1 + } + } + } + } + ] + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + ] + } + } + }, + { + "flags": 2, + "var_num": 7, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "g", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 7 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1499628080, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 236644382, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + } + } + ] + } + } + } + } + ] + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + ] + } + } + }, + { + "flags": 2, + "var_num": 8, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "x", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 8 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1499628080, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + } + ] + } + } + } + ] + } + } + }, + { + "flags": 2, + "var_num": 9, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "y", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 9 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1499628080, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 570911930, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + } + ] + } + } + } + ] + } + } + }, + { + "flags": 2, + "var_num": 10, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "z", + "type": { + "type": "tls.array", + "value": { + "multiplicity": { + "type": "tls.natVar", + "value": { + "var_num": 10 + } + }, + "args_num": 1, + "args": [ + { + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1499628080, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": 255608747, + "flags": 1, + "children_num": 2, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + } + ] + } + } + } + } + ] + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -73603049 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 858118276, + "id": "ab.useDictString", + "type_name": 858118276, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "fields_mask", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "tags", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 525099407, + "flags": 1, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + } + } + ] + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 858118276 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 360084417, + "id": "typeA", + "type_name": 360084417, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 360084417 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1660794878, + "id": "typeB", + "type_name": -1660794878, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1660794878 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1804530751, + "id": "typeC", + "type_name": 1804530751, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1449136278, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1804530751 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1309395298, + "id": "typeD", + "type_name": -1309395298, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1473140448, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1309395298 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1449136278, + "id": "ab.typeA", + "type_name": -1449136278, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1449136278 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -13734568, + "id": "ab.typeB", + "type_name": -13734568, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1449136278, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -13734568 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1771179374, + "id": "ab.typeC", + "type_name": 1771179374, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1473140448, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1771179374 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1986092017, + "id": "ab.typeD", + "type_name": 1986092017, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 360084417, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 1986092017 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1473140448, + "id": "cd.typeA", + "type_name": -1473140448, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1473140448 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 930826646, + "id": "cd.typeB", + "type_name": 930826646, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1449136278, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 930826646 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -619736108, + "id": "cd.typeC", + "type_name": -619736108, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1449136278, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -619736108 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1252883835, + "id": "cd.typeD", + "type_name": -1252883835, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 360084417, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1252883835 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -7373384, + "id": "service5.emptyOutput", + "type_name": 597193292, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 597193292 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -602468364, + "id": "service5.stringOutput", + "type_name": 597193292, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "http_code", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1471112230, + "flags": 1 + } + } + }, + { + "id": "response", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 597193292 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -7373383, + "id": "service5Long.emptyOutput", + "type_name": 597193292, + "left": { + "type": "tls.combinatorLeft", + "value": {} + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 597193292 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -602468363, + "id": "service5Long.stringOutput", + "type_name": 597193292, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "http_code", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 570911930, + "flags": 1 + } + } + }, + { + "id": "response", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 597193292 + } + } + } + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 95479040, + "id": "aaa", + "type_name": 95479040, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 11, + "args": [ + { + "id": "A", + "flags": 131075, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "T", + "flags": 131075, + "var_num": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "U", + "flags": 131075, + "var_num": 2, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 753727511 + } + } + }, + { + "id": "a", + "flags": 2, + "var_num": 3, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "B", + "flags": 2, + "var_num": 4, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "A0", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + }, + { + "id": "A1", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + }, + { + "id": "a0", + "flags": 4, + "exist_var_num": 3, + "exist_var_bit": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + }, + { + "id": "a1", + "flags": 4, + "exist_var_num": 3, + "exist_var_bit": 1, + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + }, + { + "id": "B0", + "flags": 4, + "exist_var_num": 4, + "exist_var_bit": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + }, + { + "id": "B1", + "flags": 4, + "exist_var_num": 4, + "exist_var_bit": 1, + "type": { + "type": "tls.typeVar", + "value": { + "var_num": 2 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 95479040, + "children_num": 3, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 1 + } + } + } + }, + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeVar", + "value": { + "var_num": 2 + } + } + } + } + ] + } + } + } + } + } + ], + "functions_num": 21, + "functions": [ + { + "type": "tls.combinator_v4", + "value": { + "name": 549845805, + "id": "ab.call1", + "type_name": -13734568, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1449136278, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -13734568 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 2010509399, + "id": "ab.call2", + "type_name": 930826646, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1449136278, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 930826646 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 168309829, + "id": "ab.call3", + "type_name": -1660794878, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1449136278, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1660794878 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1054733794, + "id": "ab.call4", + "type_name": -13734568, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1473140448, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -13734568 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 2074399373, + "id": "ab.call5", + "type_name": 930826646, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1473140448, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 930826646 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -2066213429, + "id": "ab.call6", + "type_name": -1660794878, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1473140448, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1660794878 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1189875903, + "id": "ab.call7", + "type_name": -13734568, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 360084417, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -13734568 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 461787865, + "id": "ab.call8", + "type_name": 930826646, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 360084417, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 930826646 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1977520236, + "id": "ab.call9", + "type_name": -1660794878, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 360084417, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1660794878 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -1490014276, + "id": "call1", + "type_name": -13734568, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1449136278, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -13734568 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -266328890, + "id": "call2", + "type_name": 930826646, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1449136278, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 930826646 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1791911704, + "id": "call3", + "type_name": -1660794878, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1449136278, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1660794878 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1188552335, + "id": "call4", + "type_name": -13734568, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1473140448, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -13734568 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -61798884, + "id": "call5", + "type_name": 930826646, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1473140448, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 930826646 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": -467777898, + "id": "call6", + "type_name": -1660794878, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1473140448, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1660794878 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 640304098, + "id": "call7", + "type_name": -13734568, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 360084417, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -13734568 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 2067792260, + "id": "call8", + "type_name": 930826646, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 360084417, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 930826646 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1738593837, + "id": "call9", + "type_name": -1660794878, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 1, + "args": [ + { + "id": "x", + "type": { + "type": "tls.typeExpr", + "value": { + "name": 360084417, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": -1660794878 + } + } + }, + "flags": 1 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 2096325306, + "id": "service5.insert", + "type_name": 597193292, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "flags", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "persistent", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1072550713, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 597193292 + } + } + }, + "flags": 3 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 2096325307, + "id": "service5Long.insert", + "type_name": 597193292, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "flags", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "persistent", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1072550713, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 597193292 + } + } + }, + "flags": 3 + } + }, + { + "type": "tls.combinator_v4", + "value": { + "name": 1015381586, + "id": "usefulService.getUserEntity", + "type_name": 403670147, + "left": { + "type": "tls.combinatorLeft", + "value": { + "args_num": 2, + "args": [ + { + "id": "fields_mask", + "flags": 2, + "var_num": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": 1885708031 + } + } + }, + { + "id": "stage_id", + "flags": 4, + "exist_var_num": 0, + "exist_var_bit": 0, + "type": { + "type": "tls.typeExpr", + "value": { + "name": -1255641564, + "flags": 1 + } + } + } + ] + } + }, + "right": { + "value": { + "type": "tls.typeExpr", + "value": { + "name": 403670147, + "children_num": 1, + "children": [ + { + "type": "tls.exprType", + "value": { + "expr": { + "type": "tls.typeExpr", + "value": { + "name": -460035702, + "children_num": 1, + "children": [ + { + "type": "tls.exprNat", + "value": { + "expr": { + "type": "tls.natVar", + "value": {} + } + } + } + ] + } + } + } + } + ] + } + } + }, + "flags": 3 + } + } + ] +} \ No newline at end of file