...
 
Commits (3)

Too many changes to show.

To preserve performance only 588 of 588+ files are displayed.

......@@ -23,3 +23,23 @@ cabal.project.local~
out/
bicheck.cabal
stack.yaml
xtend-gen
src-gen
classes_gen
source_gen
jimple_gen
source_gen.caches
test_gen.caches
workspace.xml
artifacts
tmp
libraries.overrides.properties
.gradle/
build/generated/
build/mps/
build/code/
build/test/
test_gen/
.DS_Store
......@@ -8,11 +8,13 @@
<modulePath path="$PROJECT_DIR$/languages/RecordTypes/RecordTypes.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/SLTCN/SLTCN.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/STLCN/STLCN.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/TypeLang/TypeLang.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/VariantTypes/VariantTypes.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/FORecursiveTypes_Checker/FORecursiveTypes_Checker.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/RecordTypes_Checker/RecordTypes_Checker.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/STLCN_Checker/STLCN_Checker.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/SumTypes_Checker/SumTypes_Checker.msd" folder="." />
<modulePath path="$PROJECT_DIR$/solutions/TypeLangTest/TypeLangTest.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/VariantTypes_Checker/VariantTypes_Checker.msd" folder="" />
</projectModules>
</component>
......
This source diff could not be displayed because it is too large. You can view the blob instead.
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<root>
<file name="BehaviorAspectDescriptor.java">
<unit at="11,0,22,0" name="FORecursiveTypes.behavior.BehaviorAspectDescriptor" />
</file>
</root>
</debug-info>
<?xml version="1.0" encoding="UTF-8"?>
<checkpoints>
<plan id="AspectCPS">
<checkpoint id="DescriptorClasses" file="aspectcps-descriptorclasses.mps" />
</plan>
</checkpoints>
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123140:jetbrains.mps.baseLanguage.structure.ConstructorDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123155:jetbrains.mps.baseLanguage.structure.ExpressionStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123165:jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068581242864:jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068581242878:jetbrains.mps.baseLanguage.structure.ReturnStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1070475587102:jetbrains.mps.baseLanguage.structure.SuperConstructorInvocation" />
<root>
<file name="ConstraintsAspectDescriptor.java">
<unit at="13,0,37,0" name="FORecursiveTypes.constraints.ConstraintsAspectDescriptor" />
</file>
</root>
<root nodeRef="r:ebb64f75-0737-4104-8fe6-01adac9c79d2(FORecursiveTypes.constraints)/2012336639220441492">
<file name="TypeVar_Constraints.java">
<node id="2012336639220441492" at="17,32,18,142" concept="5" />
<node id="2012336639220441492" at="22,84,23,119" concept="3" />
<node id="2012336639220442156" at="26,40,27,20" concept="4" />
<node id="2012336639220442156" at="30,70,31,37" concept="3" />
<node id="2012336639220442159" at="31,37,32,233" concept="4" />
<node id="2012336639220441492" at="34,7,35,22" concept="4" />
<node id="2012336639220441492" at="17,0,20,0" concept="0" trace="TypeVar_Constraints#()V" />
<node id="2012336639220442156" at="25,0,29,0" concept="2" trace="hasOwnValidator#()Z" />
<node id="2012336639220442156" at="29,0,34,0" concept="2" trace="validateValue#(Lorg/jetbrains/mps/openapi/model/SNode;Ljava/lang/String;)Z" />
<node id="2012336639220442156" at="23,119,34,7" concept="1" />
<node id="2012336639220441492" at="21,0,37,0" concept="2" trace="getSpecifiedProperties#()Ljava/util/Map;" />
<scope id="2012336639220441492" at="17,32,18,142" />
<scope id="2012336639220442156" at="26,40,27,20" />
<scope id="2012336639220442156" at="30,70,32,233">
<var name="propertyName" id="2012336639220442156" />
</scope>
<scope id="2012336639220441492" at="17,0,20,0" />
<scope id="2012336639220442156" at="25,0,29,0" />
<scope id="2012336639220442156" at="29,0,34,0">
<var name="node" id="2012336639220442156" />
<var name="propertyValue" id="2012336639220442156" />
</scope>
<scope id="2012336639220441492" at="22,84,35,22">
<var name="properties" id="2012336639220441492" />
</scope>
<scope id="2012336639220441492" at="21,0,37,0" />
<unit id="2012336639220442156" at="24,137,34,5" name="FORecursiveTypes.constraints.TypeVar_Constraints$1" />
<unit id="2012336639220441492" at="16,0,38,0" name="FORecursiveTypes.constraints.TypeVar_Constraints" />
</file>
</root>
<root nodeRef="r:ebb64f75-0737-4104-8fe6-01adac9c79d2(FORecursiveTypes.constraints)/2951477311799558508">
<file name="Var_Constraints.java">
<node id="2951477311799558508" at="17,28,18,138" concept="5" />
<node id="2951477311799558508" at="22,84,23,119" concept="3" />
<node id="2951477311799558586" at="26,40,27,20" concept="4" />
<node id="2951477311799558586" at="30,70,31,37" concept="3" />
<node id="2951477311799559064" at="31,37,32,233" concept="4" />
<node id="2951477311799558508" at="34,7,35,22" concept="4" />
<node id="2951477311799558508" at="17,0,20,0" concept="0" trace="Var_Constraints#()V" />
<node id="2951477311799558586" at="25,0,29,0" concept="2" trace="hasOwnValidator#()Z" />
<node id="2951477311799558586" at="29,0,34,0" concept="2" trace="validateValue#(Lorg/jetbrains/mps/openapi/model/SNode;Ljava/lang/String;)Z" />
<node id="2951477311799558586" at="23,119,34,7" concept="1" />
<node id="2951477311799558508" at="21,0,37,0" concept="2" trace="getSpecifiedProperties#()Ljava/util/Map;" />
<scope id="2951477311799558508" at="17,28,18,138" />
<scope id="2951477311799558586" at="26,40,27,20" />
<scope id="2951477311799558586" at="30,70,32,233">
<var name="propertyName" id="2951477311799558586" />
</scope>
<scope id="2951477311799558508" at="17,0,20,0" />
<scope id="2951477311799558586" at="25,0,29,0" />
<scope id="2951477311799558586" at="29,0,34,0">
<var name="node" id="2951477311799558586" />
<var name="propertyValue" id="2951477311799558586" />
</scope>
<scope id="2951477311799558508" at="22,84,35,22">
<var name="properties" id="2951477311799558508" />
</scope>
<scope id="2951477311799558508" at="21,0,37,0" />
<unit id="2951477311799558586" at="24,137,34,5" name="FORecursiveTypes.constraints.Var_Constraints$1" />
<unit id="2951477311799558508" at="16,0,38,0" name="FORecursiveTypes.constraints.Var_Constraints" />
</file>
</root>
<root nodeRef="r:ebb64f75-0737-4104-8fe6-01adac9c79d2(FORecursiveTypes.constraints)/2951477311799627903">
<file name="Let_Constraints.java">
<node id="2951477311799627903" at="17,28,18,138" concept="5" />
<node id="2951477311799627903" at="22,84,23,119" concept="3" />
<node id="2951477311799628656" at="26,40,27,20" concept="4" />
<node id="2951477311799628656" at="30,70,31,37" concept="3" />
<node id="5790571747118569642" at="31,37,32,149" concept="4" />
<node id="2951477311799627903" at="34,7,35,22" concept="4" />
<node id="2951477311799627903" at="17,0,20,0" concept="0" trace="Let_Constraints#()V" />
<node id="2951477311799628656" at="25,0,29,0" concept="2" trace="hasOwnValidator#()Z" />
<node id="2951477311799628656" at="29,0,34,0" concept="2" trace="validateValue#(Lorg/jetbrains/mps/openapi/model/SNode;Ljava/lang/String;)Z" />
<node id="2951477311799628656" at="23,119,34,7" concept="1" />
<node id="2951477311799627903" at="21,0,37,0" concept="2" trace="getSpecifiedProperties#()Ljava/util/Map;" />
<scope id="2951477311799627903" at="17,28,18,138" />
<scope id="2951477311799628656" at="26,40,27,20" />
<scope id="2951477311799628656" at="30,70,32,149">
<var name="propertyName" id="2951477311799628656" />
</scope>
<scope id="2951477311799627903" at="17,0,20,0" />
<scope id="2951477311799628656" at="25,0,29,0" />
<scope id="2951477311799628656" at="29,0,34,0">
<var name="node" id="2951477311799628656" />
<var name="propertyValue" id="2951477311799628656" />
</scope>
<scope id="2951477311799627903" at="22,84,35,22">
<var name="properties" id="2951477311799627903" />
</scope>
<scope id="2951477311799627903" at="21,0,37,0" />
<unit id="2951477311799628656" at="24,137,34,5" name="FORecursiveTypes.constraints.Let_Constraints$1" />
<unit id="2951477311799627903" at="16,0,38,0" name="FORecursiveTypes.constraints.Let_Constraints" />
</file>
</root>
<root nodeRef="r:ebb64f75-0737-4104-8fe6-01adac9c79d2(FORecursiveTypes.constraints)/7618853173233427716">
<file name="Lam_Constraints.java">
<node id="7618853173233427716" at="17,28,18,138" concept="5" />
<node id="7618853173233427716" at="22,84,23,119" concept="3" />
<node id="7618853173233427717" at="26,40,27,20" concept="4" />
<node id="7618853173233427717" at="30,70,31,37" concept="3" />
<node id="7618853173233428196" at="31,37,32,149" concept="4" />
<node id="7618853173233427716" at="34,7,35,22" concept="4" />
<node id="7618853173233427716" at="17,0,20,0" concept="0" trace="Lam_Constraints#()V" />
<node id="7618853173233427717" at="25,0,29,0" concept="2" trace="hasOwnValidator#()Z" />
<node id="7618853173233427717" at="29,0,34,0" concept="2" trace="validateValue#(Lorg/jetbrains/mps/openapi/model/SNode;Ljava/lang/String;)Z" />
<node id="7618853173233427717" at="23,119,34,7" concept="1" />
<node id="7618853173233427716" at="21,0,37,0" concept="2" trace="getSpecifiedProperties#()Ljava/util/Map;" />
<scope id="7618853173233427716" at="17,28,18,138" />
<scope id="7618853173233427717" at="26,40,27,20" />
<scope id="7618853173233427717" at="30,70,32,149">
<var name="propertyName" id="7618853173233427717" />
</scope>
<scope id="7618853173233427716" at="17,0,20,0" />
<scope id="7618853173233427717" at="25,0,29,0" />
<scope id="7618853173233427717" at="29,0,34,0">
<var name="node" id="7618853173233427717" />
<var name="propertyValue" id="7618853173233427717" />
</scope>
<scope id="7618853173233427716" at="22,84,35,22">
<var name="properties" id="7618853173233427716" />
</scope>
<scope id="7618853173233427716" at="21,0,37,0" />
<unit id="7618853173233427717" at="24,137,34,5" name="FORecursiveTypes.constraints.Lam_Constraints$1" />
<unit id="7618853173233427716" at="16,0,38,0" name="FORecursiveTypes.constraints.Lam_Constraints" />
</file>
</root>
<root nodeRef="r:ebb64f75-0737-4104-8fe6-01adac9c79d2(FORecursiveTypes.constraints)/8032141838602455688">
<file name="LetType_Constraints.java">
<node id="8032141838602455688" at="17,32,18,142" concept="5" />
<node id="8032141838602455688" at="22,84,23,119" concept="3" />
<node id="8032141838602455689" at="26,40,27,20" concept="4" />
<node id="8032141838602455689" at="30,70,31,37" concept="3" />
<node id="8032141838602455692" at="31,37,32,149" concept="4" />
<node id="8032141838602455688" at="34,7,35,22" concept="4" />
<node id="8032141838602455688" at="17,0,20,0" concept="0" trace="LetType_Constraints#()V" />
<node id="8032141838602455689" at="25,0,29,0" concept="2" trace="hasOwnValidator#()Z" />
<node id="8032141838602455689" at="29,0,34,0" concept="2" trace="validateValue#(Lorg/jetbrains/mps/openapi/model/SNode;Ljava/lang/String;)Z" />
<node id="8032141838602455689" at="23,119,34,7" concept="1" />
<node id="8032141838602455688" at="21,0,37,0" concept="2" trace="getSpecifiedProperties#()Ljava/util/Map;" />
<scope id="8032141838602455688" at="17,32,18,142" />
<scope id="8032141838602455689" at="26,40,27,20" />
<scope id="8032141838602455689" at="30,70,32,149">
<var name="propertyName" id="8032141838602455689" />
</scope>
<scope id="8032141838602455688" at="17,0,20,0" />
<scope id="8032141838602455689" at="25,0,29,0" />
<scope id="8032141838602455689" at="29,0,34,0">
<var name="node" id="8032141838602455689" />
<var name="propertyValue" id="8032141838602455689" />
</scope>
<scope id="8032141838602455688" at="22,84,35,22">
<var name="properties" id="8032141838602455688" />
</scope>
<scope id="8032141838602455688" at="21,0,37,0" />
<unit id="8032141838602455689" at="24,137,34,5" name="FORecursiveTypes.constraints.LetType_Constraints$1" />
<unit id="8032141838602455688" at="16,0,38,0" name="FORecursiveTypes.constraints.LetType_Constraints" />
</file>
</root>
</debug-info>
This source diff could not be displayed because it is too large. You can view the blob instead.
<?xml version="1.0" encoding="UTF-8"?>
<checkpoints>
<plan id="AspectCPS">
<checkpoint id="DescriptorClasses" file="aspectcps-descriptorclasses.mps" />
</plan>
</checkpoints>
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123155:jetbrains.mps.baseLanguage.structure.ExpressionStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068390468200:jetbrains.mps.baseLanguage.structure.FieldDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123159:jetbrains.mps.baseLanguage.structure.IfStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068581242864:jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068581242878:jetbrains.mps.baseLanguage.structure.ReturnStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1070462154015:jetbrains.mps.baseLanguage.structure.StaticFieldDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1081236700938:jetbrains.mps.baseLanguage.structure.StaticMethodDeclaration" />
<root>
<file name="ConceptPresentationAspectImpl.java">
<unit at="11,0,251,0" name="FORecursiveTypes.structure.ConceptPresentationAspectImpl" />
</file>
<file name="LanguageConceptSwitch.java">
<unit at="10,0,84,0" name="FORecursiveTypes.structure.LanguageConceptSwitch" />
</file>
<file name="StructureAspectDescriptor.java">
<unit at="16,0,410,0" name="FORecursiveTypes.structure.StructureAspectDescriptor" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356272849">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356272849" at="32,0,33,0" concept="1" trace="props_Term" />
<node id="1894367444356272849" at="187,33,188,76" concept="3" />
<node id="1894367444356272849" at="188,76,189,36" concept="0" />
<node id="1894367444356272849" at="190,9,191,26" concept="4" />
<node id="1894367444356272849" at="186,38,190,9" concept="2" />
<scope id="1894367444356272849" at="187,33,189,36">
<var name="cpb" id="1894367444356272849" />
</scope>
<scope id="1894367444356272849" at="186,38,191,26" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356272849" at="32,0,33,0" concept="5" trace="Term" />
<node id="1894367444356272849" at="63,41,64,43" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356272849" at="37,0,38,0" concept="1" trace="myConceptTerm" />
<node id="1894367444356272849" at="101,38,102,29" concept="4" />
<node id="1894367444356272849" at="135,34,136,76" concept="0" />
<node id="1894367444356272849" at="146,34,147,76" concept="0" />
<node id="1894367444356272849" at="157,34,158,76" concept="0" />
<node id="1894367444356272849" at="196,71,197,76" concept="0" />
<node id="1894367444356272849" at="207,71,208,76" concept="0" />
<node id="1894367444356272849" at="219,71,220,76" concept="0" />
<node id="1894367444356272849" at="229,34,230,76" concept="0" />
<node id="1894367444356272849" at="276,34,277,76" concept="0" />
<node id="1894367444356272849" at="296,34,297,76" concept="0" />
<node id="1894367444356272849" at="314,34,315,76" concept="0" />
<node id="1894367444356272849" at="324,34,325,76" concept="0" />
<node id="1894367444356272849" at="333,62,334,155" concept="3" />
<node id="1894367444356272849" at="334,155,335,19" concept="0" />
<node id="1894367444356272849" at="335,19,336,103" concept="0" />
<node id="1894367444356272849" at="336,103,337,17" concept="0" />
<node id="1894367444356272849" at="337,17,338,22" concept="4" />
<node id="1894367444356272849" at="358,34,359,76" concept="0" />
<node id="1894367444356272849" at="376,71,377,76" concept="0" />
<node id="1894367444356272849" at="402,34,403,76" concept="0" />
<node id="1894367444356272849" at="333,0,340,0" concept="6" trace="createDescriptorForTerm#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356272849" at="101,38,102,29" />
<scope id="1894367444356272849" at="333,62,338,22">
<var name="b" id="1894367444356272849" />
</scope>
<scope id="1894367444356272849" at="333,0,340,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356272850">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356272850" at="40,0,41,0" concept="1" trace="props_Zero" />
<node id="1894367444356272850" at="241,33,242,76" concept="3" />
<node id="1894367444356272850" at="242,76,243,35" concept="0" />
<node id="1894367444356272850" at="243,35,244,36" concept="0" />
<node id="1894367444356272850" at="245,9,246,26" concept="4" />
<node id="1894367444356272850" at="240,38,245,9" concept="2" />
<scope id="1894367444356272850" at="241,33,244,36">
<var name="cpb" id="1894367444356272850" />
</scope>
<scope id="1894367444356272850" at="240,38,246,26" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356272850" at="40,0,41,0" concept="5" trace="Zero" />
<node id="1894367444356272850" at="71,55,72,43" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356272850" at="45,0,46,0" concept="1" trace="myConceptZero" />
<node id="1894367444356272850" at="117,38,118,29" concept="4" />
<node id="1894367444356272850" at="400,62,401,155" concept="3" />
<node id="1894367444356272850" at="401,155,402,34" concept="0" />
<node id="1894367444356272850" at="403,76,404,103" concept="0" />
<node id="1894367444356272850" at="404,103,405,17" concept="0" />
<node id="1894367444356272850" at="405,17,406,17" concept="0" />
<node id="1894367444356272850" at="406,17,407,22" concept="4" />
<node id="1894367444356272850" at="400,0,409,0" concept="6" trace="createDescriptorForZero#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356272850" at="117,38,118,29" />
<scope id="1894367444356272850" at="400,62,407,22">
<var name="b" id="1894367444356272850" />
</scope>
<scope id="1894367444356272850" at="400,0,409,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356272855">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356272855" at="30,0,31,0" concept="1" trace="props_Succ" />
<node id="1894367444356272855" at="173,33,174,76" concept="3" />
<node id="1894367444356272855" at="174,76,175,38" concept="0" />
<node id="1894367444356272855" at="175,38,176,36" concept="0" />
<node id="1894367444356272855" at="177,9,178,26" concept="4" />
<node id="1894367444356272855" at="172,38,177,9" concept="2" />
<scope id="1894367444356272855" at="173,33,176,36">
<var name="cpb" id="1894367444356272855" />
</scope>
<scope id="1894367444356272855" at="172,38,178,26" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356272855" at="30,0,31,0" concept="5" trace="Succ" />
<node id="1894367444356272855" at="61,49,62,43" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356272855" at="35,0,36,0" concept="1" trace="myConceptSucc" />
<node id="1894367444356272855" at="97,38,98,29" concept="4" />
<node id="1894367444356272855" at="312,62,313,155" concept="3" />
<node id="1894367444356272855" at="313,155,314,34" concept="0" />
<node id="1894367444356272855" at="315,76,316,103" concept="0" />
<node id="1894367444356272855" at="316,103,317,17" concept="0" />
<node id="1894367444356272860" at="317,17,318,195" concept="0" />
<node id="1894367444356272855" at="318,195,319,20" concept="0" />
<node id="1894367444356272855" at="319,20,320,22" concept="4" />
<node id="1894367444356272855" at="312,0,322,0" concept="6" trace="createDescriptorForSucc#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356272855" at="97,38,98,29" />
<scope id="1894367444356272855" at="312,62,320,22">
<var name="b" id="1894367444356272855" />
</scope>
<scope id="1894367444356272855" at="312,0,322,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356272864">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356272864" at="37,0,38,0" concept="1" trace="props_Var" />
<node id="1894367444356272864" at="220,32,221,76" concept="3" />
<node id="1894367444356272864" at="221,76,222,35" concept="0" />
<node id="1894367444356272864" at="222,35,223,35" concept="0" />
<node id="1894367444356272864" at="224,9,225,25" concept="4" />
<node id="1894367444356272864" at="219,37,224,9" concept="2" />
<scope id="1894367444356272864" at="220,32,223,35">
<var name="cpb" id="1894367444356272864" />
</scope>
<scope id="1894367444356272864" at="219,37,225,25" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356272864" at="37,0,38,0" concept="5" trace="Var" />
<node id="1894367444356272864" at="68,47,69,42" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356272864" at="42,0,43,0" concept="1" trace="myConceptVar" />
<node id="1894367444356272864" at="111,37,112,28" concept="4" />
<node id="1894367444356272864" at="373,61,374,154" concept="3" />
<node id="1894367444356272864" at="374,154,375,34" concept="0" />
<node id="1894367444356272864" at="375,34,376,71" concept="0" />
<node id="1894367444356272864" at="377,76,378,103" concept="0" />
<node id="1894367444356272864" at="378,103,379,17" concept="0" />
<node id="1894367444356272864" at="379,17,380,22" concept="4" />
<node id="1894367444356272864" at="373,0,382,0" concept="6" trace="createDescriptorForVar#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356272864" at="111,37,112,28" />
<scope id="1894367444356272864" at="373,61,380,22">
<var name="b" id="1894367444356272864" />
</scope>
<scope id="1894367444356272864" at="373,0,382,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356272898">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356272898" at="12,0,13,0" concept="1" trace="props_Add" />
<node id="1894367444356272898" at="48,32,49,76" concept="3" />
<node id="1894367444356272898" at="49,76,50,35" concept="0" />
<node id="1894367444356272898" at="50,35,51,35" concept="0" />
<node id="1894367444356272898" at="52,9,53,25" concept="4" />
<node id="1894367444356272898" at="47,37,52,9" concept="2" />
<scope id="1894367444356272898" at="48,32,51,35">
<var name="cpb" id="1894367444356272898" />
</scope>
<scope id="1894367444356272898" at="47,37,53,25" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356272898" at="12,0,13,0" concept="5" trace="Add" />
<node id="1894367444356272898" at="43,116,44,42" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356272898" at="17,0,18,0" concept="1" trace="myConceptAdd" />
<node id="1894367444356272898" at="61,37,62,28" concept="4" />
<node id="1894367444356272898" at="133,61,134,154" concept="3" />
<node id="1894367444356272898" at="134,154,135,34" concept="0" />
<node id="1894367444356272898" at="136,76,137,103" concept="0" />
<node id="1894367444356272898" at="137,103,138,17" concept="0" />
<node id="1894367444356272903" at="138,17,139,196" concept="0" />
<node id="1894367444356272907" at="139,196,140,196" concept="0" />
<node id="1894367444356272898" at="140,196,141,17" concept="0" />
<node id="1894367444356272898" at="141,17,142,22" concept="4" />
<node id="1894367444356272898" at="133,0,144,0" concept="6" trace="createDescriptorForAdd#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356272898" at="61,37,62,28" />
<scope id="1894367444356272898" at="133,61,142,22">
<var name="b" id="1894367444356272898" />
</scope>
<scope id="1894367444356272898" at="133,0,144,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356272914">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356272914" at="26,0,27,0" concept="1" trace="props_Mult" />
<node id="1894367444356272914" at="145,33,146,76" concept="3" />
<node id="1894367444356272914" at="146,76,147,35" concept="0" />
<node id="1894367444356272914" at="147,35,148,36" concept="0" />
<node id="1894367444356272914" at="149,9,150,26" concept="4" />
<node id="1894367444356272914" at="144,38,149,9" concept="2" />
<scope id="1894367444356272914" at="145,33,148,36">
<var name="cpb" id="1894367444356272914" />
</scope>
<scope id="1894367444356272914" at="144,38,150,26" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356272914" at="26,0,27,0" concept="5" trace="Mult" />
<node id="1894367444356272914" at="57,51,58,43" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356272914" at="31,0,32,0" concept="1" trace="myConceptMult" />
<node id="1894367444356272914" at="89,38,90,29" concept="4" />
<node id="1894367444356272914" at="274,62,275,155" concept="3" />
<node id="1894367444356272914" at="275,155,276,34" concept="0" />
<node id="1894367444356272914" at="277,76,278,103" concept="0" />
<node id="1894367444356272914" at="278,103,279,17" concept="0" />
<node id="1894367444356272919" at="279,17,280,196" concept="0" />
<node id="1894367444356272923" at="280,196,281,196" concept="0" />
<node id="1894367444356272914" at="281,196,282,17" concept="0" />
<node id="1894367444356272914" at="282,17,283,22" concept="4" />
<node id="1894367444356272914" at="274,0,285,0" concept="6" trace="createDescriptorForMult#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356272914" at="89,38,90,29" />
<scope id="1894367444356272914" at="274,62,283,22">
<var name="b" id="1894367444356272914" />
</scope>
<scope id="1894367444356272914" at="274,0,285,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356272930">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356272930" at="18,0,19,0" concept="1" trace="props_Lam" />
<node id="1894367444356272930" at="89,32,90,76" concept="3" />
<node id="1894367444356272930" at="90,76,91,35" concept="0" />
<node id="1894367444356272930" at="91,35,92,35" concept="0" />
<node id="1894367444356272930" at="93,9,94,25" concept="4" />
<node id="1894367444356272930" at="88,37,93,9" concept="2" />
<scope id="1894367444356272930" at="89,32,92,35">
<var name="cpb" id="1894367444356272930" />
</scope>
<scope id="1894367444356272930" at="88,37,94,25" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356272930" at="18,0,19,0" concept="5" trace="Lam" />
<node id="1894367444356272930" at="49,50,50,42" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356272930" at="23,0,24,0" concept="1" trace="myConceptLam" />
<node id="1894367444356272930" at="73,37,74,28" concept="4" />
<node id="1894367444356272930" at="193,61,194,154" concept="3" />
<node id="1894367444356272930" at="194,154,195,34" concept="0" />
<node id="1894367444356272930" at="195,34,196,71" concept="0" />
<node id="1894367444356272930" at="197,76,198,103" concept="0" />
<node id="1894367444356272930" at="198,103,199,17" concept="0" />
<node id="1894367444356272950" at="199,17,200,195" concept="0" />
<node id="1894367444356272930" at="200,195,201,19" concept="0" />
<node id="1894367444356272930" at="201,19,202,22" concept="4" />
<node id="1894367444356272930" at="193,0,204,0" concept="6" trace="createDescriptorForLam#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356272930" at="73,37,74,28" />
<scope id="1894367444356272930" at="193,61,202,22">
<var name="b" id="1894367444356272930" />
</scope>
<scope id="1894367444356272930" at="193,0,204,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356272954">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356272954" at="19,0,20,0" concept="1" trace="props_Let" />
<node id="1894367444356272954" at="96,32,97,76" concept="3" />
<node id="1894367444356272954" at="97,76,98,35" concept="0" />
<node id="1894367444356272954" at="98,35,99,35" concept="0" />
<node id="1894367444356272954" at="100,9,101,25" concept="4" />
<node id="1894367444356272954" at="95,37,100,9" concept="2" />
<scope id="1894367444356272954" at="96,32,99,35">
<var name="cpb" id="1894367444356272954" />
</scope>
<scope id="1894367444356272954" at="95,37,101,25" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356272954" at="19,0,20,0" concept="5" trace="Let" />
<node id="1894367444356272954" at="50,42,51,42" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356272954" at="24,0,25,0" concept="1" trace="myConceptLet" />
<node id="1894367444356272954" at="75,37,76,28" concept="4" />
<node id="1894367444356272954" at="204,61,205,154" concept="3" />
<node id="1894367444356272954" at="205,154,206,34" concept="0" />
<node id="1894367444356272954" at="206,34,207,71" concept="0" />
<node id="1894367444356272954" at="208,76,209,103" concept="0" />
<node id="1894367444356272954" at="209,103,210,17" concept="0" />
<node id="1894367444356272974" at="210,17,211,199" concept="0" />
<node id="1894367444356272978" at="211,199,212,198" concept="0" />
<node id="1894367444356272954" at="212,198,213,19" concept="0" />
<node id="1894367444356272954" at="213,19,214,22" concept="4" />
<node id="1894367444356272954" at="204,0,216,0" concept="6" trace="createDescriptorForLet#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356272954" at="75,37,76,28" />
<scope id="1894367444356272954" at="204,61,214,22">
<var name="b" id="1894367444356272954" />
</scope>
<scope id="1894367444356272954" at="204,0,216,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356273003">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356273003" at="14,0,15,0" concept="1" trace="props_App" />
<node id="1894367444356273003" at="62,32,63,76" concept="3" />
<node id="1894367444356273003" at="63,76,64,37" concept="0" />
<node id="1894367444356273003" at="64,37,65,35" concept="0" />
<node id="1894367444356273003" at="66,9,67,25" concept="4" />
<node id="1894367444356273003" at="61,37,66,9" concept="2" />
<scope id="1894367444356273003" at="62,32,65,35">
<var name="cpb" id="1894367444356273003" />
</scope>
<scope id="1894367444356273003" at="61,37,67,25" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356273003" at="14,0,15,0" concept="5" trace="App" />
<node id="1894367444356273003" at="45,43,46,42" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356273003" at="19,0,20,0" concept="1" trace="myConceptApp" />
<node id="1894367444356273003" at="65,37,66,28" concept="4" />
<node id="1894367444356273003" at="155,61,156,154" concept="3" />
<node id="1894367444356273003" at="156,154,157,34" concept="0" />
<node id="1894367444356273003" at="158,76,159,103" concept="0" />
<node id="1894367444356273003" at="159,103,160,17" concept="0" />
<node id="1894367444356273012" at="160,17,161,196" concept="0" />
<node id="1894367444356273016" at="161,196,162,196" concept="0" />
<node id="1894367444356273003" at="162,196,163,22" concept="4" />
<node id="1894367444356273003" at="155,0,165,0" concept="6" trace="createDescriptorForApp#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356273003" at="65,37,66,28" />
<scope id="1894367444356273003" at="155,61,163,22">
<var name="b" id="1894367444356273003" />
</scope>
<scope id="1894367444356273003" at="155,0,165,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356273023">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356273023" at="13,0,14,0" concept="1" trace="props_Anno" />
<node id="1894367444356273023" at="55,33,56,76" concept="3" />
<node id="1894367444356273023" at="56,76,57,35" concept="0" />
<node id="1894367444356273023" at="57,35,58,36" concept="0" />
<node id="1894367444356273023" at="59,9,60,26" concept="4" />
<node id="1894367444356273023" at="54,38,59,9" concept="2" />
<scope id="1894367444356273023" at="55,33,58,36">
<var name="cpb" id="1894367444356273023" />
</scope>
<scope id="1894367444356273023" at="54,38,60,26" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356273023" at="13,0,14,0" concept="5" trace="Anno" />
<node id="1894367444356273023" at="44,42,45,43" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356273023" at="18,0,19,0" concept="1" trace="myConceptAnno" />
<node id="1894367444356273023" at="63,38,64,29" concept="4" />
<node id="1894367444356273023" at="144,62,145,155" concept="3" />
<node id="1894367444356273023" at="145,155,146,34" concept="0" />
<node id="1894367444356273023" at="147,76,148,103" concept="0" />
<node id="1894367444356273023" at="148,103,149,17" concept="0" />
<node id="1894367444356273028" at="149,17,150,195" concept="0" />
<node id="1894367444356273109" at="150,195,151,196" concept="0" />
<node id="1894367444356273023" at="151,196,152,17" concept="0" />
<node id="1894367444356273023" at="152,17,153,22" concept="4" />
<node id="1894367444356273023" at="144,0,155,0" concept="6" trace="createDescriptorForAnno#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356273023" at="63,38,64,29" />
<scope id="1894367444356273023" at="144,62,153,22">
<var name="b" id="1894367444356273023" />
</scope>
<scope id="1894367444356273023" at="144,0,155,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356273039">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356273039" at="33,0,34,0" concept="1" trace="props_Type" />
<node id="1894367444356273039" at="193,33,194,76" concept="3" />
<node id="1894367444356273039" at="194,76,195,36" concept="0" />
<node id="1894367444356273039" at="196,9,197,26" concept="4" />
<node id="1894367444356273039" at="192,38,196,9" concept="2" />
<scope id="1894367444356273039" at="193,33,195,36">
<var name="cpb" id="1894367444356273039" />
</scope>
<scope id="1894367444356273039" at="192,38,197,26" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356273039" at="33,0,34,0" concept="5" trace="Type" />
<node id="1894367444356273039" at="64,43,65,43" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356273039" at="38,0,39,0" concept="1" trace="myConceptType" />
<node id="1894367444356273039" at="103,38,104,29" concept="4" />
<node id="1894367444356273039" at="177,34,178,76" concept="0" />
<node id="1894367444356273039" at="287,34,288,76" concept="0" />
<node id="1894367444356273039" at="305,34,306,76" concept="0" />
<node id="1894367444356273039" at="340,62,341,155" concept="3" />
<node id="1894367444356273039" at="341,155,342,19" concept="0" />
<node id="1894367444356273039" at="342,19,343,103" concept="0" />
<node id="1894367444356273039" at="343,103,344,17" concept="0" />
<node id="1894367444356273039" at="344,17,345,22" concept="4" />
<node id="1894367444356273039" at="350,71,351,76" concept="0" />
<node id="1894367444356273039" at="366,34,367,76" concept="0" />
<node id="1894367444356273039" at="384,34,385,76" concept="0" />
<node id="1894367444356273039" at="340,0,347,0" concept="6" trace="createDescriptorForType#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356273039" at="103,38,104,29" />
<scope id="1894367444356273039" at="340,62,345,22">
<var name="b" id="1894367444356273039" />
</scope>
<scope id="1894367444356273039" at="340,0,347,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356273040">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356273040" at="16,0,17,0" concept="1" trace="props_Fun" />
<node id="1894367444356273040" at="76,32,77,76" concept="3" />
<node id="1894367444356273040" at="77,76,78,36" concept="0" />
<node id="1894367444356273040" at="78,36,79,35" concept="0" />
<node id="1894367444356273040" at="80,9,81,25" concept="4" />
<node id="1894367444356273040" at="75,37,80,9" concept="2" />
<scope id="1894367444356273040" at="76,32,79,35">
<var name="cpb" id="1894367444356273040" />
</scope>
<scope id="1894367444356273040" at="75,37,81,25" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356273040" at="16,0,17,0" concept="5" trace="Fun" />
<node id="1894367444356273040" at="47,42,48,42" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356273040" at="21,0,22,0" concept="1" trace="myConceptFun" />
<node id="1894367444356273040" at="69,37,70,28" concept="4" />
<node id="1894367444356273040" at="175,61,176,154" concept="3" />
<node id="1894367444356273040" at="176,154,177,34" concept="0" />
<node id="1894367444356273040" at="178,76,179,103" concept="0" />
<node id="1894367444356273040" at="179,103,180,17" concept="0" />
<node id="1894367444356273045" at="180,17,181,197" concept="0" />
<node id="1894367444356273049" at="181,197,182,197" concept="0" />
<node id="1894367444356273040" at="182,197,183,18" concept="0" />
<node id="1894367444356273040" at="183,18,184,22" concept="4" />
<node id="1894367444356273040" at="175,0,186,0" concept="6" trace="createDescriptorForFun#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356273040" at="69,37,70,28" />
<scope id="1894367444356273040" at="175,61,184,22">
<var name="b" id="1894367444356273040" />
</scope>
<scope id="1894367444356273040" at="175,0,186,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356273132">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356273132" at="27,0,28,0" concept="1" trace="props_Nat" />
<node id="1894367444356273132" at="152,32,153,76" concept="3" />
<node id="1894367444356273132" at="153,76,154,37" concept="0" />
<node id="1894367444356273132" at="154,37,155,35" concept="0" />
<node id="1894367444356273132" at="156,9,157,25" concept="4" />
<node id="1894367444356273132" at="151,37,156,9" concept="2" />
<scope id="1894367444356273132" at="152,32,155,35">
<var name="cpb" id="1894367444356273132" />
</scope>
<scope id="1894367444356273132" at="151,37,157,25" />
</file>
<file name="LanguageConceptSwitch.java">
<node id="1894367444356273132" at="27,0,28,0" concept="5" trace="Nat" />
<node id="1894367444356273132" at="58,43,59,42" concept="0" />
</file>
<file name="StructureAspectDescriptor.java">
<node id="1894367444356273132" at="32,0,33,0" concept="1" trace="myConceptNat" />
<node id="1894367444356273132" at="91,37,92,28" concept="4" />
<node id="1894367444356273132" at="285,61,286,154" concept="3" />
<node id="1894367444356273132" at="286,154,287,34" concept="0" />
<node id="1894367444356273132" at="288,76,289,103" concept="0" />
<node id="1894367444356273132" at="289,103,290,17" concept="0" />
<node id="1894367444356273132" at="290,17,291,19" concept="0" />
<node id="1894367444356273132" at="291,19,292,22" concept="4" />
<node id="1894367444356273132" at="285,0,294,0" concept="6" trace="createDescriptorForNat#()Ljetbrains/mps/smodel/runtime/ConceptDescriptor;" />
<scope id="1894367444356273132" at="91,37,92,28" />
<scope id="1894367444356273132" at="285,61,292,22">
<var name="b" id="1894367444356273132" />
</scope>
<scope id="1894367444356273132" at="285,0,294,0" />
</file>
</root>
<root nodeRef="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)/1894367444356273137">
<file name="ConceptPresentationAspectImpl.java">
<node id="1894367444356273137" at="28,0,29,0" concept="1" trace="props_ParensTerm" />
<node id="1894367444356273137" at="159,39,160,76" concept="3" />
<