Fix closures types: convertsTo of function type
Instead of solving convertsTo for function type in functional domain, try to find the expected classifier type and solve for it instead.
This commit is contained in:
Fedor Isakov
parent
33476c837c
commit
d5a91b91e5
|
|
@ -345,6 +345,13 @@
|
|||
<property id="8575328350543493365" name="message" index="huDt6" />
|
||||
<property id="2423417345669755629" name="filter" index="1eyWvh" />
|
||||
</concept>
|
||||
<concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
|
||||
<property id="709746936026609031" name="linkId" index="3V$3ak" />
|
||||
<property id="709746936026609029" name="role_DebugInfo" index="3V$3am" />
|
||||
</concept>
|
||||
<concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
|
||||
<child id="3078666699043039389" name="commentedNode" index="8Wnug" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text">
|
||||
<concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="nn" index="3oM_SD">
|
||||
|
|
@ -4323,108 +4330,260 @@
|
|||
<property role="3GE5qa" value="rule" />
|
||||
<property role="TrG5h" value="ConversionFunctionIFace" />
|
||||
<ref role="2YbDB9" to="kqnc:24Vro6cM_J$" resolve="ConversionMain" />
|
||||
<node concept="1nLNMY" id="554EtBH_OXU" role="1nK1Vg">
|
||||
<property role="TrG5h" value="converts_function_classifier" />
|
||||
<node concept="3clFbS" id="554EtBH_OXV" role="1nLNMH">
|
||||
<node concept="1nLNNL" id="554EtBH_PpD" role="3cqZAp">
|
||||
<node concept="1nLNMm" id="554EtBH_PpE" role="1nLNNK">
|
||||
<node concept="3Aq93q" id="554EtBH_PpF" role="1nLNMb">
|
||||
<node concept="3I6sU6" id="554EtBH_PpG" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="554EtBH_PpH" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="554EtBH_PpI" role="3I6s78">
|
||||
<ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
|
||||
<node concept="1HFMs5" id="554EtBH_PpJ" role="3AunhB">
|
||||
<node concept="a7P8L" id="554EtBH_PpK" role="1uarlU">
|
||||
<ref role="a7OzE" node="554EtBH_PpX" resolve="FunT" />
|
||||
<node concept="1X3_iC" id="7hlgk9KA1zh" role="lGtFl">
|
||||
<property role="3V$3am" value="template" />
|
||||
<property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
|
||||
<node concept="1nLNMY" id="554EtBH_OXU" role="8Wnug">
|
||||
<property role="TrG5h" value="converts_function_classifier" />
|
||||
<node concept="3clFbS" id="554EtBH_OXV" role="1nLNMH">
|
||||
<node concept="1nLNNL" id="554EtBH_PpD" role="3cqZAp">
|
||||
<node concept="1nLNMm" id="554EtBH_PpE" role="1nLNNK">
|
||||
<node concept="3Aq93q" id="554EtBH_PpF" role="1nLNMb">
|
||||
<node concept="3I6sU6" id="554EtBH_PpG" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="554EtBH_PpH" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="554EtBH_PpI" role="3I6s78">
|
||||
<ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
|
||||
<node concept="1HFMs5" id="554EtBH_PpJ" role="3AunhB">
|
||||
<node concept="a7P8L" id="554EtBH_PpK" role="1uarlU">
|
||||
<ref role="a7OzE" node="554EtBH_PpX" resolve="FunT" />
|
||||
</node>
|
||||
<node concept="ns1u0" id="554EtBH_PpL" role="1uarlW">
|
||||
<ref role="ns1xF" to="fa4b:6$MmqWflYd6" resolve="function" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="ns1u0" id="554EtBH_PpL" role="1uarlW">
|
||||
<ref role="ns1xF" to="fa4b:6$MmqWflYd6" resolve="function" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1HFMs5" id="554EtBH_PpM" role="3AunhB">
|
||||
<node concept="a7P8L" id="554EtBH_PpN" role="1uarlU">
|
||||
<ref role="a7OzE" node="554EtBH_PpY" resolve="ClsT" />
|
||||
</node>
|
||||
<node concept="ns1u0" id="554EtBH_PpO" role="1uarlW">
|
||||
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
|
||||
<node concept="nsMwS" id="3DgB4rOwRzq" role="ns1xD">
|
||||
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
|
||||
<node concept="a7P8L" id="3DgB4rOwREv" role="iSaTp">
|
||||
<ref role="a7OzE" node="3DgB4rOwRDU" resolve="ClsDecl" />
|
||||
<node concept="1HFMs5" id="554EtBH_PpM" role="3AunhB">
|
||||
<node concept="a7P8L" id="554EtBH_PpN" role="1uarlU">
|
||||
<ref role="a7OzE" node="554EtBH_PpY" resolve="ClsT" />
|
||||
</node>
|
||||
<node concept="ns1u0" id="554EtBH_PpO" role="1uarlW">
|
||||
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
|
||||
<node concept="nsMwS" id="3DgB4rOwRzq" role="ns1xD">
|
||||
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
|
||||
<node concept="a7P8L" id="3DgB4rOwREv" role="iSaTp">
|
||||
<ref role="a7OzE" node="3DgB4rOwRDU" resolve="ClsDecl" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="4s_lMmH6Cx5" role="3AunhB">
|
||||
<ref role="a7OzE" node="4s_lMmH6Cx3" resolve="Options" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3NuqgR" id="554EtBH_PpW" role="0Rg$4">
|
||||
<node concept="aZer4" id="554EtBH_PpX" role="3XD1gS">
|
||||
<property role="TrG5h" value="FunT" />
|
||||
</node>
|
||||
<node concept="aZer4" id="554EtBH_PpY" role="3XD1gS">
|
||||
<property role="TrG5h" value="ClsT" />
|
||||
</node>
|
||||
<node concept="aZer4" id="554EtBH_PpZ" role="3XD1gS">
|
||||
<property role="TrG5h" value="DeclFunT" />
|
||||
</node>
|
||||
<node concept="32pEOW" id="554EtBH_Pq0" role="3vLBG7" />
|
||||
</node>
|
||||
<node concept="3xSepi" id="554EtBH_Pq7" role="3xSepv">
|
||||
<node concept="3Aq9E8" id="554EtBH_Pq8" role="3xSepj">
|
||||
<node concept="3I6sU6" id="554EtBH_Pq9" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="554EtBHA0dp" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="554EtBHA098" role="3I6s78">
|
||||
<ref role="3AqCNq" node="554EtBH_$_5" resolve="toFunctionalType" />
|
||||
<node concept="a7P8L" id="554EtBHA09l" role="3AunhB">
|
||||
<ref role="a7OzE" node="554EtBH_PpZ" resolve="DeclFunT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="554EtBHA0bp" role="3AunhB">
|
||||
<ref role="a7OzE" node="554EtBH_PpY" resolve="ClsT" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3I6s7M" id="554EtBHA0dq" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="554EtBH_PqE" role="3I6s78">
|
||||
<ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
|
||||
<node concept="a7P8L" id="554EtBH_PqF" role="3AunhB">
|
||||
<ref role="a7OzE" node="554EtBH_PpX" resolve="FunT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="554EtBH_PqG" role="3AunhB">
|
||||
<ref role="a7OzE" node="554EtBH_PpZ" resolve="DeclFunT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="4s_lMmH6Cx6" role="3AunhB">
|
||||
<node concept="a7P8L" id="4s_lMmH6Cx5" role="3AunhB">
|
||||
<ref role="a7OzE" node="4s_lMmH6Cx3" resolve="Options" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3NuqgR" id="554EtBH_PpW" role="0Rg$4">
|
||||
<node concept="aZer4" id="554EtBH_PpX" role="3XD1gS">
|
||||
<property role="TrG5h" value="FunT" />
|
||||
</node>
|
||||
<node concept="aZer4" id="554EtBH_PpY" role="3XD1gS">
|
||||
<property role="TrG5h" value="ClsT" />
|
||||
</node>
|
||||
<node concept="aZer4" id="554EtBH_PpZ" role="3XD1gS">
|
||||
<property role="TrG5h" value="DeclFunT" />
|
||||
</node>
|
||||
<node concept="32pEOW" id="554EtBH_Pq0" role="3vLBG7" />
|
||||
</node>
|
||||
<node concept="3xSepi" id="554EtBH_Pq7" role="3xSepv">
|
||||
<node concept="3Aq9E8" id="554EtBH_Pq8" role="3xSepj">
|
||||
<node concept="3I6sU6" id="554EtBH_Pq9" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="554EtBHA0dp" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="554EtBHA098" role="3I6s78">
|
||||
<ref role="3AqCNq" node="554EtBH_$_5" resolve="toFunctionalType" />
|
||||
<node concept="a7P8L" id="554EtBHA09l" role="3AunhB">
|
||||
<ref role="a7OzE" node="554EtBH_PpZ" resolve="DeclFunT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="554EtBHA0bp" role="3AunhB">
|
||||
<ref role="a7OzE" node="554EtBH_PpY" resolve="ClsT" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3I6s7M" id="554EtBHA0dq" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="554EtBH_PqE" role="3I6s78">
|
||||
<ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
|
||||
<node concept="a7P8L" id="554EtBH_PqF" role="3AunhB">
|
||||
<ref role="a7OzE" node="554EtBH_PpX" resolve="FunT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="554EtBH_PqG" role="3AunhB">
|
||||
<ref role="a7OzE" node="554EtBH_PpZ" resolve="DeclFunT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="4s_lMmH6Cx6" role="3AunhB">
|
||||
<ref role="a7OzE" node="4s_lMmH6Cx3" resolve="Options" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3NuqgR" id="3DgB4rOwRDT" role="0Rg$4">
|
||||
<node concept="aZer4" id="3DgB4rOwRDU" role="3XD1gS">
|
||||
<property role="TrG5h" value="ClsDecl" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="3CulEO26Uyh" role="3vLBG7" />
|
||||
</node>
|
||||
<node concept="3NuqgR" id="4s_lMmH6Cx1" role="0Rg$4">
|
||||
<node concept="3uibUv" id="4s_lMmH6Cx2" role="3vLBG7">
|
||||
<ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="ConvertsContext.Options" />
|
||||
</node>
|
||||
<node concept="aZer4" id="4s_lMmH6Cx3" role="3XD1gS">
|
||||
<property role="TrG5h" value="Options" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Aq9_M" id="3DgB4rOwREJ" role="1nLNMa">
|
||||
<node concept="3I6sU6" id="3DgB4rOwREK" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="3DgB4rOwREO" role="3I6sU7">
|
||||
<node concept="2aM9Np" id="3DgB4rOwREN" role="3I6s78">
|
||||
<node concept="a7P8L" id="3DgB4rOwRER" role="2aLmnP">
|
||||
<ref role="a7OzE" node="3DgB4rOwRDU" resolve="ClsDecl" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3NuqgR" id="3DgB4rOwRDT" role="0Rg$4">
|
||||
<node concept="aZer4" id="3DgB4rOwRDU" role="3XD1gS">
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1nLNMY" id="7hlgk9KA1tA" role="1nK1Vg">
|
||||
<property role="TrG5h" value="converts_function_classifier" />
|
||||
<node concept="3clFbS" id="7hlgk9KA1tB" role="1nLNMH">
|
||||
<node concept="1nLNNL" id="7hlgk9KA1tC" role="3cqZAp">
|
||||
<node concept="1nLNMm" id="7hlgk9KA1tD" role="1nLNNK">
|
||||
<node concept="3Aq93q" id="7hlgk9KA1tE" role="1nLNMb">
|
||||
<node concept="3I6sU6" id="7hlgk9KA1tF" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="7hlgk9KA1tG" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="7hlgk9KA1tH" role="3I6s78">
|
||||
<ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
|
||||
<node concept="1HFMs5" id="7hlgk9KA1tI" role="3AunhB">
|
||||
<node concept="a7P8L" id="7hlgk9KA1tJ" role="1uarlU">
|
||||
<ref role="a7OzE" node="7hlgk9KA1tS" resolve="FunT" />
|
||||
</node>
|
||||
<node concept="ns1u0" id="7hlgk9KA1tK" role="1uarlW">
|
||||
<ref role="ns1xF" to="fa4b:6$MmqWflYd6" resolve="function" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1HFMs5" id="7hlgk9KA1tL" role="3AunhB">
|
||||
<node concept="a7P8L" id="7hlgk9KA1tM" role="1uarlU">
|
||||
<ref role="a7OzE" node="7hlgk9KA1tT" resolve="ClsT" />
|
||||
</node>
|
||||
<node concept="ns1u0" id="7hlgk9KA1tN" role="1uarlW">
|
||||
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
|
||||
<node concept="nsMwS" id="7hlgk9KA1tO" role="ns1xD">
|
||||
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
|
||||
<node concept="a7P8L" id="7hlgk9KA1tP" role="iSaTp">
|
||||
<ref role="a7OzE" node="7hlgk9KA1u9" resolve="ClsDecl" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9KA1tQ" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9KA1ud" resolve="Options" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3NuqgR" id="7hlgk9KA1tR" role="0Rg$4">
|
||||
<node concept="aZer4" id="7hlgk9KA1tS" role="3XD1gS">
|
||||
<property role="TrG5h" value="FunT" />
|
||||
</node>
|
||||
<node concept="aZer4" id="7hlgk9KA1tT" role="3XD1gS">
|
||||
<property role="TrG5h" value="ClsT" />
|
||||
</node>
|
||||
<node concept="aZer4" id="7hlgk9KA1WA" role="3XD1gS">
|
||||
<property role="TrG5h" value="InstClsT" />
|
||||
</node>
|
||||
<node concept="aZer4" id="7hlgk9KA1tU" role="3XD1gS">
|
||||
<property role="TrG5h" value="DeclFunT" />
|
||||
</node>
|
||||
<node concept="32pEOW" id="7hlgk9KA1tV" role="3vLBG7" />
|
||||
</node>
|
||||
<node concept="3xSepi" id="7hlgk9KA1tW" role="3xSepv">
|
||||
<node concept="3Aq9E8" id="7hlgk9KA1Gv" role="3xSepj">
|
||||
<node concept="3I6sU6" id="7hlgk9KA1Gw" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="7hlgk9KA1IW" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="7hlgk9KA1IV" role="3I6s78">
|
||||
<ref role="3AqCNq" node="7hlgk9K_Uru" resolve="instantiateFun" />
|
||||
<node concept="a7P8L" id="7hlgk9KA1Ns" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9KA1u9" resolve="ClsDecl" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9KA1S0" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9KA1tS" resolve="FunT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9KA2gE" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9KA1WA" resolve="InstClsT" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3I6s7M" id="7hlgk9KA2pJ" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="7hlgk9KA2pH" role="3I6s78">
|
||||
<ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
|
||||
<node concept="a7P8L" id="7hlgk9KA2uk" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9KA1WA" resolve="InstClsT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9KA2wF" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9KA1tT" resolve="ClsT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9KA2_h" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9KA1ud" resolve="Options" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3xSepi" id="7hlgk9KA2Ip" role="3xSepv">
|
||||
<node concept="3Aq9E8" id="7hlgk9KA1tX" role="3xSepj">
|
||||
<node concept="3I6sU6" id="7hlgk9KA1tY" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="7hlgk9KA1tZ" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="7hlgk9KA1u0" role="3I6s78">
|
||||
<ref role="3AqCNq" node="554EtBH_$_5" resolve="toFunctionalType" />
|
||||
<node concept="a7P8L" id="7hlgk9KA1u1" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9KA1tU" resolve="DeclFunT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9KA1u2" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9KA1tT" resolve="ClsT" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3I6s7M" id="7hlgk9KA1u3" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="7hlgk9KA1u4" role="3I6s78">
|
||||
<ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
|
||||
<node concept="a7P8L" id="7hlgk9KA1u5" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9KA1tS" resolve="FunT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9KA1u6" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9KA1tU" resolve="DeclFunT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9KA1u7" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9KA1ud" resolve="Options" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3NuqgR" id="7hlgk9KA1u8" role="0Rg$4">
|
||||
<node concept="aZer4" id="7hlgk9KA1u9" role="3XD1gS">
|
||||
<property role="TrG5h" value="ClsDecl" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="3CulEO26Uyh" role="3vLBG7" />
|
||||
<node concept="3Tqbb2" id="7hlgk9KA1ua" role="3vLBG7" />
|
||||
</node>
|
||||
<node concept="3NuqgR" id="4s_lMmH6Cx1" role="0Rg$4">
|
||||
<node concept="3uibUv" id="4s_lMmH6Cx2" role="3vLBG7">
|
||||
<node concept="3NuqgR" id="7hlgk9KA1ub" role="0Rg$4">
|
||||
<node concept="3uibUv" id="7hlgk9KA1uc" role="3vLBG7">
|
||||
<ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="ConvertsContext.Options" />
|
||||
</node>
|
||||
<node concept="aZer4" id="4s_lMmH6Cx3" role="3XD1gS">
|
||||
<node concept="aZer4" id="7hlgk9KA1ud" role="3XD1gS">
|
||||
<property role="TrG5h" value="Options" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Aq9_M" id="3DgB4rOwREJ" role="1nLNMa">
|
||||
<node concept="3I6sU6" id="3DgB4rOwREK" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="3DgB4rOwREO" role="3I6sU7">
|
||||
<node concept="2aM9Np" id="3DgB4rOwREN" role="3I6s78">
|
||||
<node concept="a7P8L" id="3DgB4rOwRER" role="2aLmnP">
|
||||
<ref role="a7OzE" node="3DgB4rOwRDU" resolve="ClsDecl" />
|
||||
<node concept="3Aq9_M" id="7hlgk9KA1ue" role="1nLNMa">
|
||||
<node concept="3I6sU6" id="7hlgk9KA1uf" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="7hlgk9KA1ug" role="3I6sU7">
|
||||
<node concept="2aM9Np" id="7hlgk9KA1uh" role="3I6s78">
|
||||
<node concept="a7P8L" id="7hlgk9KA1ui" role="2aLmnP">
|
||||
<ref role="a7OzE" node="7hlgk9KA1u9" resolve="ClsDecl" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -6021,6 +6180,528 @@
|
|||
<property role="3GE5qa" value="rule" />
|
||||
<property role="TrG5h" value="FunctionalClassifier" />
|
||||
<ref role="2YbDB9" to="kqnc:4btN1w5Jfyx" resolve="Generics" />
|
||||
<node concept="1nLNMY" id="7hlgk9K_ILB" role="1nK1Vg">
|
||||
<property role="TrG5h" value="instantiateFun_classifier" />
|
||||
<node concept="3clFbS" id="7hlgk9K_ILC" role="1nLNMH">
|
||||
<node concept="3cpWs8" id="7hlgk9K_IRY" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="7hlgk9K_IRZ" role="3cpWs9">
|
||||
<property role="TrG5h" value="mdecl" />
|
||||
<node concept="3Tqbb2" id="7hlgk9K_IS0" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:fzclF8t" resolve="InstanceMethodDeclaration" />
|
||||
</node>
|
||||
<node concept="21kpad" id="7hlgk9K_IS1" role="33vP2m">
|
||||
<node concept="1bVj0M" id="7hlgk9K_IS2" role="21kp3d">
|
||||
<node concept="3clFbS" id="7hlgk9K_IS3" role="1bW5cS">
|
||||
<node concept="3clFbF" id="7hlgk9K_IS4" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="7hlgk9K_IS5" role="3clFbG">
|
||||
<ref role="37wK5l" node="3DgB4rOynJm" resolve="functionalMethod" />
|
||||
<ref role="1Pybhc" node="3DgB4rOynmN" resolve="FunctionalTypeUtil" />
|
||||
<node concept="3A2sRY" id="7hlgk9K_IS6" role="37wK5m">
|
||||
<ref role="3A2yKK" node="7hlgk9K_IPE" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1Ls8ON" id="7hlgk9K_IS7" role="21kp3f">
|
||||
<node concept="3A2sRY" id="7hlgk9K_IS8" role="1Lso8e">
|
||||
<ref role="3A2yKK" node="7hlgk9K_IPE" resolve="cls" />
|
||||
</node>
|
||||
<node concept="Xl_RD" id="7hlgk9K_IS9" role="1Lso8e">
|
||||
<property role="Xl_RC" value="funmethod" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbJ" id="7hlgk9K_IXU" role="3cqZAp">
|
||||
<node concept="3clFbS" id="7hlgk9K_IXW" role="3clFbx">
|
||||
<node concept="3cpWs8" id="7hlgk9K_Jpe" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="7hlgk9K_Jpf" role="3cpWs9">
|
||||
<property role="TrG5h" value="paramTypes" />
|
||||
<node concept="2I9FWS" id="7hlgk9K_Jpg" role="1tU5fm">
|
||||
<ref role="2I9WkF" to="tpee:fz3vP1H" resolve="Type" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="7hlgk9K_Jph" role="33vP2m">
|
||||
<node concept="2OqwBi" id="7hlgk9K_Jpi" role="2Oq$k0">
|
||||
<node concept="2OqwBi" id="7hlgk9K_Jpj" role="2Oq$k0">
|
||||
<node concept="37vLTw" id="7hlgk9K_Jpk" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7hlgk9K_IRZ" resolve="mdecl" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="7hlgk9K_Jpl" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="tpee:fzclF7Y" resolve="parameter" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3$u5V9" id="7hlgk9K_Jpm" role="2OqNvi">
|
||||
<node concept="1bVj0M" id="7hlgk9K_Jpn" role="23t8la">
|
||||
<node concept="3clFbS" id="7hlgk9K_Jpo" role="1bW5cS">
|
||||
<node concept="3clFbF" id="7hlgk9K_Jpp" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="7hlgk9K_Jpq" role="3clFbG">
|
||||
<node concept="37vLTw" id="7hlgk9K_Jpr" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7hlgk9K_Jpt" resolve="it" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="7hlgk9K_Jps" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="tpee:4VkOLwjf83e" resolve="type" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="Rh6nW" id="7hlgk9K_Jpt" role="1bW2Oz">
|
||||
<property role="TrG5h" value="it" />
|
||||
<node concept="2jxLKc" id="7hlgk9K_Jpu" role="1tU5fm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="ANE8D" id="7hlgk9K_Jpv" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs8" id="7hlgk9K_Jpw" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="7hlgk9K_Jpx" role="3cpWs9">
|
||||
<property role="TrG5h" value="mtvds" />
|
||||
<node concept="2I9FWS" id="7hlgk9K_Jpy" role="1tU5fm">
|
||||
<ref role="2I9WkF" to="tpee:g96euPO" resolve="TypeVariableDeclaration" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="7hlgk9K_Jpz" role="33vP2m">
|
||||
<node concept="37vLTw" id="7hlgk9K_Jp$" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7hlgk9K_IRZ" resolve="mdecl" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="7hlgk9K_Jp_" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs8" id="7hlgk9K_JpA" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="7hlgk9K_JpB" role="3cpWs9">
|
||||
<property role="TrG5h" value="ctvds" />
|
||||
<node concept="2I9FWS" id="7hlgk9K_JpC" role="1tU5fm">
|
||||
<ref role="2I9WkF" to="tpee:g96euPO" resolve="TypeVariableDeclaration" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="7hlgk9K_JpD" role="33vP2m">
|
||||
<node concept="3A2sRY" id="7hlgk9K_KQ4" role="2Oq$k0">
|
||||
<ref role="3A2yKK" node="7hlgk9K_IPE" resolve="cls" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="7hlgk9K_TZW" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs8" id="7hlgk9K_JpG" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="7hlgk9K_JpH" role="3cpWs9">
|
||||
<property role="TrG5h" value="noMethodTyArgs" />
|
||||
<node concept="2I9FWS" id="7hlgk9K_JpI" role="1tU5fm">
|
||||
<ref role="2I9WkF" to="tpee:fz3vP1H" resolve="Type" />
|
||||
</node>
|
||||
<node concept="2ShNRf" id="7hlgk9K_JpJ" role="33vP2m">
|
||||
<node concept="2T8Vx0" id="7hlgk9K_JpK" role="2ShVmc">
|
||||
<node concept="2I9FWS" id="7hlgk9K_JpL" role="2T96Bj">
|
||||
<ref role="2I9WkF" to="tpee:fz3vP1H" resolve="Type" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="7hlgk9K_WqP" role="3cqZAp" />
|
||||
<node concept="3Hbl2A" id="7hlgk9K_UlT" role="3cqZAp">
|
||||
<node concept="3clFbS" id="7hlgk9K_UlV" role="9aQI4">
|
||||
<node concept="1nLNNL" id="7hlgk9K_Upb" role="3cqZAp">
|
||||
<node concept="1nLNMm" id="7hlgk9K_Upd" role="1nLNNK">
|
||||
<node concept="3Aq93q" id="7hlgk9K_V3C" role="1nLNMb">
|
||||
<node concept="3I6sU6" id="7hlgk9K_V3D" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="7hlgk9K_V5U" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="7hlgk9K_V5T" role="3I6s78">
|
||||
<ref role="3AqCNq" node="7hlgk9K_Uru" resolve="instantiateFun" />
|
||||
<node concept="37jhX" id="7hlgk9K_VPh" role="3AunhB">
|
||||
<node concept="3A2sRY" id="7hlgk9K_VPf" role="37jj2">
|
||||
<ref role="3A2yKK" node="7hlgk9K_IPE" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1HFMs5" id="7hlgk9K_VWg" role="3AunhB">
|
||||
<node concept="a7P8L" id="7hlgk9K_VWb" role="1uarlU">
|
||||
<ref role="a7OzE" node="7hlgk9K_Vhh" resolve="FunT" />
|
||||
</node>
|
||||
<node concept="ns1u0" id="7hlgk9K_VYG" role="1uarlW">
|
||||
<ref role="ns1xF" to="fa4b:6$MmqWflYd6" resolve="function" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9K_W3j" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9K_Vas" resolve="ClsT" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3NuqgR" id="7hlgk9K_Var" role="0Rg$4">
|
||||
<node concept="aZer4" id="7hlgk9K_Vas" role="3XD1gS">
|
||||
<property role="TrG5h" value="ClsT" />
|
||||
</node>
|
||||
<node concept="aZer4" id="7hlgk9K_Vhh" role="3XD1gS">
|
||||
<property role="TrG5h" value="FunT" />
|
||||
</node>
|
||||
<node concept="aZer4" id="7hlgk9K_WCp" role="3XD1gS">
|
||||
<property role="TrG5h" value="ClsTypeArgs" />
|
||||
<node concept="2OqwBi" id="7hlgk9K_WCq" role="3gj$pD">
|
||||
<node concept="37vLTw" id="7hlgk9K_WCr" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7hlgk9K_JpB" resolve="ctvds" />
|
||||
</node>
|
||||
<node concept="34oBXx" id="7hlgk9K_WCs" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="32pEOW" id="7hlgk9K_VcK" role="3vLBG7" />
|
||||
</node>
|
||||
<node concept="3NuqgR" id="7hlgk9K_WeU" role="0Rg$4">
|
||||
<node concept="aZer4" id="7hlgk9K_WeV" role="3XD1gS">
|
||||
<property role="TrG5h" value="InstMethSig" />
|
||||
</node>
|
||||
<node concept="aZer4" id="7hlgk9K_WeW" role="3XD1gS">
|
||||
<property role="TrG5h" value="MethScheme" />
|
||||
</node>
|
||||
<node concept="aZer4" id="7hlgk9K_WeX" role="3XD1gS">
|
||||
<property role="TrG5h" value="MethTVs" />
|
||||
<node concept="2OqwBi" id="7hlgk9K_WeY" role="3gj$pD">
|
||||
<node concept="37vLTw" id="7hlgk9K_Wue" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7hlgk9K_Jpx" resolve="mtvds" />
|
||||
</node>
|
||||
<node concept="34oBXx" id="7hlgk9K_Wf0" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="aZer4" id="7hlgk9K_Wf1" role="3XD1gS">
|
||||
<property role="TrG5h" value="ClsScheme" />
|
||||
</node>
|
||||
<node concept="32pEOW" id="7hlgk9K_Wf2" role="3vLBG7" />
|
||||
</node>
|
||||
<node concept="3NuqgR" id="7hlgk9K_WQZ" role="0Rg$4">
|
||||
<node concept="aZer4" id="7hlgk9K_WR0" role="3XD1gS">
|
||||
<property role="TrG5h" value="ParamsT" />
|
||||
<node concept="2OqwBi" id="7hlgk9K_WR1" role="3gj$pD">
|
||||
<node concept="37vLTw" id="7hlgk9K_WR2" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7hlgk9K_Jpf" resolve="paramTypes" />
|
||||
</node>
|
||||
<node concept="34oBXx" id="7hlgk9K_WR3" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="aZer4" id="7hlgk9K_WR4" role="3XD1gS">
|
||||
<property role="TrG5h" value="RetT" />
|
||||
</node>
|
||||
<node concept="32pEOW" id="7hlgk9K_WR5" role="3vLBG7" />
|
||||
</node>
|
||||
<node concept="3xSepi" id="7hlgk9K_W87" role="3xSepv">
|
||||
<node concept="3Aq9E8" id="7hlgk9K_W88" role="3xSepj">
|
||||
<node concept="3I6sU6" id="7hlgk9K_W89" role="3Ip0Jz">
|
||||
<node concept="3IrJb3" id="7hlgk9K_Wzd" role="3I6sU7">
|
||||
<node concept="3clFbS" id="7hlgk9K_Wze" role="3IrJb0">
|
||||
<node concept="3Aqczg" id="7hlgk9K_Wzh" role="3cqZAp">
|
||||
<node concept="3Aqt3T" id="7hlgk9K_Wzi" role="3Aqpz8">
|
||||
<ref role="3AqCNq" to="kqnc:dOuwCBovJO" resolve="schemeOf" />
|
||||
<node concept="37jhX" id="7hlgk9K_Wzj" role="3AunhB">
|
||||
<node concept="37vLTw" id="7hlgk9K_Wzk" role="37jj2">
|
||||
<ref role="3cqZAo" node="7hlgk9K_IRZ" resolve="mdecl" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9K_Wzl" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9K_WeW" resolve="MethScheme" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Aqczg" id="7hlgk9K_Wzm" role="3cqZAp">
|
||||
<node concept="3jm4v3" id="7hlgk9K_Wzn" role="3Aqpz8">
|
||||
<ref role="3jm46O" to="kqnc:53tmmMs9igR" resolve="instantiateScheme" />
|
||||
<node concept="37vLTw" id="7hlgk9K_Wzo" role="3jicU7">
|
||||
<ref role="3cqZAo" node="7hlgk9K_IRZ" resolve="mdecl" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7hlgk9K_Wzp" role="3jicU7">
|
||||
<ref role="3cqZAo" node="7hlgk9K_JpH" resolve="noMethodTyArgs" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7hlgk9K_Wzq" role="3jicU7">
|
||||
<ref role="3cqZAo" node="7hlgk9K_JpB" resolve="ctvds" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9K_Wzr" role="3jm6SO">
|
||||
<ref role="a7OzE" node="7hlgk9K_WeV" resolve="InstMethSig" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9K_Wzs" role="3jm6SO">
|
||||
<ref role="a7OzE" node="7hlgk9K_WeW" resolve="MethScheme" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9K_WEO" role="3jm6SO">
|
||||
<ref role="a7OzE" node="7hlgk9K_WCp" resolve="ClsTypeArgs" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Aqczg" id="7hlgk9K_WLK" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="7hlgk9K_WLL" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="7hlgk9K_WLM" role="3A8wtg">
|
||||
<ref role="a7OzE" node="7hlgk9K_WeV" resolve="InstMethSig" />
|
||||
</node>
|
||||
<node concept="ns1u0" id="7hlgk9K_WLN" role="3A8w4Q">
|
||||
<ref role="ns1xF" to="kqnc:ZJPHcupkiE" resolve="methodSign" />
|
||||
<node concept="nsMwS" id="7hlgk9K_WLO" role="ns1xD">
|
||||
<ref role="nsMwP" to="kqnc:ZJPHcupkk3" resolve="params" />
|
||||
<node concept="a7P8L" id="7hlgk9K_WTT" role="iSaTp">
|
||||
<ref role="a7OzE" node="7hlgk9K_WR0" resolve="ParamsT" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="nsMwS" id="7hlgk9K_WLQ" role="ns1xD">
|
||||
<ref role="nsMwP" to="kqnc:ZJPHcupkk9" resolve="result" />
|
||||
<node concept="a7P8L" id="7hlgk9K_WWa" role="iSaTp">
|
||||
<ref role="a7OzE" node="7hlgk9K_WR4" resolve="RetT" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="nsMwS" id="7hlgk9K_WLS" role="ns1xD">
|
||||
<ref role="nsMwP" to="kqnc:ZJPHcupkiC" resolve="typeParams" />
|
||||
<node concept="a7P8L" id="7hlgk9K_WLT" role="iSaTp">
|
||||
<ref role="a7OzE" node="7hlgk9K_WeX" resolve="MethTVs" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Aqczg" id="7hlgk9K_XbL" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="7hlgk9K_XbF" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="7hlgk9K_Xes" role="3A8wtg">
|
||||
<ref role="a7OzE" node="7hlgk9K_Vhh" resolve="FunT" />
|
||||
</node>
|
||||
<node concept="ns1u0" id="7hlgk9K_XgJ" role="3A8w4Q">
|
||||
<ref role="ns1xF" to="fa4b:6$MmqWflYd6" resolve="function" />
|
||||
<node concept="nsMwS" id="7hlgk9K_Xlf" role="ns1xD">
|
||||
<ref role="nsMwP" to="fa4b:6$MmqWflYdw" resolve="params" />
|
||||
<node concept="a7P8L" id="7hlgk9K_Xs3" role="iSaTp">
|
||||
<ref role="a7OzE" node="7hlgk9K_WR0" resolve="ParamsT" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="nsMwS" id="7hlgk9K_XpL" role="ns1xD">
|
||||
<ref role="nsMwP" to="fa4b:6$MmqWflYdg" resolve="result" />
|
||||
<node concept="a7P8L" id="7hlgk9K_Xuk" role="iSaTp">
|
||||
<ref role="a7OzE" node="7hlgk9K_WR4" resolve="RetT" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Aqczg" id="3gLy9FVXWS4" role="3cqZAp">
|
||||
<node concept="3A8Hvi" id="3gLy9FVXWRY" role="3Aqpz8">
|
||||
<node concept="a7P8L" id="3gLy9FVXWT3" role="3A8wtg">
|
||||
<ref role="a7OzE" node="7hlgk9K_Vas" resolve="ClsT" />
|
||||
</node>
|
||||
<node concept="ns1u0" id="3gLy9FVXWT9" role="3A8w4Q">
|
||||
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
|
||||
<node concept="nsMwS" id="3gLy9FVXXBr" role="ns1xD">
|
||||
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
|
||||
<node concept="37jhX" id="3gLy9FVXXDL" role="iSaTp">
|
||||
<node concept="3A2sRY" id="3gLy9FVXXDK" role="37jj2">
|
||||
<ref role="3A2yKK" node="7hlgk9K_IPE" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="nsMwS" id="3gLy9FVXYof" role="ns1xD">
|
||||
<ref role="nsMwP" to="kqnc:ZJPHcupkiC" resolve="typeParams" />
|
||||
<node concept="a7P8L" id="3gLy9FVXYqE" role="iSaTp">
|
||||
<ref role="a7OzE" node="7hlgk9K_WCp" resolve="ClsTypeArgs" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3SKdUt" id="7hlgk9K_XBJ" role="3cqZAp">
|
||||
<node concept="1PaTwC" id="7hlgk9K_XBK" role="1aUNEU">
|
||||
<node concept="3oM_SD" id="7hlgk9K_XBL" role="1PaTwD">
|
||||
<property role="3oM_SC" value="Some" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="7hlgk9K_XBM" role="1PaTwD">
|
||||
<property role="3oM_SC" value="type" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="7hlgk9K_XBN" role="1PaTwD">
|
||||
<property role="3oM_SC" value="variables" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="7hlgk9K_XBO" role="1PaTwD">
|
||||
<property role="3oM_SC" value="may" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="7hlgk9K_XBP" role="1PaTwD">
|
||||
<property role="3oM_SC" value="remain" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="7hlgk9K_XBQ" role="1PaTwD">
|
||||
<property role="3oM_SC" value="unbound" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1Dw8fO" id="7hlgk9K_XBR" role="3cqZAp">
|
||||
<node concept="3clFbS" id="7hlgk9K_XBS" role="2LFqv$">
|
||||
<node concept="3Aqczg" id="7hlgk9K_XBT" role="3cqZAp">
|
||||
<node concept="3Aqt3T" id="7hlgk9K_XBU" role="3Aqpz8">
|
||||
<ref role="3AqCNq" to="kqnc:4jGoIleP8jH" resolve="makeGround" />
|
||||
<node concept="a7P8L" id="7hlgk9K_XBV" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9K_WeX" resolve="MethTVs" />
|
||||
<node concept="37vLTw" id="7hlgk9K_XBW" role="3gCZO6">
|
||||
<ref role="3cqZAo" node="7hlgk9K_XBX" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWsn" id="7hlgk9K_XBX" role="1Duv9x">
|
||||
<property role="TrG5h" value="i" />
|
||||
<node concept="10Oyi0" id="7hlgk9K_XBY" role="1tU5fm" />
|
||||
<node concept="3cmrfG" id="7hlgk9K_XBZ" role="33vP2m">
|
||||
<property role="3cmrfH" value="0" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3eOVzh" id="7hlgk9K_XC0" role="1Dwp0S">
|
||||
<node concept="2OqwBi" id="7hlgk9K_XC1" role="3uHU7w">
|
||||
<node concept="37vLTw" id="7hlgk9K_XC2" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="7hlgk9K_Jpx" resolve="mtvds" />
|
||||
</node>
|
||||
<node concept="34oBXx" id="7hlgk9K_XC3" role="2OqNvi" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7hlgk9K_XC4" role="3uHU7B">
|
||||
<ref role="3cqZAo" node="7hlgk9K_XBX" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2$rviw" id="7hlgk9K_XC5" role="1Dwrff">
|
||||
<node concept="37vLTw" id="7hlgk9K_XC6" role="2$L3a6">
|
||||
<ref role="3cqZAo" node="7hlgk9K_XBX" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3y3z36" id="7hlgk9K_Jkh" role="3clFbw">
|
||||
<node concept="10Nm6u" id="7hlgk9K_JmW" role="3uHU7w" />
|
||||
<node concept="37vLTw" id="7hlgk9K_J2F" role="3uHU7B">
|
||||
<ref role="3cqZAo" node="7hlgk9K_IRZ" resolve="mdecl" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="9aQIb" id="7hlgk9K_YaS" role="9aQIa">
|
||||
<node concept="3clFbS" id="7hlgk9K_YaT" role="9aQI4">
|
||||
<node concept="3Hbl2A" id="7hlgk9K_Yfu" role="3cqZAp">
|
||||
<node concept="3clFbS" id="7hlgk9K_Yfv" role="9aQI4">
|
||||
<node concept="1nLNNL" id="7hlgk9K_Yfw" role="3cqZAp">
|
||||
<node concept="1nLNMm" id="7hlgk9K_Yfx" role="1nLNNK">
|
||||
<node concept="3Aq93q" id="7hlgk9K_Yfy" role="1nLNMb">
|
||||
<node concept="3I6sU6" id="7hlgk9K_Yfz" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="7hlgk9K_Yf$" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="7hlgk9K_Yf_" role="3I6s78">
|
||||
<ref role="3AqCNq" node="7hlgk9K_Uru" resolve="instantiateFun" />
|
||||
<node concept="37jhX" id="7hlgk9K_YpC" role="3AunhB">
|
||||
<node concept="3A2sRY" id="7hlgk9K_YpA" role="37jj2">
|
||||
<ref role="3A2yKK" node="7hlgk9K_IPE" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1HFMs5" id="7hlgk9K_YI9" role="3AunhB">
|
||||
<node concept="a7P8L" id="7hlgk9K_YfA" role="1uarlU">
|
||||
<ref role="a7OzE" node="7hlgk9K_YfI" resolve="FunT" />
|
||||
</node>
|
||||
<node concept="ns1u0" id="7hlgk9K_YKA" role="1uarlW">
|
||||
<ref role="ns1xF" to="fa4b:6$MmqWflYd6" resolve="function" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9K_Yw_" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9K_YfJ" resolve="ClsT" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3NuqgR" id="7hlgk9K_YfH" role="0Rg$4">
|
||||
<node concept="aZer4" id="7hlgk9K_YfI" role="3XD1gS">
|
||||
<property role="TrG5h" value="FunT" />
|
||||
</node>
|
||||
<node concept="aZer4" id="7hlgk9K_YfJ" role="3XD1gS">
|
||||
<property role="TrG5h" value="ClsT" />
|
||||
</node>
|
||||
<node concept="32pEOW" id="7hlgk9K_YfL" role="3vLBG7" />
|
||||
</node>
|
||||
<node concept="3xSepi" id="7hlgk9K_YfM" role="3xSepv">
|
||||
<node concept="3Aq9E8" id="7hlgk9K_YfN" role="3xSepj">
|
||||
<node concept="3I6sU6" id="7hlgk9K_YfO" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="7hlgk9K_YfP" role="3I6sU7">
|
||||
<node concept="1lpGmL" id="7hlgk9K_YfQ" role="3I6s78">
|
||||
<node concept="Xl_RD" id="7hlgk9K_YfR" role="1lp$hM">
|
||||
<property role="Xl_RC" value="not a functional classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2t___k" id="7hlgk9K_IPD" role="1nLNMg">
|
||||
<ref role="2t_S0q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
<node concept="3A20r5" id="7hlgk9K_IPE" role="2t_VXX">
|
||||
<property role="TrG5h" value="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1nLNMY" id="7hlgk9K_YRi" role="1nK1Vg">
|
||||
<property role="TrG5h" value="instantiateFun_default" />
|
||||
<node concept="3clFbS" id="7hlgk9K_YRj" role="1nLNMH">
|
||||
<node concept="1nLNNL" id="7hlgk9K_YRk" role="3cqZAp">
|
||||
<node concept="1nLNMm" id="7hlgk9K_YRl" role="1nLNNK">
|
||||
<node concept="3Aq93q" id="7hlgk9K_YRm" role="1nLNMb">
|
||||
<node concept="3I6sU6" id="7hlgk9K_YRn" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="7hlgk9K_YRo" role="3I6sU7">
|
||||
<node concept="3Aqt3T" id="7hlgk9K_YRp" role="3I6s78">
|
||||
<ref role="3AqCNq" node="7hlgk9K_Uru" resolve="instantiateFun" />
|
||||
<node concept="a7P8L" id="7hlgk9K_ZOD" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9K_ZHI" resolve="Cls" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9K_YRq" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9K_YRt" resolve="FunT" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="7hlgk9K_YRr" role="3AunhB">
|
||||
<ref role="a7OzE" node="7hlgk9K_YRu" resolve="ResT" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3NuqgR" id="7hlgk9K_YRs" role="0Rg$4">
|
||||
<node concept="aZer4" id="7hlgk9K_YRt" role="3XD1gS">
|
||||
<property role="TrG5h" value="FunT" />
|
||||
</node>
|
||||
<node concept="aZer4" id="7hlgk9K_YRu" role="3XD1gS">
|
||||
<property role="TrG5h" value="ResT" />
|
||||
</node>
|
||||
<node concept="32pEOW" id="7hlgk9K_YRv" role="3vLBG7" />
|
||||
</node>
|
||||
<node concept="3NuqgR" id="7hlgk9K_ZHH" role="0Rg$4">
|
||||
<node concept="aZer4" id="7hlgk9K_ZHI" role="3XD1gS">
|
||||
<property role="TrG5h" value="Cls" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="7hlgk9K_ZK6" role="3vLBG7" />
|
||||
</node>
|
||||
<node concept="3xSepi" id="7hlgk9K_YRw" role="3xSepv">
|
||||
<node concept="3Aq9E8" id="7hlgk9K_YRx" role="3xSepj">
|
||||
<node concept="3I6sU6" id="7hlgk9K_YRy" role="3Ip0Jz">
|
||||
<node concept="3I6s7M" id="7hlgk9KA0xR" role="3I6sU7">
|
||||
<node concept="1lpGmL" id="7hlgk9KA0xP" role="3I6s78">
|
||||
<node concept="Xl_RD" id="7hlgk9KA0$9" role="1lp$hM">
|
||||
<property role="Xl_RC" value="can't instantiate functional type" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1nLNMY" id="554EtBH_$Bk" role="1nK1Vg">
|
||||
<property role="TrG5h" value="toFunctional_classifier" />
|
||||
<node concept="3clFbS" id="554EtBH_$Bl" role="1nLNMH">
|
||||
|
|
@ -6632,6 +7313,18 @@
|
|||
<node concept="32pEOW" id="554EtBH_$_m" role="3gTf24" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3AqmO8" id="7hlgk9K_Uru" role="8PkJo">
|
||||
<property role="TrG5h" value="instantiateFun" />
|
||||
<node concept="1zAUYm" id="7hlgk9K_UUK" role="1zAUyy">
|
||||
<property role="TrG5h" value="cls" />
|
||||
</node>
|
||||
<node concept="1zAUYm" id="7hlgk9K_ULT" role="1zAUyy">
|
||||
<property role="TrG5h" value="funType" />
|
||||
</node>
|
||||
<node concept="1zAUYm" id="7hlgk9K_UHt" role="1zAUyy">
|
||||
<property role="TrG5h" value="type" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="312cEu" id="3DgB4rOwGf$">
|
||||
<property role="3GE5qa" value="util" />
|
||||
|
|
|
|||
Loading…
Reference in New Issue