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 e3dd34b2..4fa6127c 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 @@ -3,7 +3,7 @@ - + @@ -4810,12 +4810,12 @@ + - @@ -4827,16 +4827,16 @@ - - - - - + + + + + @@ -11225,11 +11225,6 @@ - - - - - @@ -11237,6 +11232,11 @@ + + + + + @@ -22101,14 +22101,14 @@ + + + - - - @@ -22188,14 +22188,14 @@ + + + - - - @@ -22271,14 +22271,14 @@ + + + - - - @@ -22358,14 +22358,14 @@ + + + - - - @@ -22634,24 +22634,24 @@ + + + - - - + + + - - - @@ -22740,24 +22740,24 @@ + + + - - - + + + - - - @@ -22842,24 +22842,24 @@ + + + - - - + + + - - - @@ -22948,24 +22948,24 @@ + + + - - - + + + - - - @@ -23050,24 +23050,24 @@ + + + - - - + + + - - - @@ -23156,24 +23156,24 @@ + + + - - - + + + - - - @@ -23258,24 +23258,24 @@ + + + - - - + + + - - - @@ -23364,24 +23364,24 @@ + + + - - - + + + - - - @@ -24933,14 +24933,14 @@ + + + - - - @@ -25568,14 +25568,14 @@ + + + - - - @@ -25751,11 +25751,6 @@ - - - - - @@ -25805,6 +25800,11 @@ + + + + + @@ -25939,16 +25939,6 @@ - - - - - - - - - - @@ -26021,6 +26011,16 @@ + + + + + + + + + + @@ -26098,11 +26098,6 @@ - - - - - @@ -26152,6 +26147,11 @@ + + + + + @@ -27922,11 +27922,6 @@ - - - - - @@ -27934,6 +27929,11 @@ + + + + + @@ -36183,323 +36183,394 @@ - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - + + - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - + + + + + - + + + + + + + + + + + - - + + + + + - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - + + + + + + + - - - - + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - - - - - - + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - @@ -39850,14 +39921,14 @@ + + + - - - @@ -40022,14 +40093,14 @@ + + + - - - @@ -43478,11 +43549,6 @@ - - - - - @@ -43497,6 +43563,11 @@ + + + + + @@ -43526,10 +43597,10 @@ + - @@ -43599,11 +43670,6 @@ - - - - - @@ -43618,6 +43684,11 @@ + + + + + @@ -43720,11 +43791,6 @@ - - - - - @@ -43739,6 +43805,11 @@ + + + + + @@ -43841,11 +43912,6 @@ - - - - - @@ -43860,6 +43926,11 @@ + + + + + @@ -44024,11 +44095,6 @@ - - - - - @@ -44043,6 +44109,11 @@ + + + + + @@ -44135,11 +44206,6 @@ - - - - - @@ -44154,6 +44220,11 @@ + + + + + @@ -44246,11 +44317,6 @@ - - - - - @@ -44265,6 +44331,11 @@ + + + + + @@ -45485,11 +45556,6 @@ - - - - - @@ -45497,6 +45563,11 @@ + + + + +