natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Apply migration that replaces all instances of NodeAnchor with .pointer op.

This commit is contained in:
Fedor Isakov 2019-11-06 11:21:39 +01:00
parent 3caeddcb63
commit ad90a4cb77
20 changed files with 1740 additions and 1191 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl
View File

@ -24,7 +24,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="15" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="16" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="5" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

2
coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="15" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="16" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>

2
coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl
View File

@ -66,7 +66,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="15" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="16" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="5" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

25
coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
View File

@ -2,7 +2,7 @@
<model ref="r:65f97255-4bb1-4783-acd6-a4ed5a1088e2(jetbrains.mps.typechecking.testlang.types)">
<persistence version="9" />
<languages>
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="-1" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="16" />
<use id="cba985fe-1e96-4f16-9f8d-b07434405d4f" name="jetbrains.mps.lang.smodel.types" version="-1" />
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="9" />
<use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="17" />
@ -265,9 +265,6 @@
<concept id="1476354154047570702" name="jetbrains.mps.lang.coderules.structure.CodeBlock" flags="ng" index="3AO9d9">
<child id="535508562359074271" name="code" index="16YjZG" />
</concept>
<concept id="8581119423153238082" name="jetbrains.mps.lang.coderules.structure.NodeAnchor" flags="ng" index="3BlFb$">
<child id="8581119423153238083" name="node" index="3BlFb_" />
</concept>
<concept id="1553157749316176827" name="jetbrains.mps.lang.coderules.structure.PatternLogicalVariable" flags="ng" index="1HFMs5">
<child id="5131913661993028915" name="variable" index="1uarlU" />
<child id="5131913661993028917" name="value" index="1uarlW" />
@ -405,10 +402,11 @@
<node concept="3I6s7M" id="7mB3viLbCKf" role="3I6sU7">
<node concept="3Aqt3T" id="7mB3viLbCKe" role="3I6s78">
<ref role="3AqCNq" node="7mB3viLbCp9" resolve="typeof" />
<node concept="3BlFb$" id="7mB3viLbCKk" role="3AunhB">
<node concept="3A2sRY" id="7mB3viLbCKx" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD8D" role="3AunhB">
<node concept="3A2sRY" id="7mB3viLbCKx" role="2Oq$k0">
<ref role="3A2yKK" node="7lt0LtPOZVo" resolve="bc" />
</node>
<node concept="iZEcu" id="1TH_SRlXD8E" role="2OqNvi" />
</node>
<node concept="1HFMs5" id="7mB3viLbLJw" role="3AunhB">
<node concept="a7P8L" id="7mB3viLbCKD" role="1uarlU">
@ -806,10 +804,11 @@
<node concept="3I6s7M" id="7mB3viLbCph" role="3I6sU7">
<node concept="3Aqt3T" id="7mB3viLbCpk" role="3I6s78">
<ref role="3AqCNq" node="7mB3viLbCp9" resolve="typeof" />
<node concept="3BlFb$" id="7mB3viLbCpp" role="3AunhB">
<node concept="3A2sRY" id="7mB3viLbCpy" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD8F" role="3AunhB">
<node concept="3A2sRY" id="7mB3viLbCpy" role="2Oq$k0">
<ref role="3A2yKK" node="7lt0LtPHRZd" resolve="expr" />
</node>
<node concept="iZEcu" id="1TH_SRlXD8G" role="2OqNvi" />
</node>
<node concept="a7P8L" id="7mB3viLcGwk" role="3AunhB">
<ref role="a7OzE" node="7mB3viLcDAk" resolve="T" />
@ -883,10 +882,11 @@
<node concept="3I6s7M" id="7mB3viLdf_c" role="3I6sU7">
<node concept="3Aqt3T" id="7mB3viLdf_b" role="3I6s78">
<ref role="3AqCNq" node="7mB3viLbCp9" resolve="typeof" />
<node concept="3BlFb$" id="7mB3viLdf_h" role="3AunhB">
<node concept="37vLTw" id="7mB3viLdf_q" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD8H" role="3AunhB">
<node concept="37vLTw" id="7mB3viLdf_q" role="2Oq$k0">
<ref role="3cqZAo" node="7mB3viLdfuY" resolve="init" />
</node>
<node concept="iZEcu" id="1TH_SRlXD8I" role="2OqNvi" />
</node>
<node concept="a7P8L" id="7mB3viLdf_A" role="3AunhB">
<ref role="a7OzE" node="7mB3viLdf_2" resolve="T" />
@ -907,10 +907,11 @@
<node concept="3I6s7M" id="7mB3viLdfAA" role="3I6sU7">
<node concept="3Aqt3T" id="7mB3viLdfA_" role="3I6s78">
<ref role="3AqCNq" node="7mB3viLbCp9" resolve="typeof" />
<node concept="3BlFb$" id="7mB3viLdfAL" role="3AunhB">
<node concept="3A2sRY" id="7mB3viLdfAU" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD8J" role="3AunhB">
<node concept="3A2sRY" id="7mB3viLdfAU" role="2Oq$k0">
<ref role="3A2yKK" node="7mB3viLddke" resolve="varDecl" />
</node>
<node concept="iZEcu" id="1TH_SRlXD8K" role="2OqNvi" />
</node>
<node concept="a7P8L" id="7mB3viLdfB6" role="3AunhB">
<ref role="a7OzE" node="7mB3viLdf_2" resolve="T" />

2
coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd
View File

@ -33,7 +33,7 @@
<language slang="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" version="0" />
<language slang="l:63650c59-16c8-498a-99c8-005c7ee9515d:jetbrains.mps.lang.access" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="15" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="16" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
<language slang="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" version="0" />
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />

211
coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
View File

@ -12,7 +12,7 @@
<use id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access" version="-1" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="4" />
<use id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text" version="-1" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="15" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="16" />
<use id="3a1f0f04-b5e0-43be-884e-b856bfdeca21" name="jetbrains.mps.typechecking.testlang" version="0" />
</languages>
<imports>
@ -228,6 +228,7 @@
<concept id="1138411891628" name="jetbrains.mps.lang.smodel.structure.SNodeOperation" flags="nn" index="eCIE_">
<child id="1144104376918" name="parameter" index="1xVPHs" />
</concept>
<concept id="5045161044515397667" name="jetbrains.mps.lang.smodel.structure.Node_PointerOperation" flags="ng" index="iZEcu" />
<concept id="7400021826774799413" name="jetbrains.mps.lang.smodel.structure.NodePointerExpression" flags="ng" index="2tJFMh">
<child id="7400021826774799510" name="ref" index="2tJFKM" />
</concept>
@ -373,9 +374,6 @@
<reference id="7368070394767091750" name="template" index="3AqCNq" />
<child id="7368070394768117915" name="argument" index="3AunhB" />
</concept>
<concept id="8581119423153238082" name="jetbrains.mps.lang.coderules.structure.NodeAnchor" flags="ng" index="3BlFb$">
<child id="8581119423153238083" name="node" index="3BlFb_" />
</concept>
<concept id="2316688792938826204" name="jetbrains.mps.lang.coderules.structure.ConstraintLogicalClause" flags="ng" index="3I6s7M">
<child id="2316688792938826214" name="constraint" index="3I6s78" />
</concept>
@ -1013,8 +1011,8 @@
<node concept="3I6s7M" id="7qe1GumRXO$" role="3I6sU7">
<node concept="3Aqt3T" id="7qe1GumRXO_" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="7qe1GumRXOA" role="3AunhB">
<node concept="2OqwBi" id="7qe1GumRXOB" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDBK" role="3AunhB">
<node concept="2OqwBi" id="7qe1GumRXOB" role="2Oq$k0">
<node concept="3A2sRY" id="7qe1GumRXOC" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1022,6 +1020,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueC" resolve="fst" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDBL" role="2OqNvi" />
</node>
<node concept="a7P8L" id="7qe1GumRXOE" role="3AunhB">
<ref role="a7OzE" node="7qe1GumRXOP" resolve="L" />
@ -1031,8 +1030,8 @@
<node concept="3I6s7M" id="7qe1GumRXOF" role="3I6sU7">
<node concept="3Aqt3T" id="7qe1GumRXOG" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="7qe1GumRXOH" role="3AunhB">
<node concept="2OqwBi" id="7qe1GumRXOI" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDBM" role="3AunhB">
<node concept="2OqwBi" id="7qe1GumRXOI" role="2Oq$k0">
<node concept="3A2sRY" id="7qe1GumRXOJ" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1040,6 +1039,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueE" resolve="snd" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDBN" role="2OqNvi" />
</node>
<node concept="a7P8L" id="7qe1GumRXOL" role="3AunhB">
<ref role="a7OzE" node="7qe1GumRXOQ" resolve="R" />
@ -1092,10 +1092,11 @@
<node concept="3I6s7M" id="7qe1GumRXP3" role="3I6sU7">
<node concept="3Aqt3T" id="7qe1GumRXP4" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="7qe1GumRXP5" role="3AunhB">
<node concept="3A2sRY" id="7qe1GumRXP6" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDBO" role="3AunhB">
<node concept="3A2sRY" id="7qe1GumRXP6" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
<node concept="iZEcu" id="1TH_SRlXDBP" role="2OqNvi" />
</node>
<node concept="a7P8L" id="7qe1GumRXP7" role="3AunhB">
<ref role="a7OzE" node="7qe1GumRXOO" resolve="T" />
@ -1118,8 +1119,8 @@
<node concept="3I6s7M" id="JfcwnvuwX3" role="3I6sU7">
<node concept="3Aqt3T" id="JfcwnvuwX4" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="JfcwnvuwX5" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvuwX6" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDBQ" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvuwX6" role="2Oq$k0">
<node concept="3A2sRY" id="JfcwnvuwX7" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1127,6 +1128,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueC" resolve="fst" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDBR" role="2OqNvi" />
</node>
<node concept="a7P8L" id="JfcwnvuwX9" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT54SS" resolve="L" />
@ -1136,8 +1138,8 @@
<node concept="3I6s7M" id="JfcwnvuwXa" role="3I6sU7">
<node concept="3Aqt3T" id="JfcwnvuwXb" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="JfcwnvuwXc" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvuwXd" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDBS" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvuwXd" role="2Oq$k0">
<node concept="3A2sRY" id="JfcwnvuwXe" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1145,6 +1147,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueE" resolve="snd" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDBT" role="2OqNvi" />
</node>
<node concept="a7P8L" id="JfcwnvuwXg" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT54ST" resolve="R" />
@ -1214,10 +1217,11 @@
<node concept="3I6s7M" id="7qe1GumRY7n" role="3I6sU7">
<node concept="3Aqt3T" id="7qe1GumRY7o" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="7qe1GumRY7p" role="3AunhB">
<node concept="3A2sRY" id="7qe1GumRY7q" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDBU" role="3AunhB">
<node concept="3A2sRY" id="7qe1GumRY7q" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
<node concept="iZEcu" id="1TH_SRlXDBV" role="2OqNvi" />
</node>
<node concept="a7P8L" id="7qe1GumRY7r" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT54SR" resolve="T" />
@ -1240,8 +1244,8 @@
<node concept="3I6s7M" id="Jfcwnvux21" role="3I6sU7">
<node concept="3Aqt3T" id="Jfcwnvux22" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="Jfcwnvux23" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvux24" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDBW" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvux24" role="2Oq$k0">
<node concept="3A2sRY" id="Jfcwnvux25" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1249,6 +1253,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueC" resolve="fst" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDBX" role="2OqNvi" />
</node>
<node concept="a7P8L" id="Jfcwnvux27" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT5511" resolve="L" />
@ -1258,8 +1263,8 @@
<node concept="3I6s7M" id="Jfcwnvux28" role="3I6sU7">
<node concept="3Aqt3T" id="Jfcwnvux29" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="Jfcwnvux2a" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvux2b" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDBY" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvux2b" role="2Oq$k0">
<node concept="3A2sRY" id="Jfcwnvux2c" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1267,6 +1272,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueE" resolve="snd" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDBZ" role="2OqNvi" />
</node>
<node concept="a7P8L" id="Jfcwnvux2e" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT5512" resolve="R" />
@ -1326,10 +1332,11 @@
<node concept="3I6s7M" id="7qe1GumF3UC" role="3I6sU7">
<node concept="3Aqt3T" id="JqEP$8smMx" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="JqEP$8smMN" role="3AunhB">
<node concept="3A2sRY" id="JqEP$8smMU" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDC0" role="3AunhB">
<node concept="3A2sRY" id="JqEP$8smMU" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
<node concept="iZEcu" id="1TH_SRlXDC1" role="2OqNvi" />
</node>
<node concept="a7P8L" id="7qe1GumRY5d" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT5510" resolve="T" />
@ -1372,8 +1379,8 @@
<node concept="3I6s7M" id="Jfcwnvux8Q" role="3I6sU7">
<node concept="3Aqt3T" id="Jfcwnvux8R" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="Jfcwnvux8S" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvux8T" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDC2" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvux8T" role="2Oq$k0">
<node concept="3A2sRY" id="Jfcwnvux8U" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1381,6 +1388,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueC" resolve="fst" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDC3" role="2OqNvi" />
</node>
<node concept="a7P8L" id="Jfcwnvux8W" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55hT" resolve="L" />
@ -1390,8 +1398,8 @@
<node concept="3I6s7M" id="Jfcwnvux8X" role="3I6sU7">
<node concept="3Aqt3T" id="Jfcwnvux8Y" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="Jfcwnvux8Z" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvux90" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDC4" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvux90" role="2Oq$k0">
<node concept="3A2sRY" id="Jfcwnvux91" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1399,6 +1407,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueE" resolve="snd" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDC5" role="2OqNvi" />
</node>
<node concept="a7P8L" id="Jfcwnvux93" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55hU" resolve="R" />
@ -1458,10 +1467,11 @@
<node concept="3I6s7M" id="7qe1GumTyT1" role="3I6sU7">
<node concept="3Aqt3T" id="7qe1GumTyT2" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="7qe1GumTyT3" role="3AunhB">
<node concept="3A2sRY" id="7qe1GumTyT4" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDC6" role="3AunhB">
<node concept="3A2sRY" id="7qe1GumTyT4" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
<node concept="iZEcu" id="1TH_SRlXDC7" role="2OqNvi" />
</node>
<node concept="a7P8L" id="7qe1GumTyT5" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55hS" resolve="T" />
@ -1504,8 +1514,8 @@
<node concept="3I6s7M" id="Jfcwnvuxf3" role="3I6sU7">
<node concept="3Aqt3T" id="Jfcwnvuxf4" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="Jfcwnvuxf5" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvuxf6" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDC8" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvuxf6" role="2Oq$k0">
<node concept="3A2sRY" id="Jfcwnvuxf7" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1513,6 +1523,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueC" resolve="fst" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDC9" role="2OqNvi" />
</node>
<node concept="a7P8L" id="Jfcwnvuxf9" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55s9" resolve="L" />
@ -1522,8 +1533,8 @@
<node concept="3I6s7M" id="Jfcwnvuxfa" role="3I6sU7">
<node concept="3Aqt3T" id="Jfcwnvuxfb" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="Jfcwnvuxfc" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvuxfd" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCa" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvuxfd" role="2Oq$k0">
<node concept="3A2sRY" id="Jfcwnvuxfe" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1531,6 +1542,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueE" resolve="snd" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCb" role="2OqNvi" />
</node>
<node concept="a7P8L" id="Jfcwnvuxfg" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55sa" resolve="R" />
@ -1540,10 +1552,11 @@
<node concept="3I6s7M" id="JfcwnvuxmN" role="3I6sU7">
<node concept="3Aqt3T" id="JfcwnvuxmL" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="Jfcwnvuxn6" role="3AunhB">
<node concept="3A2sRY" id="Jfcwnvuxnf" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCc" role="3AunhB">
<node concept="3A2sRY" id="Jfcwnvuxnf" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
<node concept="iZEcu" id="1TH_SRlXDCd" role="2OqNvi" />
</node>
<node concept="a7P8L" id="Jfcwnvuxnr" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55s8" resolve="T" />
@ -1616,8 +1629,8 @@
<node concept="3I6s7M" id="Jfcwnvuxny" role="3I6sU7">
<node concept="3Aqt3T" id="Jfcwnvuxnz" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="Jfcwnvuxn$" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvuxn_" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCe" role="3AunhB">
<node concept="2OqwBi" id="Jfcwnvuxn_" role="2Oq$k0">
<node concept="3A2sRY" id="JfcwnvuxnA" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1625,6 +1638,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueC" resolve="fst" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCf" role="2OqNvi" />
</node>
<node concept="a7P8L" id="JfcwnvuxnC" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55$P" resolve="L" />
@ -1634,8 +1648,8 @@
<node concept="3I6s7M" id="JfcwnvuxnD" role="3I6sU7">
<node concept="3Aqt3T" id="JfcwnvuxnE" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="JfcwnvuxnF" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvuxnG" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCg" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvuxnG" role="2Oq$k0">
<node concept="3A2sRY" id="JfcwnvuxnH" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1643,6 +1657,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueE" resolve="snd" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCh" role="2OqNvi" />
</node>
<node concept="a7P8L" id="JfcwnvuxnJ" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55$Q" resolve="R" />
@ -1652,10 +1667,11 @@
<node concept="3I6s7M" id="JfcwnvuxnK" role="3I6sU7">
<node concept="3Aqt3T" id="JfcwnvuxnL" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="JfcwnvuxnM" role="3AunhB">
<node concept="3A2sRY" id="JfcwnvuxnN" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCi" role="3AunhB">
<node concept="3A2sRY" id="JfcwnvuxnN" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
<node concept="iZEcu" id="1TH_SRlXDCj" role="2OqNvi" />
</node>
<node concept="a7P8L" id="JfcwnvuxnO" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55$O" resolve="T" />
@ -1670,10 +1686,11 @@
<node concept="3I6s7M" id="JfcwnvuxyD" role="3I6sU7">
<node concept="3Aqt3T" id="JfcwnvuxyC" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="JfcwnvuxyI" role="3AunhB">
<node concept="3A2sRY" id="JfcwnvuxyR" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCk" role="3AunhB">
<node concept="3A2sRY" id="JfcwnvuxyR" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
<node concept="iZEcu" id="1TH_SRlXDCl" role="2OqNvi" />
</node>
<node concept="a7P8L" id="Jfcwnvuxz3" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55G1" resolve="T1" />
@ -1785,8 +1802,8 @@
<node concept="3I6s7M" id="JfcwnvuxCd" role="3I6sU7">
<node concept="3Aqt3T" id="JfcwnvuxCe" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="JfcwnvuxCf" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvuxCg" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCm" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvuxCg" role="2Oq$k0">
<node concept="3A2sRY" id="JfcwnvuxCh" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1794,6 +1811,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueC" resolve="fst" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCn" role="2OqNvi" />
</node>
<node concept="a7P8L" id="JfcwnvuxCj" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55Om" resolve="L" />
@ -1803,8 +1821,8 @@
<node concept="3I6s7M" id="JfcwnvuxCk" role="3I6sU7">
<node concept="3Aqt3T" id="JfcwnvuxCl" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="JfcwnvuxCm" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvuxCn" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCo" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvuxCn" role="2Oq$k0">
<node concept="3A2sRY" id="JfcwnvuxCo" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1812,6 +1830,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueE" resolve="snd" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCp" role="2OqNvi" />
</node>
<node concept="a7P8L" id="JfcwnvuxCq" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55On" resolve="R" />
@ -1821,10 +1840,11 @@
<node concept="3I6s7M" id="JfcwnvuxCr" role="3I6sU7">
<node concept="3Aqt3T" id="JfcwnvuxCs" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="JfcwnvuxCt" role="3AunhB">
<node concept="3A2sRY" id="JfcwnvuxM6" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCq" role="3AunhB">
<node concept="3A2sRY" id="JfcwnvuxM6" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
<node concept="iZEcu" id="1TH_SRlXDCr" role="2OqNvi" />
</node>
<node concept="a7P8L" id="JfcwnvuxO1" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT55Ok" resolve="T" />
@ -1926,8 +1946,8 @@
<node concept="3I6s7M" id="4t6qIYTd7DZ" role="3I6sU7">
<node concept="3Aqt3T" id="4t6qIYTd7E0" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="4t6qIYTd7E1" role="3AunhB">
<node concept="2OqwBi" id="4t6qIYTd7E2" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCs" role="3AunhB">
<node concept="2OqwBi" id="4t6qIYTd7E2" role="2Oq$k0">
<node concept="3A2sRY" id="4t6qIYTd7E3" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1935,6 +1955,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueC" resolve="fst" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCt" role="2OqNvi" />
</node>
<node concept="a7P8L" id="4t6qIYTd7E5" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT564B" resolve="L" />
@ -1944,8 +1965,8 @@
<node concept="3I6s7M" id="4t6qIYTd7E6" role="3I6sU7">
<node concept="3Aqt3T" id="4t6qIYTd7E7" role="3I6s78">
<ref role="3AqCNq" node="7qe1GumTD8W" resolve="t1TypeOf" />
<node concept="3BlFb$" id="4t6qIYTd7E8" role="3AunhB">
<node concept="2OqwBi" id="4t6qIYTd7E9" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCu" role="3AunhB">
<node concept="2OqwBi" id="4t6qIYTd7E9" role="2Oq$k0">
<node concept="3A2sRY" id="4t6qIYTd7Ea" role="2Oq$k0">
<ref role="3A2yKK" node="JqEP$8slrV" resolve="pair" />
</node>
@ -1953,6 +1974,7 @@
<ref role="3Tt5mk" to="qulx:JfcwnvuueE" resolve="snd" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCv" role="2OqNvi" />
</node>
<node concept="a7P8L" id="4t6qIYTd7Ec" role="3AunhB">
<ref role="a7OzE" node="5TXeSYT564C" resolve="R" />
@ -3135,8 +3157,8 @@
<node concept="3I6s7M" id="48ZGLP7pkxm" role="3I6sU7">
<node concept="3Aqt3T" id="48ZGLP7pkxk" role="3I6s78">
<ref role="3AqCNq" node="6V4Y$98qO$3" resolve="t4ypeOf" />
<node concept="3BlFb$" id="48ZGLP7pkxy" role="3AunhB">
<node concept="2OqwBi" id="48ZGLP7pkCK" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCw" role="3AunhB">
<node concept="2OqwBi" id="48ZGLP7pkCK" role="2Oq$k0">
<node concept="3A2sRY" id="48ZGLP7pkxD" role="2Oq$k0">
<ref role="3A2yKK" node="48ZGLP7pgx0" resolve="vd" />
</node>
@ -3144,6 +3166,7 @@
<ref role="3Tt5mk" to="qulx:7mB3viLbaWO" resolve="decl" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCx" role="2OqNvi" />
</node>
<node concept="ns1u0" id="JfcwnvutGa" role="3AunhB">
<ref role="ns1xF" to="zuft:JOGAOsVt6y" resolve="Type" />
@ -3174,8 +3197,8 @@
<node concept="3I6s7M" id="48ZGLP7pgwS" role="3I6sU7">
<node concept="3Aqt3T" id="48ZGLP7pgwT" role="3I6s78">
<ref role="3AqCNq" node="6V4Y$98qO$3" resolve="t4ypeOf" />
<node concept="3BlFb$" id="48ZGLP7pgwU" role="3AunhB">
<node concept="2OqwBi" id="48ZGLP7pgwV" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCy" role="3AunhB">
<node concept="2OqwBi" id="48ZGLP7pgwV" role="2Oq$k0">
<node concept="3A2sRY" id="48ZGLP7pgwW" role="2Oq$k0">
<ref role="3A2yKK" node="48ZGLP7pgx0" resolve="vd" />
</node>
@ -3183,6 +3206,7 @@
<ref role="3Tt5mk" to="qulx:7mB3viLbaWQ" resolve="init" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCz" role="2OqNvi" />
</node>
<node concept="a7P8L" id="48ZGLP7pgwY" role="3AunhB">
<ref role="a7OzE" node="48ZGLP7pgwC" resolve="E" />
@ -3255,8 +3279,8 @@
<node concept="3I6s7M" id="JfcwnvutH2" role="3I6sU7">
<node concept="3Aqt3T" id="JfcwnvutH3" role="3I6s78">
<ref role="3AqCNq" node="6V4Y$98qO$3" resolve="t4ypeOf" />
<node concept="3BlFb$" id="JfcwnvutH4" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvutH5" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDC$" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvutH5" role="2Oq$k0">
<node concept="3A2sRY" id="JfcwnvutH6" role="2Oq$k0">
<ref role="3A2yKK" node="JfcwnvutHq" resolve="vd" />
</node>
@ -3264,6 +3288,7 @@
<ref role="3Tt5mk" to="qulx:7mB3viLbaWO" resolve="decl" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDC_" role="2OqNvi" />
</node>
<node concept="a7P8L" id="JfcwnvutNr" role="3AunhB">
<ref role="a7OzE" node="JfcwnvutMw" resolve="G" />
@ -3278,8 +3303,8 @@
<node concept="3I6s7M" id="JfcwnvutHh" role="3I6sU7">
<node concept="3Aqt3T" id="JfcwnvutHi" role="3I6s78">
<ref role="3AqCNq" node="6V4Y$98qO$3" resolve="t4ypeOf" />
<node concept="3BlFb$" id="JfcwnvutHj" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvutHk" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCA" role="3AunhB">
<node concept="2OqwBi" id="JfcwnvutHk" role="2Oq$k0">
<node concept="3A2sRY" id="JfcwnvutHl" role="2Oq$k0">
<ref role="3A2yKK" node="JfcwnvutHq" resolve="vd" />
</node>
@ -3287,6 +3312,7 @@
<ref role="3Tt5mk" to="qulx:7mB3viLbaWQ" resolve="init" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCB" role="2OqNvi" />
</node>
<node concept="a7P8L" id="JfcwnvutHn" role="3AunhB">
<ref role="a7OzE" node="JfcwnvutGX" resolve="E" />
@ -3572,8 +3598,8 @@
<node concept="3I6s7M" id="4nIWweB_nxj" role="3I6sU7">
<node concept="3Aqt3T" id="34$A1MfhpMT" role="3I6s78">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="34$A1MfhpMO" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpMP" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCC" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpMP" role="2Oq$k0">
<node concept="3A2sRY" id="34$A1MfhpMQ" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6tQXC" resolve="ee" />
</node>
@ -3581,6 +3607,7 @@
<ref role="3Tt5mk" to="tpee:fJuHU4s" resolve="leftExpression" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCD" role="2OqNvi" />
</node>
<node concept="a7P8L" id="34$A1MfhpMS" role="3AunhB">
<ref role="a7OzE" node="4nIWweB_nka" resolve="LeftType" />
@ -3590,8 +3617,8 @@
<node concept="3I6s7M" id="4nIWweB_nxk" role="3I6sU7">
<node concept="3Aqt3T" id="34$A1MfhpNN" role="3I6s78">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="34$A1MfhpNI" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpNJ" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCE" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpNJ" role="2Oq$k0">
<node concept="3A2sRY" id="34$A1MfhpNK" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6tQXC" resolve="ee" />
</node>
@ -3599,6 +3626,7 @@
<ref role="3Tt5mk" to="tpee:fJuHU4r" resolve="rightExpression" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCF" role="2OqNvi" />
</node>
<node concept="a7P8L" id="34$A1MfhpNM" role="3AunhB">
<ref role="a7OzE" node="4nIWweB_nkw" resolve="RightType" />
@ -3622,10 +3650,11 @@
<node concept="3Aqczg" id="5bC6UNlIY4G" role="3cqZAp">
<node concept="3Aqt3T" id="34$A1MfhpND" role="3Aqpz8">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="34$A1MfhpNA" role="3AunhB">
<node concept="3A2sRY" id="34$A1MfhpNB" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCG" role="3AunhB">
<node concept="3A2sRY" id="34$A1MfhpNB" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6tQXC" resolve="ee" />
</node>
<node concept="iZEcu" id="1TH_SRlXDCH" role="2OqNvi" />
</node>
<node concept="a7P8L" id="34$A1MfhpNC" role="3AunhB">
<ref role="a7OzE" node="4nIWweB_n$x" resolve="ResultType" />
@ -3670,8 +3699,8 @@
<node concept="3I6s7M" id="4nIWweB_nOq" role="3I6sU7">
<node concept="3Aqt3T" id="34$A1MfhpOy" role="3I6s78">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="34$A1MfhpOt" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpOu" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCI" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpOu" role="2Oq$k0">
<node concept="3A2sRY" id="34$A1MfhpOv" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6eQsN" resolve="ae" />
</node>
@ -3679,6 +3708,7 @@
<ref role="3Tt5mk" to="tpee:fz7vLUn" resolve="lValue" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCJ" role="2OqNvi" />
</node>
<node concept="a7P8L" id="34$A1MfhpOx" role="3AunhB">
<ref role="a7OzE" node="13kcg0BqE0" resolve="LType" />
@ -3688,8 +3718,8 @@
<node concept="3I6s7M" id="4nIWweB_nOr" role="3I6sU7">
<node concept="3Aqt3T" id="34$A1MfhpMZ" role="3I6s78">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="34$A1MfhpMU" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpMV" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCK" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpMV" role="2Oq$k0">
<node concept="3A2sRY" id="34$A1MfhpMW" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6eQsN" resolve="ae" />
</node>
@ -3697,6 +3727,7 @@
<ref role="3Tt5mk" to="tpee:fz7vLUp" resolve="rValue" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCL" role="2OqNvi" />
</node>
<node concept="a7P8L" id="34$A1MfhpMY" role="3AunhB">
<ref role="a7OzE" node="13kcg0BqE9" resolve="RType" />
@ -3721,10 +3752,11 @@
<node concept="3I6s7M" id="35YJGAJXT_a" role="3I6sU7">
<node concept="3Aqt3T" id="35YJGAJXT_8" role="3I6s78">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="35YJGAJXT_j" role="3AunhB">
<node concept="3A2sRY" id="35YJGAJXT_p" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCM" role="3AunhB">
<node concept="3A2sRY" id="35YJGAJXT_p" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6eQsN" resolve="ae" />
</node>
<node concept="iZEcu" id="1TH_SRlXDCN" role="2OqNvi" />
</node>
<node concept="a7P8L" id="35YJGAJXUci" role="3AunhB">
<ref role="a7OzE" node="13kcg0BqE0" resolve="LType" />
@ -3778,10 +3810,11 @@
<node concept="3I6s7M" id="35YJGAK4GHO" role="3I6sU7">
<node concept="3Aqt3T" id="35YJGAK4GHM" role="3I6s78">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="35YJGAK4GHX" role="3AunhB">
<node concept="3A2sRY" id="35YJGAK4GI3" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCO" role="3AunhB">
<node concept="3A2sRY" id="35YJGAK4GI3" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6fRHP" resolve="oae" />
</node>
<node concept="iZEcu" id="1TH_SRlXDCP" role="2OqNvi" />
</node>
<node concept="a7P8L" id="35YJGAK4GIg" role="3AunhB">
<ref role="a7OzE" node="35YJGAK4GHo" resolve="CaptureT" />
@ -3809,8 +3842,8 @@
<node concept="3I6s7M" id="4nIWweB_nSc" role="3I6sU7">
<node concept="3Aqt3T" id="34$A1MfhpOT" role="3I6s78">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="34$A1MfhpOO" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpOP" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCQ" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpOP" role="2Oq$k0">
<node concept="3A2sRY" id="34$A1MfhpOQ" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6fRHP" resolve="oae" />
</node>
@ -3818,6 +3851,7 @@
<ref role="3Tt5mk" to="tpee:fz7vLUn" resolve="lValue" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCR" role="2OqNvi" />
</node>
<node concept="a7P8L" id="34$A1MfhpOS" role="3AunhB">
<ref role="a7OzE" node="13kcg0BqLs" resolve="OpndT" />
@ -3827,8 +3861,8 @@
<node concept="3I6s7M" id="4nIWweB_nSd" role="3I6sU7">
<node concept="3Aqt3T" id="34$A1MfhpN5" role="3I6s78">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="34$A1MfhpN0" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpN1" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCS" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpN1" role="2Oq$k0">
<node concept="3A2sRY" id="34$A1MfhpN2" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6fRHP" resolve="oae" />
</node>
@ -3836,6 +3870,7 @@
<ref role="3Tt5mk" to="tpee:fz7vLUp" resolve="rValue" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCT" role="2OqNvi" />
</node>
<node concept="a7P8L" id="34$A1MfhpN4" role="3AunhB">
<ref role="a7OzE" node="13kcg0BqLt" resolve="ValueT" />
@ -3889,8 +3924,8 @@
<node concept="3I6s7M" id="4nIWweB_o0H" role="3I6sU7">
<node concept="3Aqt3T" id="34$A1MfhpNx" role="3I6s78">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="34$A1MfhpNs" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpNt" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCU" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpNt" role="2Oq$k0">
<node concept="3A2sRY" id="34$A1MfhpNu" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6sLbB" resolve="toe" />
</node>
@ -3898,6 +3933,7 @@
<ref role="3Tt5mk" to="tpee:gVK4C9J" resolve="condition" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCV" role="2OqNvi" />
</node>
<node concept="a7P8L" id="34$A1MfhpNw" role="3AunhB">
<ref role="a7OzE" node="7nkyKX6XThq" resolve="CondType" />
@ -3907,8 +3943,8 @@
<node concept="3I6s7M" id="4nIWweB_o0I" role="3I6sU7">
<node concept="3Aqt3T" id="34$A1MfhpMb" role="3I6s78">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="34$A1MfhpM6" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpM7" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCW" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpM7" role="2Oq$k0">
<node concept="3A2sRY" id="34$A1MfhpM8" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6sLbB" resolve="toe" />
</node>
@ -3916,6 +3952,7 @@
<ref role="3Tt5mk" to="tpee:gVK4E70" resolve="ifTrue" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCX" role="2OqNvi" />
</node>
<node concept="a7P8L" id="34$A1MfhpMa" role="3AunhB">
<ref role="a7OzE" node="7nkyKX6XThz" resolve="IfTType" />
@ -3925,8 +3962,8 @@
<node concept="3I6s7M" id="4nIWweB_o0J" role="3I6sU7">
<node concept="3Aqt3T" id="34$A1MfhpM_" role="3I6s78">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="34$A1MfhpMw" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpMx" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDCY" role="3AunhB">
<node concept="2OqwBi" id="34$A1MfhpMx" role="2Oq$k0">
<node concept="3A2sRY" id="34$A1MfhpMy" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6sLbB" resolve="toe" />
</node>
@ -3934,6 +3971,7 @@
<ref role="3Tt5mk" to="tpee:gVK4GVs" resolve="ifFalse" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXDCZ" role="2OqNvi" />
</node>
<node concept="a7P8L" id="34$A1MfhpM$" role="3AunhB">
<ref role="a7OzE" node="7nkyKX6XThJ" resolve="IfFType" />
@ -3981,10 +4019,11 @@
<node concept="3I6s7M" id="4nIWweB_oxA" role="3I6sU7">
<node concept="3Aqt3T" id="34$A1MfhpMv" role="3I6s78">
<ref role="3AqCNq" node="2NnDL4GbUnc" resolve="t3ypeOf" />
<node concept="3BlFb$" id="34$A1MfhpMs" role="3AunhB">
<node concept="3A2sRY" id="34$A1MfhpMt" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDD0" role="3AunhB">
<node concept="3A2sRY" id="34$A1MfhpMt" role="2Oq$k0">
<ref role="3A2yKK" node="1PFbZN6sLbB" resolve="toe" />
</node>
<node concept="iZEcu" id="1TH_SRlXDD1" role="2OqNvi" />
</node>
<node concept="a7P8L" id="34$A1MfhpMu" role="3AunhB">
<ref role="a7OzE" node="4nIWweB_ocI" resolve="Lub" />

81
samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps
View File

@ -2,7 +2,7 @@
<model ref="r:a40f7100-fd07-4b1c-98c5-112d92c92128(samples.fitch.firstOrderLogic.types)">
<persistence version="9" />
<languages>
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="15" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="16" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="4" />
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
@ -143,6 +143,7 @@
<concept id="1138411891628" name="jetbrains.mps.lang.smodel.structure.SNodeOperation" flags="nn" index="eCIE_">
<child id="1144104376918" name="parameter" index="1xVPHs" />
</concept>
<concept id="5045161044515397667" name="jetbrains.mps.lang.smodel.structure.Node_PointerOperation" flags="ng" index="iZEcu" />
<concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
<child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
<child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
@ -311,9 +312,6 @@
<concept id="1476354154047570702" name="jetbrains.mps.lang.coderules.structure.CodeBlock" flags="ng" index="3AO9d9">
<child id="535508562359074271" name="code" index="16YjZG" />
</concept>
<concept id="8581119423153238082" name="jetbrains.mps.lang.coderules.structure.NodeAnchor" flags="ng" index="3BlFb$">
<child id="8581119423153238083" name="node" index="3BlFb_" />
</concept>
<concept id="1553157749316176827" name="jetbrains.mps.lang.coderules.structure.PatternLogicalVariable" flags="ng" index="1HFMs5">
<child id="5131913661993028915" name="variable" index="1uarlU" />
<child id="5131913661993028917" name="value" index="1uarlW" />
@ -475,10 +473,11 @@
<node concept="a7P8L" id="3w0n0hzmj3I" role="3AunhB">
<ref role="a7OzE" node="3w0n0hzmins" resolve="Stc" />
</node>
<node concept="3BlFb$" id="3w0n0hzmj3O" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hzmj3Y" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD8L" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hzmj3Y" role="2Oq$k0">
<ref role="3A2yKK" node="3w0n0hzmfJX" resolve="eqi" />
</node>
<node concept="iZEcu" id="1TH_SRlXD8M" role="2OqNvi" />
</node>
</node>
</node>
@ -539,10 +538,11 @@
<ref role="a7OzE" node="3w0n0hzmj4x" resolve="Con" />
</node>
</node>
<node concept="3BlFb$" id="3w0n0hzmjeL" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hzmjf9" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD8N" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hzmjf9" role="2Oq$k0">
<ref role="3A2yKK" node="3w0n0hzm360" resolve="eqi" />
</node>
<node concept="iZEcu" id="1TH_SRlXD8O" role="2OqNvi" />
</node>
</node>
</node>
@ -553,10 +553,11 @@
<node concept="3I6s7M" id="3w0n0hzm3dC" role="3I6sU7">
<node concept="3Aqt3T" id="3w0n0hzm3dB" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="3w0n0hzm3dH" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hzm3dQ" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD8P" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hzm3dQ" role="2Oq$k0">
<ref role="3A2yKK" node="3w0n0hzm360" resolve="eqi" />
</node>
<node concept="iZEcu" id="1TH_SRlXD8Q" role="2OqNvi" />
</node>
</node>
</node>
@ -1125,8 +1126,8 @@
<node concept="a7P8L" id="3w0n0hzmjg$" role="3AunhB">
<ref role="a7OzE" node="3w0n0hzmjg7" resolve="Prem" />
</node>
<node concept="3BlFb$" id="3w0n0hzmjgG" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hzmmp9" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD8R" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hzmmp9" role="2Oq$k0">
<node concept="1y4W85" id="3w0n0hzmlTZ" role="2Oq$k0">
<node concept="3cmrfG" id="3w0n0hzmmfd" role="1y58nS">
<property role="3cmrfH" value="0" />
@ -1144,6 +1145,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD8S" role="2OqNvi" />
</node>
</node>
</node>
@ -1174,8 +1176,8 @@
<ref role="a7OzE" node="3w0n0hzmjfj" resolve="Eq" />
</node>
</node>
<node concept="3BlFb$" id="3w0n0hzmntL" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hzmqEU" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD8T" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hzmqEU" role="2Oq$k0">
<node concept="1y4W85" id="3w0n0hzmq9x" role="2Oq$k0">
<node concept="3cmrfG" id="3w0n0hzmqwY" role="1y58nS">
<property role="3cmrfH" value="1" />
@ -1193,6 +1195,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD8U" role="2OqNvi" />
</node>
</node>
</node>
@ -1202,10 +1205,11 @@
<node concept="a7P8L" id="3w0n0hzmrGk" role="3AunhB">
<ref role="a7OzE" node="3w0n0hzmrDC" resolve="Con" />
</node>
<node concept="3BlFb$" id="3w0n0hzmrGs" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hzmrGA" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD8V" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hzmrGA" role="2Oq$k0">
<ref role="3A2yKK" node="3w0n0hzm3em" resolve="eqe" />
</node>
<node concept="iZEcu" id="1TH_SRlXD8W" role="2OqNvi" />
</node>
</node>
</node>
@ -1217,8 +1221,8 @@
<node concept="3I6s7M" id="3w0n0hzmro6" role="3I6sU7">
<node concept="3Aqt3T" id="3w0n0hzmro5" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="3w0n0hzmrob" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hzmroc" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD8X" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hzmroc" role="2Oq$k0">
<node concept="1y4W85" id="3w0n0hzmrod" role="2Oq$k0">
<node concept="3cmrfG" id="3w0n0hzmroe" role="1y58nS">
<property role="3cmrfH" value="0" />
@ -1236,14 +1240,15 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD8Y" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3I6s7M" id="3w0n0hzmru1" role="3I6sU7">
<node concept="3Aqt3T" id="3w0n0hzmru2" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="3w0n0hzmru3" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hzmru4" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD8Z" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hzmru4" role="2Oq$k0">
<node concept="1y4W85" id="3w0n0hzmru5" role="2Oq$k0">
<node concept="3cmrfG" id="3w0n0hzmru6" role="1y58nS">
<property role="3cmrfH" value="1" />
@ -1261,6 +1266,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD90" role="2OqNvi" />
</node>
</node>
</node>
@ -1300,10 +1306,11 @@
<node concept="3I6s7M" id="3w0n0hznoZS" role="3I6sU7">
<node concept="3Aqt3T" id="3w0n0hznoZQ" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="3w0n0hznp00" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hznp09" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD91" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hznp09" role="2Oq$k0">
<ref role="3A2yKK" node="3w0n0hzm3em" resolve="eqe" />
</node>
<node concept="iZEcu" id="1TH_SRlXD92" role="2OqNvi" />
</node>
</node>
</node>
@ -1905,8 +1912,8 @@
<node concept="a7P8L" id="3w0n0hznwzF" role="3AunhB">
<ref role="a7OzE" node="3w0n0hznw$j" resolve="Prem" />
</node>
<node concept="3BlFb$" id="3w0n0hznwzG" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hznwzH" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD93" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hznwzH" role="2Oq$k0">
<node concept="1y4W85" id="3w0n0hznwzI" role="2Oq$k0">
<node concept="3cmrfG" id="3w0n0hznwzJ" role="1y58nS">
<property role="3cmrfH" value="0" />
@ -1924,6 +1931,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD94" role="2OqNvi" />
</node>
</node>
</node>
@ -1954,8 +1962,8 @@
<ref role="a7OzE" node="3w0n0hznw$k" resolve="Eq" />
</node>
</node>
<node concept="3BlFb$" id="3w0n0hznw$5" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hznw$6" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD95" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hznw$6" role="2Oq$k0">
<node concept="1y4W85" id="3w0n0hznw$7" role="2Oq$k0">
<node concept="3cmrfG" id="3w0n0hznw$8" role="1y58nS">
<property role="3cmrfH" value="1" />
@ -1973,6 +1981,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD96" role="2OqNvi" />
</node>
</node>
</node>
@ -1982,10 +1991,11 @@
<node concept="a7P8L" id="3w0n0hznw$f" role="3AunhB">
<ref role="a7OzE" node="3w0n0hznw$n" resolve="Con" />
</node>
<node concept="3BlFb$" id="3w0n0hznw$g" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hznw$h" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD97" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hznw$h" role="2Oq$k0">
<ref role="3A2yKK" node="3w0n0hznw$J" resolve="eqe" />
</node>
<node concept="iZEcu" id="1TH_SRlXD98" role="2OqNvi" />
</node>
</node>
</node>
@ -1997,8 +2007,8 @@
<node concept="3I6s7M" id="3w0n0hznw$q" role="3I6sU7">
<node concept="3Aqt3T" id="3w0n0hznw$r" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="3w0n0hznw$s" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hznw$t" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD99" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hznw$t" role="2Oq$k0">
<node concept="1y4W85" id="3w0n0hznw$u" role="2Oq$k0">
<node concept="3cmrfG" id="3w0n0hznw$v" role="1y58nS">
<property role="3cmrfH" value="0" />
@ -2016,14 +2026,15 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD9a" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3I6s7M" id="3w0n0hznw$$" role="3I6sU7">
<node concept="3Aqt3T" id="3w0n0hznw$_" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="3w0n0hznw$A" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hznw$B" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9b" role="3AunhB">
<node concept="2OqwBi" id="3w0n0hznw$B" role="2Oq$k0">
<node concept="1y4W85" id="3w0n0hznw$C" role="2Oq$k0">
<node concept="3cmrfG" id="3w0n0hznw$D" role="1y58nS">
<property role="3cmrfH" value="1" />
@ -2041,6 +2052,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD9c" role="2OqNvi" />
</node>
</node>
</node>
@ -2080,10 +2092,11 @@
<node concept="3I6s7M" id="3w0n0hznw_8" role="3I6sU7">
<node concept="3Aqt3T" id="3w0n0hznw_9" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="3w0n0hznw_a" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hznw_b" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9d" role="3AunhB">
<node concept="3A2sRY" id="3w0n0hznw_b" role="2Oq$k0">
<ref role="3A2yKK" node="3w0n0hznw$J" resolve="eqe" />
</node>
<node concept="iZEcu" id="1TH_SRlXD9e" role="2OqNvi" />
</node>
</node>
</node>

2
samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl
View File

@ -68,7 +68,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="15" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="16" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="5" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

96
samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps
View File

@ -2,7 +2,7 @@
<model ref="r:2e585daf-c5c7-4735-a41f-b2044cd9b207(samples.fitch.herbrandLogic.types)">
<persistence version="9" />
<languages>
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="15" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="16" />
<use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="1" />
<use id="f2801650-65d5-424e-bb1b-463a8781b786" name="jetbrains.mps.baseLanguage.javadoc" version="2" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="4" />
@ -201,6 +201,7 @@
<concept id="1138411891628" name="jetbrains.mps.lang.smodel.structure.SNodeOperation" flags="nn" index="eCIE_">
<child id="1144104376918" name="parameter" index="1xVPHs" />
</concept>
<concept id="5045161044515397667" name="jetbrains.mps.lang.smodel.structure.Node_PointerOperation" flags="ng" index="iZEcu" />
<concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
<concept id="4693937538533521280" name="jetbrains.mps.lang.smodel.structure.OfConceptOperation" flags="ng" index="v3k3i">
<child id="4693937538533538124" name="requestedConcept" index="v3oSu" />
@ -406,9 +407,6 @@
<concept id="1476354154047570702" name="jetbrains.mps.lang.coderules.structure.CodeBlock" flags="ng" index="3AO9d9">
<child id="535508562359074271" name="code" index="16YjZG" />
</concept>
<concept id="8581119423153238082" name="jetbrains.mps.lang.coderules.structure.NodeAnchor" flags="ng" index="3BlFb$">
<child id="8581119423153238083" name="node" index="3BlFb_" />
</concept>
<concept id="1553157749316176827" name="jetbrains.mps.lang.coderules.structure.PatternLogicalVariable" flags="ng" index="1HFMs5">
<child id="5131913661993028915" name="variable" index="1uarlU" />
<child id="5131913661993028917" name="value" index="1uarlW" />
@ -1284,8 +1282,8 @@
<node concept="a7P8L" id="2oO2uzBXy5e" role="3AunhB">
<ref role="a7OzE" node="2oO2uzBWT6$" resolve="Prem" />
</node>
<node concept="3BlFb$" id="2oO2uzBXy5f" role="3AunhB">
<node concept="2OqwBi" id="2oO2uzBXy5g" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9f" role="3AunhB">
<node concept="2OqwBi" id="2oO2uzBXy5g" role="2Oq$k0">
<node concept="1y4W85" id="2oO2uzBXy5h" role="2Oq$k0">
<node concept="3cmrfG" id="2oO2uzBXy5i" role="1y58nS">
<property role="3cmrfH" value="0" />
@ -1303,6 +1301,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD9g" role="2OqNvi" />
</node>
</node>
</node>
@ -1333,10 +1332,11 @@
<ref role="a7OzE" node="2oO2uzBWT6z" resolve="Con" />
</node>
</node>
<node concept="3BlFb$" id="2oO2uzBXyfW" role="3AunhB">
<node concept="3A2sRY" id="2oO2uzBXyfX" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9h" role="3AunhB">
<node concept="3A2sRY" id="2oO2uzBXyfX" role="2Oq$k0">
<ref role="3A2yKK" node="Vo$tzLEGtN" resolve="fi" />
</node>
<node concept="iZEcu" id="1TH_SRlXD9i" role="2OqNvi" />
</node>
</node>
</node>
@ -1348,8 +1348,8 @@
<node concept="3I6s7M" id="Vo$tzLET3g" role="3I6sU7">
<node concept="3Aqt3T" id="Vo$tzLET3f" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="Vo$tzLET3$" role="3AunhB">
<node concept="2OqwBi" id="Vo$tzLET3_" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9j" role="3AunhB">
<node concept="2OqwBi" id="Vo$tzLET3_" role="2Oq$k0">
<node concept="1y4W85" id="Vo$tzLET3A" role="2Oq$k0">
<node concept="3cmrfG" id="Vo$tzLET3B" role="1y58nS">
<property role="3cmrfH" value="0" />
@ -1367,6 +1367,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD9k" role="2OqNvi" />
</node>
</node>
</node>
@ -1384,10 +1385,11 @@
<node concept="3I6s7M" id="Vo$tzLETbb" role="3I6sU7">
<node concept="3Aqt3T" id="Vo$tzLETba" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="Vo$tzLETbg" role="3AunhB">
<node concept="3A2sRY" id="Vo$tzLETbv" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9l" role="3AunhB">
<node concept="3A2sRY" id="Vo$tzLETbv" role="2Oq$k0">
<ref role="3A2yKK" node="Vo$tzLEGtN" resolve="fi" />
</node>
<node concept="iZEcu" id="1TH_SRlXD9m" role="2OqNvi" />
</node>
</node>
</node>
@ -1995,8 +1997,8 @@
<ref role="a7OzE" node="2oO2uzBWNhT" resolve="Prem" />
</node>
</node>
<node concept="3BlFb$" id="2CF5XF5oJvk" role="3AunhB">
<node concept="2OqwBi" id="2CF5XF5oJvl" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9n" role="3AunhB">
<node concept="2OqwBi" id="2CF5XF5oJvl" role="2Oq$k0">
<node concept="1y4W85" id="2CF5XF5oJvm" role="2Oq$k0">
<node concept="3cmrfG" id="2CF5XF5oJvn" role="1y58nS">
<property role="3cmrfH" value="0" />
@ -2014,6 +2016,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD9o" role="2OqNvi" />
</node>
</node>
</node>
@ -2023,10 +2026,11 @@
<node concept="a7P8L" id="2CF5XF5oJEi" role="3AunhB">
<ref role="a7OzE" node="2oO2uzBWNhK" resolve="Con" />
</node>
<node concept="3BlFb$" id="2CF5XF5oJEj" role="3AunhB">
<node concept="3A2sRY" id="2CF5XF5oJEk" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9p" role="3AunhB">
<node concept="3A2sRY" id="2CF5XF5oJEk" role="2Oq$k0">
<ref role="3A2yKK" node="2oO2uzBWNhx" resolve="fe" />
</node>
<node concept="iZEcu" id="1TH_SRlXD9q" role="2OqNvi" />
</node>
</node>
</node>
@ -2038,8 +2042,8 @@
<node concept="3I6s7M" id="2oO2uzBWQ59" role="3I6sU7">
<node concept="3Aqt3T" id="2oO2uzBWQ58" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="2oO2uzBWQ5e" role="3AunhB">
<node concept="2OqwBi" id="2oO2uzBWQ5f" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9r" role="3AunhB">
<node concept="2OqwBi" id="2oO2uzBWQ5f" role="2Oq$k0">
<node concept="1y4W85" id="2oO2uzBWQ5g" role="2Oq$k0">
<node concept="3cmrfG" id="2oO2uzBWQ5h" role="1y58nS">
<property role="3cmrfH" value="0" />
@ -2057,6 +2061,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD9s" role="2OqNvi" />
</node>
</node>
</node>
@ -2096,10 +2101,11 @@
<node concept="3I6s7M" id="2oO2uzBWQaH" role="3I6sU7">
<node concept="3Aqt3T" id="2oO2uzBWQaG" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="2oO2uzBWQaM" role="3AunhB">
<node concept="3A2sRY" id="2oO2uzBWQaV" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9t" role="3AunhB">
<node concept="3A2sRY" id="2oO2uzBWQaV" role="2Oq$k0">
<ref role="3A2yKK" node="2oO2uzBWNhx" resolve="fe" />
</node>
<node concept="iZEcu" id="1TH_SRlXD9u" role="2OqNvi" />
</node>
</node>
</node>
@ -2182,8 +2188,8 @@
<node concept="a7P8L" id="2CF5XF5qrJM" role="3AunhB">
<ref role="a7OzE" node="2CF5XF5qrJo" resolve="Prem" />
</node>
<node concept="3BlFb$" id="2CF5XF5qrJU" role="3AunhB">
<node concept="2OqwBi" id="2CF5XF5qtV3" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9v" role="3AunhB">
<node concept="2OqwBi" id="2CF5XF5qtV3" role="2Oq$k0">
<node concept="1y4W85" id="2CF5XF5qtIo" role="2Oq$k0">
<node concept="3cmrfG" id="2CF5XF5qtLv" role="1y58nS">
<property role="3cmrfH" value="0" />
@ -2201,6 +2207,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD9w" role="2OqNvi" />
</node>
</node>
</node>
@ -2231,10 +2238,11 @@
<ref role="a7OzE" node="2CF5XF5qrJ$" resolve="Con" />
</node>
</node>
<node concept="3BlFb$" id="2CF5XF5qSDz" role="3AunhB">
<node concept="3A2sRY" id="2CF5XF5qSDV" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9x" role="3AunhB">
<node concept="3A2sRY" id="2CF5XF5qSDV" role="2Oq$k0">
<ref role="3A2yKK" node="2CF5XF5qrjo" resolve="ei" />
</node>
<node concept="iZEcu" id="1TH_SRlXD9y" role="2OqNvi" />
</node>
</node>
</node>
@ -2246,8 +2254,8 @@
<node concept="3I6s7M" id="2CF5XF5quCg" role="3I6sU7">
<node concept="3Aqt3T" id="2CF5XF5quCf" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="2CF5XF5quCl" role="3AunhB">
<node concept="2OqwBi" id="2CF5XF5qwUi" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9z" role="3AunhB">
<node concept="2OqwBi" id="2CF5XF5qwUi" role="2Oq$k0">
<node concept="1y4W85" id="2CF5XF5qwFo" role="2Oq$k0">
<node concept="3cmrfG" id="2CF5XF5qwKI" role="1y58nS">
<property role="3cmrfH" value="0" />
@ -2265,6 +2273,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD9$" role="2OqNvi" />
</node>
</node>
</node>
@ -2297,10 +2306,11 @@
<node concept="3I6s7M" id="2CF5XF5qxt_" role="3I6sU7">
<node concept="3Aqt3T" id="2CF5XF5qxt$" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="2CF5XF5qxtE" role="3AunhB">
<node concept="3A2sRY" id="2CF5XF5qxtN" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9_" role="3AunhB">
<node concept="3A2sRY" id="2CF5XF5qxtN" role="2Oq$k0">
<ref role="3A2yKK" node="2CF5XF5qrjo" resolve="ei" />
</node>
<node concept="iZEcu" id="1TH_SRlXD9A" role="2OqNvi" />
</node>
</node>
</node>
@ -2523,8 +2533,8 @@
<ref role="a7OzE" node="2CF5XF5qAse" resolve="Ex" />
</node>
</node>
<node concept="3BlFb$" id="2CF5XF5qFfA" role="3AunhB">
<node concept="2OqwBi" id="2CF5XF5qIgp" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9B" role="3AunhB">
<node concept="2OqwBi" id="2CF5XF5qIgp" role="2Oq$k0">
<node concept="1y4W85" id="2CF5XF5qHLZ" role="2Oq$k0">
<node concept="3cmrfG" id="2CF5XF5qI6P" role="1y58nS">
<property role="3cmrfH" value="0" />
@ -2542,6 +2552,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD9C" role="2OqNvi" />
</node>
</node>
</node>
@ -2593,8 +2604,8 @@
<ref role="a7OzE" node="2CF5XF5qAzp" resolve="Uni" />
</node>
</node>
<node concept="3BlFb$" id="3dsgZcixZwm" role="3AunhB">
<node concept="2OqwBi" id="3dsgZcixZwn" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9D" role="3AunhB">
<node concept="2OqwBi" id="3dsgZcixZwn" role="2Oq$k0">
<node concept="1y4W85" id="3dsgZcixZwo" role="2Oq$k0">
<node concept="3cmrfG" id="3dsgZcixZwp" role="1y58nS">
<property role="3cmrfH" value="1" />
@ -2612,6 +2623,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD9E" role="2OqNvi" />
</node>
</node>
</node>
@ -2626,10 +2638,11 @@
<node concept="a7P8L" id="3dsgZciy0p9" role="3AunhB">
<ref role="a7OzE" node="2CF5XF5qF8v" resolve="Con" />
</node>
<node concept="3BlFb$" id="3dsgZciy0pa" role="3AunhB">
<node concept="3A2sRY" id="3dsgZciy0pb" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9F" role="3AunhB">
<node concept="3A2sRY" id="3dsgZciy0pb" role="2Oq$k0">
<ref role="3A2yKK" node="2CF5XF5q_lG" resolve="ee" />
</node>
<node concept="iZEcu" id="1TH_SRlXD9G" role="2OqNvi" />
</node>
</node>
</node>
@ -2641,8 +2654,8 @@
<node concept="3I6s7M" id="2CF5XF5qFfg" role="3I6sU7">
<node concept="3Aqt3T" id="2CF5XF5qFff" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="2CF5XF5qML8" role="3AunhB">
<node concept="2OqwBi" id="2CF5XF5qML9" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9H" role="3AunhB">
<node concept="2OqwBi" id="2CF5XF5qML9" role="2Oq$k0">
<node concept="1y4W85" id="2CF5XF5qMLa" role="2Oq$k0">
<node concept="3cmrfG" id="2CF5XF5qMLb" role="1y58nS">
<property role="3cmrfH" value="0" />
@ -2660,14 +2673,15 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD9I" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3I6s7M" id="2CF5XF5qMTs" role="3I6sU7">
<node concept="3Aqt3T" id="2CF5XF5qMTq" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="2CF5XF5qMTD" role="3AunhB">
<node concept="2OqwBi" id="2CF5XF5qMTE" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9J" role="3AunhB">
<node concept="2OqwBi" id="2CF5XF5qMTE" role="2Oq$k0">
<node concept="1y4W85" id="2CF5XF5qMTF" role="2Oq$k0">
<node concept="3cmrfG" id="2CF5XF5qMTG" role="1y58nS">
<property role="3cmrfH" value="1" />
@ -2685,6 +2699,7 @@
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
</node>
</node>
<node concept="iZEcu" id="1TH_SRlXD9K" role="2OqNvi" />
</node>
</node>
</node>
@ -2724,10 +2739,11 @@
<node concept="3I6s7M" id="2CF5XF5qN3E" role="3I6sU7">
<node concept="3Aqt3T" id="2CF5XF5qN3D" role="3I6s78">
<ref role="3AqCNq" to="f3ld:2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="2CF5XF5qN3J" role="3AunhB">
<node concept="3A2sRY" id="2CF5XF5qN3S" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXD9L" role="3AunhB">
<node concept="3A2sRY" id="2CF5XF5qN3S" role="2Oq$k0">
<ref role="3A2yKK" node="2CF5XF5q_lG" resolve="ee" />
</node>
<node concept="iZEcu" id="1TH_SRlXD9M" role="2OqNvi" />
</node>
</node>
</node>

2
samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl
View File

@ -69,7 +69,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="15" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="16" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="5" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

546
samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
View File

File diff suppressed because it is too large Load Diff

2
samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl
View File

@ -67,7 +67,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="15" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="16" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="5" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

45
samples/fitch/languages/samples.fitch/models/types.mps
View File

@ -2,7 +2,7 @@
<model ref="r:30efdd3a-609b-4e7b-a8f2-60af62d5341f(samples.fitch.types)">
<persistence version="9" />
<languages>
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="15" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="16" />
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="9" />
<use id="cba985fe-1e96-4f16-9f8d-b07434405d4f" name="jetbrains.mps.lang.smodel.types" version="0" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="4" />
@ -162,9 +162,6 @@
<reference id="7368070394767091750" name="template" index="3AqCNq" />
<child id="7368070394768117915" name="argument" index="3AunhB" />
</concept>
<concept id="8581119423153238082" name="jetbrains.mps.lang.coderules.structure.NodeAnchor" flags="ng" index="3BlFb$">
<child id="8581119423153238083" name="node" index="3BlFb_" />
</concept>
<concept id="2316688792938826204" name="jetbrains.mps.lang.coderules.structure.ConstraintLogicalClause" flags="ng" index="3I6s7M">
<child id="2316688792938826214" name="constraint" index="3I6s78" />
</concept>
@ -230,10 +227,11 @@
<node concept="3I6s7M" id="2YqrT$P6Qmv" role="3I6sU7">
<node concept="3Aqt3T" id="2YqrT$P6Qmu" role="3I6s78">
<ref role="3AqCNq" node="2YqrT$P6Q6Q" resolve="check" />
<node concept="3BlFb$" id="2YqrT$P6Qmy" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P6QmD" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDdb" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P6QmD" role="2Oq$k0">
<ref role="3A2yKK" node="2YqrT$P6Qmb" resolve="rsn" />
</node>
<node concept="iZEcu" id="1TH_SRlXDdc" role="2OqNvi" />
</node>
</node>
</node>
@ -284,10 +282,11 @@
<node concept="3I6s7M" id="2YqrT$P7S$f" role="3I6sU7">
<node concept="3Aqt3T" id="2YqrT$P7S$g" role="3I6s78">
<ref role="3AqCNq" node="2YqrT$P6Q6Q" resolve="check" />
<node concept="3BlFb$" id="2YqrT$P7S$h" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P7S$i" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDdd" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P7S$i" role="2Oq$k0">
<ref role="3A2yKK" node="2YqrT$P7S$k" resolve="goal" />
</node>
<node concept="iZEcu" id="1TH_SRlXDde" role="2OqNvi" />
</node>
</node>
</node>
@ -326,10 +325,11 @@
<node concept="3I6s7M" id="2YqrT$P7zRj" role="3I6sU7">
<node concept="3Aqt3T" id="2YqrT$P7zRh" role="3I6s78">
<ref role="3AqCNq" node="2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="2YqrT$P7zRt" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P7zRA" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDdf" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P7zRA" role="2Oq$k0">
<ref role="3A2yKK" node="2aBGSFge6ms" resolve="rsn" />
</node>
<node concept="iZEcu" id="1TH_SRlXDdg" role="2OqNvi" />
</node>
</node>
</node>
@ -340,10 +340,11 @@
<node concept="3I6s7M" id="2YqrT$P6Q7q" role="3I6sU7">
<node concept="3Aqt3T" id="2YqrT$P6Q7p" role="3I6s78">
<ref role="3AqCNq" node="2YqrT$P6Q6Q" resolve="check" />
<node concept="3BlFb$" id="2YqrT$P6Q7x" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P6QdB" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDdh" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P6QdB" role="2Oq$k0">
<ref role="3A2yKK" node="2aBGSFge6ms" resolve="rsn" />
</node>
<node concept="iZEcu" id="1TH_SRlXDdi" role="2OqNvi" />
</node>
</node>
</node>
@ -369,10 +370,11 @@
<node concept="3I6s7M" id="2YqrT$P6Qnm" role="3I6sU7">
<node concept="3Aqt3T" id="2YqrT$P6Qnl" role="3I6s78">
<ref role="3AqCNq" node="2YqrT$P6Q6Q" resolve="check" />
<node concept="3BlFb$" id="2YqrT$P6Qnr" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P6Qn$" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDdj" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P6Qn$" role="2Oq$k0">
<ref role="3A2yKK" node="2YqrT$P6Q3h" resolve="rsn" />
</node>
<node concept="iZEcu" id="1TH_SRlXDdk" role="2OqNvi" />
</node>
</node>
</node>
@ -437,10 +439,11 @@
<node concept="3I6s7M" id="2YqrT$P7Su8" role="3I6sU7">
<node concept="3Aqt3T" id="2YqrT$P7Su7" role="3I6s78">
<ref role="3AqCNq" node="2YqrT$P7tud" resolve="valid" />
<node concept="3BlFb$" id="2YqrT$P7Sud" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P7Sum" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDdl" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P7Sum" role="2Oq$k0">
<ref role="3A2yKK" node="2YqrT$P7StR" resolve="goal" />
</node>
<node concept="iZEcu" id="1TH_SRlXDdm" role="2OqNvi" />
</node>
</node>
</node>
@ -451,10 +454,11 @@
<node concept="3I6s7M" id="2YqrT$P7SyY" role="3I6sU7">
<node concept="3Aqt3T" id="2YqrT$P7SyX" role="3I6s78">
<ref role="3AqCNq" node="2YqrT$P6Q6Q" resolve="check" />
<node concept="3BlFb$" id="2YqrT$P7Sz3" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P7Szc" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDdn" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P7Szc" role="2Oq$k0">
<ref role="3A2yKK" node="2YqrT$P7StR" resolve="goal" />
</node>
<node concept="iZEcu" id="1TH_SRlXDdo" role="2OqNvi" />
</node>
</node>
</node>
@ -511,10 +515,11 @@
<node concept="3I6s7M" id="2YqrT$P7SAA" role="3I6sU7">
<node concept="3Aqt3T" id="2YqrT$P7SAB" role="3I6s78">
<ref role="3AqCNq" node="2YqrT$P6Q6Q" resolve="check" />
<node concept="3BlFb$" id="2YqrT$P7SAC" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P7SAD" role="3BlFb_">
<node concept="2OqwBi" id="1TH_SRlXDdp" role="3AunhB">
<node concept="3A2sRY" id="2YqrT$P7SAD" role="2Oq$k0">
<ref role="3A2yKK" node="2YqrT$P7SAF" resolve="goal" />
</node>
<node concept="iZEcu" id="1TH_SRlXDdq" role="2OqNvi" />
</node>
</node>
</node>

2
samples/fitch/languages/samples.fitch/samples.fitch.mpl
View File

@ -67,7 +67,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="15" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="16" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="5" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

385
samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
View File

File diff suppressed because it is too large Load Diff

2
samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
View File

@ -33,7 +33,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="15" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="16" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="5" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

2
samples/mpscore/languages/jetbrains.mps.baseLanguage.javadoc/jetbrains.mps.baseLanguage.javadocExt.mpl
View File

@ -17,7 +17,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="15" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="16" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="5" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

2
samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
View File

@ -28,7 +28,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="15" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="16" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="5" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

920
samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps
View File

File diff suppressed because it is too large Load Diff

600
samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
View File

File diff suppressed because it is too large Load Diff