diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index 7aa45b3e..2c1c4088 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -383,7 +383,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps index 569cef33..5acb490c 100644 --- a/samples/fitch/languages/samples.fitch/models/types.mps +++ b/samples/fitch/languages/samples.fitch/models/types.mps @@ -212,7 +212,7 @@ - + @@ -266,7 +266,7 @@ - + @@ -431,7 +431,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index 82222cbc..bfc66a79 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -3709,7 +3709,7 @@ - + @@ -3789,7 +3789,7 @@ - + @@ -10662,11 +10662,8 @@ - - - - - + + @@ -10762,20 +10759,17 @@ - - - + + + - - - - - - - - + + + + + + - @@ -10882,7 +10876,7 @@ - + @@ -16167,16 +16161,13 @@ - - - - - - - - + + + + + + - @@ -16200,9 +16191,9 @@ - - - + + + @@ -16227,7 +16218,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps index 6e9fb394..8f1c84e9 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps @@ -16,6 +16,8 @@ + + @@ -263,14 +265,13 @@ - - - - + + + @@ -282,6 +283,7 @@ + @@ -2202,9 +2204,14 @@ - - - + + + + + + + + @@ -4124,7 +4131,7 @@ - + @@ -5887,11 +5894,8 @@ - - - - - + + @@ -6178,11 +6182,8 @@ - - - - - + + @@ -6302,8 +6303,8 @@ - - + + @@ -6313,8 +6314,8 @@ - - + + @@ -6322,6 +6323,12 @@ + + + + + + @@ -6343,6 +6350,9 @@ + + + @@ -6381,8 +6391,8 @@ - - + + @@ -6442,8 +6452,8 @@ - - + + @@ -6569,20 +6579,17 @@ - - - - - - - - - - + + + + + + + + - @@ -6626,6 +6633,12 @@ + + + + + + @@ -6645,11 +6658,18 @@ - - - - - + + + + + + + + + + + + @@ -6673,11 +6693,18 @@ - - - - - + + + + + + + + + + + + @@ -6701,11 +6728,18 @@ - - - - - + + + + + + + + + + + + @@ -6729,11 +6763,18 @@ - - - - - + + + + + + + + + + + + @@ -6757,11 +6798,18 @@ - - - - - + + + + + + + + + + + + @@ -6785,11 +6833,18 @@ - - - - - + + + + + + + + + + + + @@ -6813,11 +6868,18 @@ - - - - - + + + + + + + + + + + + @@ -6841,11 +6903,18 @@ - - - - - + + + + + + + + + + + + @@ -6869,11 +6938,18 @@ - - - - - + + + + + + + + + + + + @@ -6897,11 +6973,18 @@ - - - - - + + + + + + + + + + + + @@ -6925,11 +7008,18 @@ - - - - - + + + + + + + + + + + + @@ -6953,11 +7043,18 @@ - - - - - + + + + + + + + + + + + @@ -6981,11 +7078,18 @@ - - - - - + + + + + + + + + + + + @@ -7009,11 +7113,18 @@ - - - - - + + + + + + + + + + + + @@ -7037,11 +7148,18 @@ - - - - - + + + + + + + + + + + + @@ -7065,11 +7183,18 @@ - - - - - + + + + + + + + + + + + @@ -7093,11 +7218,18 @@ - - - - - + + + + + + + + + + + + @@ -7121,11 +7253,18 @@ - - - - - + + + + + + + + + + + + @@ -7149,11 +7288,18 @@ - - - - - + + + + + + + + + + + + @@ -7177,11 +7323,18 @@ - - - - - + + + + + + + + + + + + @@ -7205,11 +7358,18 @@ - - - - - + + + + + + + + + + + + @@ -7233,11 +7393,18 @@ - - - - - + + + + + + + + + + + + @@ -7261,11 +7428,18 @@ - - - - - + + + + + + + + + + + + @@ -7289,11 +7463,18 @@ - - - - - + + + + + + + + + + + + @@ -7317,11 +7498,18 @@ - - - - - + + + + + + + + + + + + @@ -7345,11 +7533,18 @@ - - - - - + + + + + + + + + + + + @@ -7373,11 +7568,18 @@ - - - - - + + + + + + + + + + + + @@ -7401,11 +7603,18 @@ - - - - - + + + + + + + + + + + + @@ -7429,11 +7638,18 @@ - - - - - + + + + + + + + + + + + @@ -7457,11 +7673,18 @@ - - - - - + + + + + + + + + + + + @@ -7485,11 +7708,18 @@ - - - - - + + + + + + + + + + + + @@ -7513,11 +7743,18 @@ - - - - - + + + + + + + + + + + + @@ -7541,11 +7778,18 @@ - - - - - + + + + + + + + + + + + @@ -7569,11 +7813,18 @@ - - - - - + + + + + + + + + + + + @@ -7597,11 +7848,18 @@ - - - - - + + + + + + + + + + + + @@ -7625,11 +7883,18 @@ - - - - - + + + + + + + + + + + + @@ -7653,11 +7918,18 @@ - - - - - + + + + + + + + + + + + @@ -7681,11 +7953,18 @@ - - - - - + + + + + + + + + + + + @@ -7709,11 +7988,18 @@ - - - - - + + + + + + + + + + + + @@ -7737,11 +8023,18 @@ - - - - - + + + + + + + + + + + + @@ -7765,11 +8058,18 @@ - - - - - + + + + + + + + + + + + @@ -7793,11 +8093,18 @@ - - - - - + + + + + + + + + + + + @@ -7821,11 +8128,18 @@ - - - - - + + + + + + + + + + + + @@ -7849,11 +8163,18 @@ - - - - - + + + + + + + + + + + + @@ -7877,11 +8198,18 @@ - - - - - + + + + + + + + + + + + @@ -7905,11 +8233,18 @@ - - - - - + + + + + + + + + + + + @@ -7933,11 +8268,18 @@ - - - - - + + + + + + + + + + + + @@ -7961,11 +8303,18 @@ - - - - - + + + + + + + + + + + + @@ -7989,11 +8338,18 @@ - - - - - + + + + + + + + + + + + @@ -8017,11 +8373,18 @@ - - - - - + + + + + + + + + + + + @@ -8045,11 +8408,18 @@ - - - - - + + + + + + + + + + + + @@ -8073,11 +8443,18 @@ - - - - - + + + + + + + + + + + + @@ -8101,11 +8478,18 @@ - - - - - + + + + + + + + + + + + @@ -8129,11 +8513,18 @@ - - - - - + + + + + + + + + + + + @@ -8157,11 +8548,18 @@ - - - - - + + + + + + + + + + + + @@ -8185,11 +8583,18 @@ - - - - - + + + + + + + + + + + + @@ -8213,11 +8618,18 @@ - - - - - + + + + + + + + + + + + @@ -8241,11 +8653,18 @@ - - - - - + + + + + + + + + + + + @@ -8269,11 +8688,18 @@ - - - - - + + + + + + + + + + + + @@ -8297,11 +8723,18 @@ - - - - - + + + + + + + + + + + + @@ -8325,11 +8758,18 @@ - - - - - + + + + + + + + + + + + @@ -8353,11 +8793,18 @@ - - - - - + + + + + + + + + + + + @@ -8381,11 +8828,18 @@ - - - - - + + + + + + + + + + + + @@ -8409,11 +8863,18 @@ - - - - - + + + + + + + + + + + + @@ -8437,11 +8898,18 @@ - - - - - + + + + + + + + + + + + @@ -8465,11 +8933,18 @@ - - - - - + + + + + + + + + + + + @@ -8493,11 +8968,18 @@ - - - - - + + + + + + + + + + + + @@ -8521,11 +9003,18 @@ - - - - - + + + + + + + + + + + + @@ -8549,11 +9038,18 @@ - - - - - + + + + + + + + + + + + @@ -8577,11 +9073,18 @@ - - - - - + + + + + + + + + + + + @@ -8605,11 +9108,18 @@ - - - - - + + + + + + + + + + + + @@ -8633,11 +9143,18 @@ - - - - - + + + + + + + + + + + + @@ -8661,11 +9178,18 @@ - - - - - + + + + + + + + + + + + @@ -8689,11 +9213,18 @@ - - - - - + + + + + + + + + + + + @@ -8717,11 +9248,18 @@ - - - - - + + + + + + + + + + + + @@ -8745,11 +9283,18 @@ - - - - - + + + + + + + + + + + + @@ -8773,11 +9318,18 @@ - - - - - + + + + + + + + + + + + @@ -8801,11 +9353,18 @@ - - - - - + + + + + + + + + + + + @@ -8829,11 +9388,18 @@ - - - - - + + + + + + + + + + + + @@ -8857,11 +9423,18 @@ - - - - - + + + + + + + + + + + + @@ -8885,11 +9458,18 @@ - - - - - + + + + + + + + + + + + @@ -8913,11 +9493,18 @@ - - - - - + + + + + + + + + + + + @@ -8941,11 +9528,18 @@ - - - - - + + + + + + + + + + + + @@ -8969,11 +9563,18 @@ - - - - - + + + + + + + + + + + + @@ -8997,11 +9598,18 @@ - - - - - + + + + + + + + + + + + @@ -9025,11 +9633,18 @@ - - - - - + + + + + + + + + + + + @@ -9053,11 +9668,18 @@ - - - - - + + + + + + + + + + + + @@ -9081,11 +9703,18 @@ - - - - - + + + + + + + + + + + + @@ -9109,11 +9738,18 @@ - - - - - + + + + + + + + + + + + @@ -9137,11 +9773,18 @@ - - - - - + + + + + + + + + + + + @@ -9165,11 +9808,18 @@ - - - - - + + + + + + + + + + + + @@ -9193,11 +9843,18 @@ - - - - - + + + + + + + + + + + + @@ -9221,11 +9878,18 @@ - - - - - + + + + + + + + + + + + @@ -9249,11 +9913,18 @@ - - - - - + + + + + + + + + + + + @@ -9277,11 +9948,18 @@ - - - - - + + + + + + + + + + + + @@ -9305,11 +9983,18 @@ - - - - - + + + + + + + + + + + + @@ -9333,11 +10018,18 @@ - - - - - + + + + + + + + + + + + @@ -9361,11 +10053,18 @@ - - - - - + + + + + + + + + + + + @@ -9389,11 +10088,18 @@ - - - - - + + + + + + + + + + + + @@ -9417,11 +10123,18 @@ - - - - - + + + + + + + + + + + + @@ -9445,11 +10158,18 @@ - - - - - + + + + + + + + + + + + @@ -9473,11 +10193,18 @@ - - - - - + + + + + + + + + + + + @@ -9501,11 +10228,18 @@ - - - - - + + + + + + + + + + + + @@ -9529,11 +10263,18 @@ - - - - - + + + + + + + + + + + + @@ -9557,11 +10298,18 @@ - - - - - + + + + + + + + + + + + @@ -9585,11 +10333,18 @@ - - - - - + + + + + + + + + + + + @@ -9613,11 +10368,18 @@ - - - - - + + + + + + + + + + + + @@ -9641,11 +10403,18 @@ - - - - - + + + + + + + + + + + + @@ -9669,11 +10438,18 @@ - - - - - + + + + + + + + + + + + @@ -9697,11 +10473,18 @@ - - - - - + + + + + + + + + + + + @@ -9725,11 +10508,18 @@ - - - - - + + + + + + + + + + + + @@ -9753,11 +10543,18 @@ - - - - - + + + + + + + + + + + + @@ -9781,11 +10578,18 @@ - - - - - + + + + + + + + + + + + @@ -9809,11 +10613,18 @@ - - - - - + + + + + + + + + + + + @@ -9837,11 +10648,18 @@ - - - - - + + + + + + + + + + + + @@ -9865,11 +10683,18 @@ - - - - - + + + + + + + + + + + + @@ -9893,11 +10718,18 @@ - - - - - + + + + + + + + + + + + @@ -9921,11 +10753,18 @@ - - - - - + + + + + + + + + + + + @@ -9949,11 +10788,18 @@ - - - - - + + + + + + + + + + + + @@ -9977,11 +10823,18 @@ - - - - - + + + + + + + + + + + + @@ -10005,11 +10858,18 @@ - - - - - + + + + + + + + + + + + @@ -10033,11 +10893,18 @@ - - - - - + + + + + + + + + + + + @@ -10061,11 +10928,18 @@ - - - - - + + + + + + + + + + + + @@ -10089,11 +10963,18 @@ - - - - - + + + + + + + + + + + + @@ -10117,11 +10998,18 @@ - - - - - + + + + + + + + + + + + @@ -10145,11 +11033,18 @@ - - - - - + + + + + + + + + + + + @@ -10173,11 +11068,18 @@ - - - - - + + + + + + + + + + + + @@ -10201,11 +11103,18 @@ - - - - - + + + + + + + + + + + + @@ -10229,11 +11138,18 @@ - - - - - + + + + + + + + + + + + @@ -10257,11 +11173,18 @@ - - - - - + + + + + + + + + + + + @@ -10285,11 +11208,18 @@ - - - - - + + + + + + + + + + + + @@ -10313,11 +11243,18 @@ - - - - - + + + + + + + + + + + + @@ -10341,11 +11278,18 @@ - - - - - + + + + + + + + + + + + @@ -10369,11 +11313,18 @@ - - - - - + + + + + + + + + + + + @@ -10397,11 +11348,18 @@ - - - - - + + + + + + + + + + + + @@ -10425,11 +11383,18 @@ - - - - - + + + + + + + + + + + + @@ -10453,11 +11418,18 @@ - - - - - + + + + + + + + + + + + @@ -10481,11 +11453,18 @@ - - - - - + + + + + + + + + + + + @@ -10509,11 +11488,18 @@ - - - - - + + + + + + + + + + + + @@ -10537,11 +11523,18 @@ - - - - - + + + + + + + + + + + + @@ -10565,11 +11558,18 @@ - - - - - + + + + + + + + + + + + @@ -10593,11 +11593,18 @@ - - - - - + + + + + + + + + + + + @@ -10621,11 +11628,18 @@ - - - - - + + + + + + + + + + + + @@ -10649,11 +11663,18 @@ - - - - - + + + + + + + + + + + + @@ -10677,11 +11698,18 @@ - - - - - + + + + + + + + + + + + @@ -10705,11 +11733,18 @@ - - - - - + + + + + + + + + + + + @@ -10733,11 +11768,18 @@ - - - - - + + + + + + + + + + + + @@ -10761,11 +11803,18 @@ - - - - - + + + + + + + + + + + + @@ -10789,11 +11838,18 @@ - - - - - + + + + + + + + + + + + @@ -10817,11 +11873,18 @@ - - - - - + + + + + + + + + + + + @@ -10845,11 +11908,18 @@ - - - - - + + + + + + + + + + + + @@ -10873,11 +11943,18 @@ - - - - - + + + + + + + + + + + + @@ -10901,11 +11978,18 @@ - - - - - + + + + + + + + + + + + @@ -10929,11 +12013,18 @@ - - - - - + + + + + + + + + + + + @@ -10957,11 +12048,18 @@ - - - - - + + + + + + + + + + + + @@ -10985,11 +12083,18 @@ - - - - - + + + + + + + + + + + + @@ -11013,11 +12118,18 @@ - - - - - + + + + + + + + + + + + @@ -11041,11 +12153,18 @@ - - - - - + + + + + + + + + + + + @@ -11069,11 +12188,18 @@ - - - - - + + + + + + + + + + + + @@ -11097,11 +12223,18 @@ - - - - - + + + + + + + + + + + + @@ -11125,11 +12258,18 @@ - - - - - + + + + + + + + + + + + @@ -11153,11 +12293,18 @@ - - - - - + + + + + + + + + + + + @@ -11181,11 +12328,18 @@ - - - - - + + + + + + + + + + + + @@ -11209,11 +12363,18 @@ - - - - - + + + + + + + + + + + + @@ -11237,11 +12398,18 @@ - - - - - + + + + + + + + + + + + @@ -11265,11 +12433,18 @@ - - - - - + + + + + + + + + + + + @@ -11293,11 +12468,18 @@ - - - - - + + + + + + + + + + + + @@ -11321,11 +12503,18 @@ - - - - - + + + + + + + + + + + + @@ -11349,11 +12538,18 @@ - - - - - + + + + + + + + + + + + @@ -11377,11 +12573,18 @@ - - - - - + + + + + + + + + + + + @@ -11405,11 +12608,18 @@ - - - - - + + + + + + + + + + + + @@ -11433,11 +12643,18 @@ - - - - - + + + + + + + + + + + + @@ -11461,11 +12678,18 @@ - - - - - + + + + + + + + + + + + @@ -11489,11 +12713,18 @@ - - - - - + + + + + + + + + + + + @@ -11517,11 +12748,18 @@ - - - - - + + + + + + + + + + + + @@ -11545,11 +12783,18 @@ - - - - - + + + + + + + + + + + + @@ -11573,11 +12818,18 @@ - - - - - + + + + + + + + + + + + @@ -11601,11 +12853,18 @@ - - - - - + + + + + + + + + + + + @@ -11629,11 +12888,18 @@ - - - - - + + + + + + + + + + + + @@ -11657,11 +12923,18 @@ - - - - - + + + + + + + + + + + + @@ -11685,11 +12958,18 @@ - - - - - + + + + + + + + + + + + @@ -11713,11 +12993,18 @@ - - - - - + + + + + + + + + + + + @@ -11741,11 +13028,18 @@ - - - - - + + + + + + + + + + + + @@ -11769,11 +13063,18 @@ - - - - - + + + + + + + + + + + + @@ -11797,11 +13098,18 @@ - - - - - + + + + + + + + + + + + @@ -11825,11 +13133,18 @@ - - - - - + + + + + + + + + + + + @@ -11853,11 +13168,18 @@ - - - - - + + + + + + + + + + + + @@ -11881,11 +13203,18 @@ - - - - - + + + + + + + + + + + + @@ -11909,11 +13238,18 @@ - - - - - + + + + + + + + + + + + @@ -11937,11 +13273,18 @@ - - - - - + + + + + + + + + + + + @@ -11965,11 +13308,18 @@ - - - - - + + + + + + + + + + + + @@ -11993,11 +13343,18 @@ - - - - - + + + + + + + + + + + + @@ -12021,11 +13378,18 @@ - - - - - + + + + + + + + + + + + @@ -12049,11 +13413,18 @@ - - - - - + + + + + + + + + + + + @@ -12077,11 +13448,18 @@ - - - - - + + + + + + + + + + + + @@ -12105,11 +13483,18 @@ - - - - - + + + + + + + + + + + + @@ -12133,11 +13518,18 @@ - - - - - + + + + + + + + + + + + @@ -12161,11 +13553,18 @@ - - - - - + + + + + + + + + + + + @@ -12189,11 +13588,18 @@ - - - - - + + + + + + + + + + + + @@ -12217,11 +13623,18 @@ - - - - - + + + + + + + + + + + + @@ -12245,11 +13658,18 @@ - - - - - + + + + + + + + + + + + @@ -12273,11 +13693,18 @@ - - - - - + + + + + + + + + + + + @@ -12301,11 +13728,18 @@ - - - - - + + + + + + + + + + + + @@ -12329,11 +13763,18 @@ - - - - - + + + + + + + + + + + + @@ -12357,11 +13798,18 @@ - - - - - + + + + + + + + + + + + @@ -12385,11 +13833,18 @@ - - - - - + + + + + + + + + + + + @@ -12413,11 +13868,18 @@ - - - - - + + + + + + + + + + + + @@ -12441,11 +13903,18 @@ - - - - - + + + + + + + + + + + + @@ -12469,11 +13938,18 @@ - - - - - + + + + + + + + + + + + @@ -12497,11 +13973,18 @@ - - - - - + + + + + + + + + + + + @@ -12525,11 +14008,18 @@ - - - - - + + + + + + + + + + + + @@ -12553,11 +14043,18 @@ - - - - - + + + + + + + + + + + + @@ -12581,11 +14078,18 @@ - - - - - + + + + + + + + + + + + @@ -12609,11 +14113,18 @@ - - - - - + + + + + + + + + + + + @@ -12637,11 +14148,18 @@ - - - - - + + + + + + + + + + + + @@ -12665,11 +14183,18 @@ - - - - - + + + + + + + + + + + + @@ -12693,11 +14218,18 @@ - - - - - + + + + + + + + + + + + @@ -12721,11 +14253,18 @@ - - - - - + + + + + + + + + + + + @@ -12749,11 +14288,18 @@ - - - - - + + + + + + + + + + + + @@ -12777,11 +14323,18 @@ - - - - - + + + + + + + + + + + + @@ -12805,11 +14358,18 @@ - - - - - + + + + + + + + + + + + @@ -12833,11 +14393,18 @@ - - - - - + + + + + + + + + + + + @@ -12861,11 +14428,18 @@ - - - - - + + + + + + + + + + + + @@ -12889,11 +14463,18 @@ - - - - - + + + + + + + + + + + + @@ -12917,11 +14498,18 @@ - - - - - + + + + + + + + + + + + @@ -12945,11 +14533,18 @@ - - - - - + + + + + + + + + + + + @@ -12973,11 +14568,18 @@ - - - - - + + + + + + + + + + + + @@ -13001,11 +14603,18 @@ - - - - - + + + + + + + + + + + + @@ -13029,11 +14638,18 @@ - - - - - + + + + + + + + + + + + @@ -13057,11 +14673,18 @@ - - - - - + + + + + + + + + + + + @@ -13085,11 +14708,18 @@ - - - - - + + + + + + + + + + + + @@ -13113,11 +14743,18 @@ - - - - - + + + + + + + + + + + + @@ -13141,11 +14778,18 @@ - - - - - + + + + + + + + + + + + @@ -13169,11 +14813,18 @@ - - - - - + + + + + + + + + + + + @@ -13197,11 +14848,18 @@ - - - - - + + + + + + + + + + + + @@ -13225,11 +14883,18 @@ - - - - - + + + + + + + + + + + + @@ -13253,11 +14918,18 @@ - - - - - + + + + + + + + + + + + @@ -13281,11 +14953,18 @@ - - - - - + + + + + + + + + + + + @@ -13309,11 +14988,18 @@ - - - - - + + + + + + + + + + + + @@ -13337,11 +15023,18 @@ - - - - - + + + + + + + + + + + + @@ -13365,11 +15058,18 @@ - - - - - + + + + + + + + + + + + @@ -13393,11 +15093,18 @@ - - - - - + + + + + + + + + + + + @@ -13415,6 +15122,7 @@ + @@ -13428,6 +15136,10 @@ + + + + @@ -13476,8 +15188,8 @@ - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps index bdb27278..48f3b9d4 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps @@ -160,7 +160,6 @@ - @@ -2255,11 +2254,8 @@ - - - - - + + @@ -5506,9 +5502,14 @@ - - - + + + + + + + + @@ -5589,9 +5590,14 @@ - - - + + + + + + + + @@ -5672,9 +5678,14 @@ - - - + + + + + + + + @@ -5755,9 +5766,14 @@ - - - + + + + + + + + @@ -5838,9 +5854,14 @@ - - - + + + + + + + + @@ -5921,9 +5942,14 @@ - - - + + + + + + + + @@ -6004,9 +6030,14 @@ - - - + + + + + + + + @@ -6087,9 +6118,14 @@ - - - + + + + + + + + @@ -6181,9 +6217,14 @@ - - - + + + + + + + + @@ -6280,9 +6321,14 @@ - - - + + + + + + + + @@ -6380,9 +6426,14 @@ - - - + + + + + + + + @@ -6475,9 +6526,14 @@ - - - + + + + + + + + @@ -20829,9 +20885,14 @@ - - - + + + + + + + + @@ -25277,11 +25338,8 @@ - - - - - + + @@ -25383,11 +25441,8 @@ - - - - - + + @@ -25408,11 +25463,8 @@ - - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps index bca80a87..0af4ad46 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps @@ -34,9 +34,9 @@ - - - + + + @@ -62,13 +62,13 @@ - - - + + + @@ -507,9 +507,14 @@ - - - + + + + + + + + @@ -607,9 +612,14 @@ - - - + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps index 986b0916..e9fa692b 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps @@ -152,7 +152,6 @@ - @@ -466,7 +465,7 @@ - + @@ -1006,7 +1005,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 314cae13..ef311da5 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -381,11 +381,6 @@ - - - - - @@ -423,15 +418,6 @@ - - - - - - - - - @@ -447,9 +433,6 @@ - - - @@ -461,13 +444,11 @@ + + + - - - - - - + @@ -476,9 +457,6 @@ - - - @@ -504,9 +482,6 @@ - - - @@ -1156,9 +1131,14 @@ - - - + + + + + + + + @@ -2111,11 +2091,8 @@ - - - - - + + @@ -2761,11 +2738,8 @@ - - - - - + + @@ -3240,11 +3214,8 @@ - - - - - + + @@ -3565,11 +3536,8 @@ - - - - - + + @@ -4333,11 +4301,8 @@ - - - - - + + @@ -4915,11 +4880,8 @@ - - - - - + + @@ -7575,9 +7537,14 @@ - - - + + + + + + + + @@ -12025,7 +11992,7 @@ - + @@ -12219,9 +12186,14 @@ - - - + + + + + + + + @@ -12854,9 +12826,14 @@ - - - + + + + + + + + @@ -12917,9 +12894,14 @@ - - - + + + + + + + + @@ -14028,9 +14010,14 @@ - - - + + + + + + + + @@ -14576,11 +14563,8 @@ - - - - - + + @@ -14593,11 +14577,8 @@ - - - - - + + @@ -14763,7 +14744,7 @@ - + @@ -14968,7 +14949,7 @@ - + @@ -15045,11 +15026,8 @@ - - - - - + + @@ -15070,11 +15048,8 @@ - - - - - + + @@ -16541,624 +16516,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -18343,9 +17700,14 @@ - - - + + + + + + + + @@ -18567,9 +17929,14 @@ - - - + + + + + + + + @@ -18783,9 +18150,14 @@ - - - + + + + + + + + @@ -18999,9 +18371,14 @@ - - - + + + + + + + + @@ -19223,9 +18600,14 @@ - - - + + + + + + + + @@ -19449,9 +18831,14 @@ - - - + + + + + + + + @@ -20474,9 +19861,14 @@ - - - + + + + + + + + @@ -20546,9 +19938,14 @@ - - - + + + + + + + + @@ -20966,9 +20363,14 @@ - - - + + + + + + + + @@ -21050,9 +20452,14 @@ - - - + + + + + + + + @@ -21104,9 +20511,14 @@ - - - + + + + + + + + @@ -21158,9 +20570,14 @@ - - - + + + + + + + + @@ -21212,9 +20629,14 @@ - - - + + + + + + + + @@ -21266,9 +20688,14 @@ - - - + + + + + + + + @@ -21320,9 +20747,14 @@ - - - + + + + + + + + @@ -21374,9 +20806,14 @@ - - - + + + + + + + + @@ -21573,9 +21010,14 @@ - - - + + + + + + + + @@ -21632,9 +21074,14 @@ - - - + + + + + + + + @@ -21691,9 +21138,14 @@ - - - + + + + + + + + @@ -21750,9 +21202,14 @@ - - - + + + + + + + + @@ -21809,9 +21266,14 @@ - - - + + + + + + + + @@ -21868,9 +21330,14 @@ - - - + + + + + + + + @@ -21927,9 +21394,14 @@ - - - + + + + + + + + @@ -21986,9 +21458,14 @@ - - - + + + + + + + + @@ -22293,8 +21770,8 @@ - - + + @@ -22334,11 +21811,9 @@ - - - - - + + + @@ -22350,14 +21825,14 @@ - - - + + + - + @@ -22454,8 +21929,8 @@ - - + + @@ -22520,11 +21995,9 @@ - - - - - + + + @@ -22553,9 +22026,9 @@ - - - + + + @@ -22638,8 +22111,8 @@ - - + + @@ -22679,11 +22152,9 @@ - - - - - + + + @@ -22695,9 +22166,9 @@ - - - + + + @@ -22736,15 +22207,8 @@ - - - - - - - - - + + @@ -26435,9 +25899,14 @@ - - - + + + + + + + + @@ -26506,9 +25975,14 @@ - - - + + + + + + + + @@ -28755,9 +28229,9 @@ - - - + + + @@ -28771,7 +28245,7 @@ - + @@ -28847,15 +28321,12 @@ - - - - - - + + + + - @@ -29019,15 +28490,12 @@ - - - - - - + + + + - @@ -29120,15 +28588,12 @@ - - - - - - + + + + - @@ -29219,15 +28684,12 @@ - - - - - - + + + + - @@ -29604,15 +29066,12 @@ - - - - - - + + + + - @@ -29690,9 +29149,14 @@ - - - + + + + + + + + @@ -31528,9 +30992,14 @@ - - - + + + + + + + + @@ -36517,7 +35986,7 @@ - + @@ -36580,7 +36049,7 @@ - + @@ -36643,7 +36112,7 @@ - + @@ -36706,7 +36175,7 @@ - + @@ -36768,7 +36237,7 @@ - + @@ -36823,7 +36292,7 @@ - + @@ -36938,7 +36407,7 @@ - + @@ -37053,7 +36522,7 @@ - + @@ -37168,7 +36637,7 @@ - + @@ -37263,7 +36732,7 @@ - + @@ -37509,11 +36978,8 @@ - - - - - + + @@ -41321,9 +40787,14 @@ - - - + + + + + + + + @@ -43479,11 +42950,8 @@ - - - - - + + @@ -44458,9 +43926,14 @@ - - - + + + + + + + + @@ -53398,11 +52871,8 @@ - - - - - + + @@ -53598,11 +53068,8 @@ - - - - - + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps index f6ba257e..061594e3 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps @@ -12,6 +12,7 @@ + @@ -28,13 +29,16 @@ + + + - - - + + + @@ -60,9 +64,6 @@ - - - @@ -1150,9 +1151,14 @@ - - - + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps index 64eb47fe..8a260aa2 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps @@ -17,6 +17,7 @@ + @@ -100,11 +101,6 @@ - - - - - @@ -137,9 +133,6 @@ - - - @@ -618,9 +611,14 @@ - - - + + + + + + + + @@ -829,25 +827,22 @@ - - - - - - - - - - - - - + + + + + - - + + + + + - + + + @@ -1433,25 +1428,22 @@ - - - - - - - - - - - - - + + + + + - - + + + + + - + + + @@ -1636,21 +1628,18 @@ - - - - - - - - - + + + + - - + + - + + + @@ -2261,9 +2250,14 @@ - - - + + + + + + + + @@ -2343,9 +2337,14 @@ - - - + + + + + + + + @@ -2607,7 +2606,7 @@ - + @@ -2670,7 +2669,7 @@ - + @@ -2733,7 +2732,7 @@ - + @@ -2819,7 +2818,7 @@ - + @@ -2934,7 +2933,7 @@ - + @@ -3049,7 +3048,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps index 031fd282..4449344c 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps @@ -259,17 +259,15 @@ - - - - - - + + + + @@ -291,15 +289,14 @@ - + + + - - - @@ -628,8 +625,8 @@ - - + + @@ -667,11 +664,9 @@ - - - - - + + + @@ -683,9 +678,9 @@ - - - + + + @@ -752,8 +747,8 @@ - - + + @@ -791,11 +786,9 @@ - - - - - + + + @@ -807,9 +800,9 @@ - - - + + + @@ -876,8 +869,8 @@ - - + + @@ -915,11 +908,9 @@ - - - - - + + + @@ -931,9 +922,9 @@ - - - + + + @@ -1000,8 +991,8 @@ - - + + @@ -1039,11 +1030,9 @@ - - - - - + + + @@ -1055,9 +1044,9 @@ - - - + + + @@ -1124,8 +1113,8 @@ - - + + @@ -1163,11 +1152,9 @@ - - - - - + + + @@ -1179,9 +1166,9 @@ - - - + + + @@ -1248,8 +1235,8 @@ - - + + @@ -1287,11 +1274,9 @@ - - - - - + + + @@ -1303,9 +1288,9 @@ - - - + + + @@ -1628,11 +1613,8 @@ - - - - - + + @@ -1661,11 +1643,8 @@ - - - - - + + @@ -1730,9 +1709,14 @@ - - - + + + + + + + + @@ -1793,21 +1777,18 @@ - - - - - - - - - + + + + - - + + - + + + @@ -1909,11 +1890,8 @@ - - - - - + + @@ -2049,9 +2027,14 @@ - - - + + + + + + + + @@ -2087,9 +2070,14 @@ - - - + + + + + + + + @@ -2124,26 +2112,23 @@ - - - - - - - - - - + + + + + - - + + - - + + - + + + @@ -2294,16 +2279,13 @@ - - - - - - - - + + + + + + - @@ -2363,9 +2345,14 @@ - - - + + + + + + + + @@ -2423,23 +2410,20 @@ - - - - - - - - - - - - + + + + + + + + + + - + - @@ -2613,9 +2597,14 @@ - - - + + + + + + + + @@ -2638,9 +2627,14 @@ - - - + + + + + + + + @@ -2757,7 +2751,7 @@ - + @@ -3056,9 +3050,14 @@ - - - + + + + + + + + @@ -3144,9 +3143,14 @@ - - - + + + + + + + + @@ -3196,9 +3200,14 @@ - - - + + + + + + + + @@ -3248,9 +3257,14 @@ - - - + + + + + + + + @@ -3300,9 +3314,14 @@ - - - + + + + + + + + @@ -3514,16 +3533,13 @@ - - - - - - - - + + + + + + - @@ -3604,7 +3620,7 @@ - + @@ -3666,11 +3682,11 @@ - - + + - - + + @@ -3865,9 +3881,14 @@ - - - + + + + + + + + @@ -3923,9 +3944,14 @@ - - - + + + + + + + + @@ -3981,9 +4007,14 @@ - - - + + + + + + + + @@ -4039,9 +4070,14 @@ - - - + + + + + + + + @@ -4097,9 +4133,14 @@ - - - + + + + + + + + @@ -4155,9 +4196,14 @@ - - - + + + + + + + + @@ -4258,9 +4304,14 @@ - - - + + + + + + + + @@ -4942,8 +4993,8 @@ - - + + @@ -4957,25 +5008,32 @@ - - - - - - - + + + + + + + + + + + + - - - - - + + + + + + + @@ -5021,40 +5079,47 @@ - - + + - - - - + + + + - + - + - - - - - - - + + + + + + + + + + + + - - - - - + + + + + + + @@ -5091,8 +5156,8 @@ - - + + @@ -5106,25 +5171,32 @@ - - - - - - - + + + + + + + + + + + + - - - - - + + + + + + + @@ -5161,8 +5233,8 @@ - - + + @@ -5176,25 +5248,32 @@ - - - - - - - + + + + + + + + + + + + - - - - - + + + + + + + @@ -5231,8 +5310,8 @@ - - + + @@ -5246,25 +5325,32 @@ - - - - - - - + + + + + + + + + + + + - - - - - + + + + + + + @@ -5307,16 +5393,13 @@ - - - - - - - - + + + + + + - @@ -5541,7 +5624,7 @@ - + @@ -5609,9 +5692,14 @@ - - - + + + + + + + + @@ -5841,7 +5929,7 @@ - + @@ -5881,9 +5969,14 @@ - - - + + + + + + + + @@ -5929,9 +6022,14 @@ - - - + + + + + + + + @@ -5947,7 +6045,7 @@ - + @@ -6021,7 +6119,7 @@ - + @@ -6066,6 +6164,78 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6157,11 +6327,8 @@ - - - - - + + @@ -6204,11 +6371,8 @@ - - - - - + + @@ -6222,7 +6386,7 @@ - + @@ -6230,9 +6394,14 @@ - - - + + + + + + + + @@ -6257,11 +6426,8 @@ - - - - - + + @@ -6275,7 +6441,7 @@ - + @@ -6283,9 +6449,14 @@ - - - + + + + + + + + @@ -6383,7 +6554,7 @@ - + @@ -6505,7 +6676,7 @@ - + @@ -6576,7 +6747,7 @@ - + @@ -6647,7 +6818,7 @@ - + @@ -6733,16 +6904,13 @@ - - - - - - - - + + + + + + - @@ -6791,16 +6959,13 @@ - - - - - - - - + + + + + + - @@ -7071,16 +7236,13 @@ - - - - - - - - + + + + + + - @@ -7129,9 +7291,14 @@ - - - + + + + + + + + @@ -7233,7 +7400,7 @@ - + @@ -7438,7 +7605,7 @@ - + @@ -7579,7 +7746,7 @@ - + @@ -8123,7 +8290,7 @@ - + @@ -8368,21 +8535,18 @@ - - - - - - - - - + + + + - - + + - + + + @@ -8616,7 +8780,7 @@ - + @@ -8662,11 +8826,8 @@ - - - - - + + @@ -8736,11 +8897,8 @@ - - - - - + + @@ -8918,7 +9076,7 @@ - + @@ -9038,18 +9196,15 @@ - - - - - - - - - + + + + + + + - @@ -9098,9 +9253,14 @@ - - - + + + + + + + + @@ -9695,7 +9855,7 @@ - + @@ -9922,9 +10082,14 @@ - - - + + + + + + + + @@ -9974,16 +10139,13 @@ - - - - - - - - + + + + + + - @@ -10045,7 +10207,7 @@ - + @@ -10191,16 +10353,13 @@ - - - - - - - - + + + + + + - @@ -10253,16 +10412,13 @@ - - - - - - - - + + + + + + - @@ -10431,9 +10587,14 @@ - - - + + + + + + + + @@ -10692,11 +10853,8 @@ - - - - - + + @@ -11071,7 +11229,7 @@ - + @@ -11151,7 +11309,7 @@ - + @@ -11220,16 +11378,13 @@ - - - - - - - - + + + + + + - @@ -11278,16 +11433,13 @@ - - - - - - - - + + + + + + - @@ -11349,16 +11501,13 @@ - - - - - - - - + + + + + + - @@ -11408,7 +11557,7 @@ - + @@ -11523,7 +11672,7 @@ - + @@ -11617,7 +11766,7 @@ - + @@ -11751,7 +11900,7 @@ - + @@ -11812,14 +11961,15 @@ - - - - - - + + + + + + + @@ -11959,7 +12109,7 @@ - + @@ -12090,9 +12240,14 @@ - - - + + + + + + + + @@ -12282,9 +12437,14 @@ - - - + + + + + + + + @@ -12474,9 +12634,14 @@ - - - + + + + + + + + @@ -13082,7 +13247,7 @@ - + @@ -13136,16 +13301,13 @@ - - - - - - - - + + + + + + - @@ -13249,7 +13411,7 @@ - + @@ -13303,16 +13465,13 @@ - - - - - - - - + + + + + + - @@ -13442,7 +13601,7 @@ - + @@ -13541,7 +13700,7 @@ - + @@ -13637,7 +13796,7 @@ - + @@ -13691,16 +13850,13 @@ - - - - - - - - + + + + + + - @@ -13792,7 +13948,7 @@ - + @@ -13846,16 +14002,13 @@ - - - - - - - - + + + + + + - @@ -13959,16 +14112,13 @@ - - - - - - - - + + + + + + - @@ -14043,16 +14193,13 @@ - - - - - - - - + + + + + + - @@ -14151,7 +14298,7 @@ - + @@ -14297,9 +14444,14 @@ - - - + + + + + + + + @@ -14349,9 +14501,14 @@ - - - + + + + + + + + @@ -14549,9 +14706,14 @@ - - - + + + + + + + + @@ -15431,9 +15593,14 @@ - - - + + + + + + + + @@ -15518,16 +15685,13 @@ - - - - - - - - + + + + + + - @@ -15606,16 +15770,13 @@ - - - - - - - - + + + + + + - @@ -15664,16 +15825,13 @@ - - - - - - - - + + + + + + - @@ -15727,16 +15885,13 @@ - - - - - - - - + + + + + + - @@ -15909,9 +16064,14 @@ - - - + + + + + + + + @@ -15948,9 +16108,14 @@ - - - + + + + + + + + @@ -15987,9 +16152,14 @@ - - - + + + + + + + + @@ -16026,9 +16196,14 @@ - - - + + + + + + + + @@ -16065,9 +16240,14 @@ - - - + + + + + + + + @@ -16104,9 +16284,14 @@ - - - + + + + + + + + @@ -16143,9 +16328,14 @@ - - - + + + + + + + + @@ -16186,9 +16376,14 @@ - - - + + + + + + + + @@ -16252,7 +16447,7 @@ - + @@ -16264,9 +16459,14 @@ - - - + + + + + + + + @@ -16335,9 +16535,14 @@ - - - + + + + + + + + @@ -16408,7 +16613,7 @@ - + @@ -16420,9 +16625,14 @@ - - - + + + + + + + + @@ -16490,9 +16700,14 @@ - - - + + + + + + + + @@ -16560,9 +16775,14 @@ - - - + + + + + + + + @@ -16630,9 +16850,14 @@ - - - + + + + + + + + @@ -16700,9 +16925,14 @@ - - - + + + + + + + + @@ -16770,9 +17000,14 @@ - - - + + + + + + + + @@ -16818,11 +17053,8 @@ - - - - - + + @@ -16856,7 +17088,7 @@ - + @@ -16882,9 +17114,14 @@ - - - + + + + + + + + @@ -16908,9 +17145,14 @@ - - - + + + + + + + + @@ -17061,7 +17303,7 @@ - + @@ -17144,9 +17386,14 @@ - - - + + + + + + + + @@ -17172,7 +17419,7 @@ - + @@ -17208,9 +17455,14 @@ - - - + + + + + + + + @@ -17236,7 +17488,7 @@ - + @@ -17272,9 +17524,14 @@ - - - + + + + + + + + @@ -17300,7 +17557,7 @@ - + @@ -17382,7 +17639,7 @@ - + @@ -17474,7 +17731,7 @@ - + @@ -17566,7 +17823,7 @@ - + @@ -17615,9 +17872,14 @@ - - - + + + + + + + + @@ -17703,7 +17965,7 @@ - + @@ -17792,7 +18054,7 @@ - + @@ -17860,9 +18122,14 @@ - - - + + + + + + + + @@ -17896,9 +18163,14 @@ - - - + + + + + + + + @@ -17961,9 +18233,14 @@ - - - + + + + + + + + @@ -17997,9 +18274,14 @@ - - - + + + + + + + + @@ -18057,9 +18339,14 @@ - - - + + + + + + + + @@ -18090,9 +18377,14 @@ - - - + + + + + + + + @@ -18177,7 +18469,7 @@ - + @@ -18279,7 +18571,7 @@ - + @@ -18373,7 +18665,7 @@ - + @@ -18464,7 +18756,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps index e87eeb0b..2fabebf6 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps @@ -19,6 +19,7 @@ + @@ -77,11 +78,6 @@ - - - - - @@ -119,9 +115,6 @@ - - - @@ -1059,9 +1052,14 @@ - - - + + + + + + + + @@ -1076,9 +1074,14 @@ - - - + + + + + + + + @@ -1112,14 +1115,19 @@ - - - - - + + + + + + + + + + @@ -1145,9 +1153,14 @@ - - - + + + + + + + + @@ -1178,9 +1191,14 @@ - - - + + + + + + + + @@ -1259,9 +1277,14 @@ - - - + + + + + + + + @@ -1365,9 +1388,14 @@ - - - + + + + + + + + @@ -1421,9 +1449,14 @@ - - - + + + + + + + + @@ -1737,7 +1770,7 @@ - + @@ -1800,7 +1833,7 @@ - + @@ -1863,7 +1896,7 @@ - + @@ -1949,7 +1982,7 @@ - + @@ -2065,7 +2098,7 @@ - + @@ -2180,7 +2213,7 @@ - +