test.ok_sel_first.mps 5.58 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:001c1241-534e-4e64-b37c-a62cc25f458d(RecordTypes_Checker.test.ok_sel_first)">
  <persistence version="9" />
  <languages>
    <use id="6b642eaa-1043-424a-9e09-49eb41607114" name="RecordTypes" version="0" />
  </languages>
  <imports>
    <import index="oj0p" ref="r:a882191d-3685-4616-b5b1-384cf716b30e(RecordTypes.structure)" />
  </imports>
  <registry>
    <language id="6b642eaa-1043-424a-9e09-49eb41607114" name="RecordTypes">
      <concept id="2294833391481651919" name="RecordTypes.structure.RecordTypeEntry" flags="ng" index="228e00">
        <child id="2294833391481651924" name="ty" index="228e0r" />
      </concept>
      <concept id="2294833391481651910" name="RecordTypes.structure.RecordType" flags="ng" index="228e09">
        <child id="2294833391481651915" name="elems" index="228e04" />
      </concept>
      <concept id="7997266186981964043" name="RecordTypes.structure.ModuleElemDef" flags="ng" index="2BHCoM">
        <child id="7997266186982065639" name="term" index="2BHfFu" />
      </concept>
      <concept id="658257277626152307" name="RecordTypes.structure.Record" flags="ng" index="2EAANM">
        <child id="658257277626152331" name="entries" index="2EAAKa" />
      </concept>
      <concept id="658257277626152476" name="RecordTypes.structure.Sel" flags="ng" index="2EAAYt">
        <child id="658257277626152481" name="t" index="2EAAYw" />
      </concept>
      <concept id="5790571747095872620" name="RecordTypes.structure.Module" flags="ng" index="1gj3CZ">
        <child id="5790571747095872621" name="elems" index="1gj3CY" />
      </concept>
      <concept id="3192721931268066706" name="RecordTypes.structure.RecordEntry" flags="ng" index="1JAXSW">
        <child id="3192721931268066726" name="t" index="1JAXS8" />
      </concept>
      <concept id="1894367444356272930" name="RecordTypes.structure.Lam" flags="ng" index="1SCro5">
        <child id="1894367444356272950" name="t" index="1SCroh" />
      </concept>
      <concept id="1894367444356273023" name="RecordTypes.structure.Anno" flags="ng" index="1SCrpo">
        <child id="1894367444356273028" name="t" index="1SCrqz" />
        <child id="1894367444356273109" name="ty" index="1SCrrM" />
      </concept>
      <concept id="1894367444356273040" name="RecordTypes.structure.Fun" flags="ng" index="1SCrqR">
        <child id="1894367444356273045" name="ty1" index="1SCrqM" />
        <child id="1894367444356273049" name="ty2" index="1SCrqY" />
      </concept>
      <concept id="1894367444356273132" name="RecordTypes.structure.Nat" flags="ng" index="1SCrrb" />
      <concept id="1894367444356272855" name="RecordTypes.structure.Succ" flags="ng" index="1SCrvK">
        <child id="1894367444356272860" name="t" index="1SCrvV" />
      </concept>
      <concept id="1894367444356272850" name="RecordTypes.structure.Zero" flags="ng" index="1SCrvP" />
    </language>
    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
        <property id="1169194664001" name="name" index="TrG5h" />
      </concept>
    </language>
  </registry>
  <node concept="1gj3CZ" id="75UymJIFI9P">
    <property role="TrG5h" value="OkSelFirst" />
    <node concept="2BHCoM" id="75UymJIFI9Q" role="1gj3CY">
      <property role="TrG5h" value="test" />
      <node concept="1SCrpo" id="75UymJIFIeH" role="2BHfFu">
        <node concept="2EAAYt" id="75UymJIFIaj" role="1SCrqz">
62
          <property role="TrG5h" value="a" />
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
          <node concept="1SCrpo" id="75UymJIFIau" role="2EAAYw">
            <node concept="2EAANM" id="75UymJIFIc9" role="1SCrqz">
              <node concept="1JAXSW" id="75UymJIFIce" role="2EAAKa">
                <property role="TrG5h" value="a" />
                <node concept="1SCrvP" id="75UymJIFIco" role="1JAXS8" />
              </node>
              <node concept="1JAXSW" id="75UymJIFIcu" role="2EAAKa">
                <property role="TrG5h" value="b" />
                <node concept="1SCro5" id="75UymJIFIcZ" role="1JAXS8">
                  <property role="TrG5h" value="a" />
                  <node concept="1SCrvP" id="75UymJIFIda" role="1SCroh" />
                </node>
              </node>
              <node concept="1JAXSW" id="75UymJIFIdf" role="2EAAKa">
                <property role="TrG5h" value="c" />
                <node concept="1SCrvK" id="75UymJIFIdZ" role="1JAXS8">
                  <node concept="1SCrvP" id="75UymJIFIea" role="1SCrvV" />
                </node>
              </node>
            </node>
            <node concept="228e09" id="75UymJIFIaF" role="1SCrrM">
              <node concept="228e00" id="75UymJIFIaK" role="228e04">
                <property role="TrG5h" value="a" />
                <node concept="1SCrrb" id="75UymJIFIaS" role="228e0r" />
              </node>
              <node concept="228e00" id="75UymJIFIaX" role="228e04">
                <property role="TrG5h" value="b" />
                <node concept="1SCrqR" id="75UymJIFIbb" role="228e0r">
                  <node concept="1SCrrb" id="75UymJIFIbo" role="1SCrqM" />
                  <node concept="1SCrrb" id="75UymJIFIbt" role="1SCrqY" />
                </node>
              </node>
              <node concept="228e00" id="75UymJIFIby" role="228e04">
                <property role="TrG5h" value="c" />
                <node concept="1SCrrb" id="75UymJIFIbW" role="228e0r" />
              </node>
            </node>
          </node>
        </node>
102
        <node concept="1SCrrb" id="75UymJKWMpV" role="1SCrrM" />
103
104
105
106
107
      </node>
    </node>
  </node>
</model>