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

Fix typechecking of function type: varargs and type inference

This commit is contained in:
Fedor Isakov 2022-11-04 12:13:10 +01:00
parent 22fb818142
commit f1efac2c11
1 changed files with 349 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

378
samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps
View File

@ -38,6 +38,7 @@
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
<child id="5680397130376446158" name="type" index="1tU5fm" />
</concept>
<concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
<concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
<child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
<child id="1068580123160" name="condition" index="3clFbw" />
@ -218,6 +219,9 @@
<concept id="3575255234174969664" name="jetbrains.mps.lang.coderules.structure.ConstraintRuleStatement" flags="ng" index="1nLNNL">
<child id="3575255234174969665" name="rule" index="1nLNNK" />
</concept>
<concept id="4363939677057762068" name="jetbrains.mps.lang.coderules.structure.TermConstructorDataForm" flags="ng" index="3sNhsn">
<child id="4363939677057762080" name="constructor" index="3sNhsz" />
</concept>
<concept id="8908809128801951597" name="jetbrains.mps.lang.coderules.structure.MacroBodyLogicalDeclaration" flags="ng" index="3uniRu" />
<concept id="7674753015762572646" name="jetbrains.mps.lang.coderules.structure.BodyBlock" flags="ng" index="3xSepi">
<child id="7674753015762572647" name="body" index="3xSepj" />
@ -344,20 +348,6 @@
<node concept="3xSepi" id="6$MmqWfmAQa" role="3xSepv">
<node concept="3Aq9E8" id="6$MmqWfmAQb" role="3xSepj">
<node concept="3I6sU6" id="6$MmqWfmAQc" role="3Ip0Jz">
<node concept="3I6s7M" id="6$MmqWfmAQi" role="3I6sU7">
<node concept="3Aqt3T" id="6$MmqWfmAR5" role="3I6s78">
<ref role="3AqCNq" to="kqnc:ONSj15RYDg" resolve="compatibleWith" />
<node concept="a7P8L" id="6$MmqWfmARa" role="3AunhB">
<ref role="a7OzE" node="6$MmqWfm_Tg" resolve="ResL" />
</node>
<node concept="a7P8L" id="6$MmqWfmARk" role="3AunhB">
<ref role="a7OzE" node="6$MmqWfm_TR" resolve="ResR" />
</node>
<node concept="a7P8L" id="4s_lMmHjUbx" role="3AunhB">
<ref role="a7OzE" node="4s_lMmH6Cu1" resolve="Options" />
</node>
</node>
</node>
<node concept="3I6s7M" id="6$MmqWfmAT_" role="3I6sU7">
<node concept="3Aqt3T" id="6$MmqWfmATz" role="3I6s78">
<ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
@ -372,6 +362,20 @@
</node>
</node>
</node>
<node concept="3I6s7M" id="6$MmqWfmAQi" role="3I6sU7">
<node concept="3Aqt3T" id="6$MmqWfmAR5" role="3I6s78">
<ref role="3AqCNq" to="kqnc:ONSj15RYDg" resolve="compatibleWith" />
<node concept="a7P8L" id="6$MmqWfmARa" role="3AunhB">
<ref role="a7OzE" node="6$MmqWfm_Tg" resolve="ResL" />
</node>
<node concept="a7P8L" id="6$MmqWfmARk" role="3AunhB">
<ref role="a7OzE" node="6$MmqWfm_TR" resolve="ResR" />
</node>
<node concept="a7P8L" id="4s_lMmHjUbx" role="3AunhB">
<ref role="a7OzE" node="4s_lMmH6Cu1" resolve="Options" />
</node>
</node>
</node>
</node>
</node>
</node>
@ -614,9 +618,198 @@
</node>
<node concept="AVZre" id="2MpDLe9z6bx">
<property role="TrG5h" value="ConvertsLists" />
<node concept="1nLNMY" id="6$MmqWfmARy" role="1nK1Vg">
<property role="TrG5h" value="convertsLists_induction" />
<node concept="3clFbS" id="6$MmqWfmARz" role="1nLNMH">
<node concept="1nLNMY" id="6ZRhjsGEz2q" role="1nK1Vg">
<property role="TrG5h" value="convertsLists_varargs" />
<node concept="3clFbS" id="6ZRhjsGEz2r" role="1nLNMH">
<node concept="1nLNNL" id="6ZRhjsGEz8u" role="3cqZAp">
<node concept="1nLNMm" id="6ZRhjsGEz8v" role="1nLNNK">
<node concept="3Aq93q" id="6ZRhjsGEz8w" role="1nLNMb">
<node concept="3I6sU6" id="6ZRhjsGEz8x" role="3Ip0Jz">
<node concept="3I6s7M" id="6ZRhjsGEz8y" role="3I6sU7">
<node concept="3Aqt3T" id="6ZRhjsGEz8z" role="3I6s78">
<ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
<node concept="1HFMs5" id="6ZRhjsGEz8$" role="3AunhB">
<node concept="a7P8L" id="6ZRhjsGEz8_" role="1uarlU">
<ref role="a7OzE" node="6ZRhjsGEz8S" resolve="L" />
</node>
<node concept="Hz6ka" id="6ZRhjsGFkjE" role="1uarlW">
<node concept="KCUsM" id="6ZRhjsGFkjD" role="Hz6kd" />
</node>
</node>
<node concept="1HFMs5" id="6ZRhjsGEz8G" role="3AunhB">
<node concept="a7P8L" id="6ZRhjsGEz8H" role="1uarlU">
<ref role="a7OzE" node="6ZRhjsGEz8T" resolve="R" />
</node>
<node concept="Hz6ka" id="6ZRhjsGEz8A" role="1uarlW">
<node concept="1Pxxm1" id="6ZRhjsGEz8B" role="Hz6kd">
<node concept="KCUsM" id="6ZRhjsGEzed" role="1Pxxm2" />
<node concept="3sNhsn" id="6ZRhjsGEzeh" role="1Pxxm0">
<node concept="ns1u0" id="6ZRhjsGEzeg" role="3sNhsz">
<ref role="ns1xF" to="kqnc:JOGAOsVt2r" resolve="variableArity" />
<node concept="nsMwS" id="6ZRhjsGEzel" role="ns1xD">
<ref role="nsMwP" to="kqnc:39Sam6Zio_N" resolve="parameter" />
<node concept="a7P8L" id="6ZRhjsGFkjK" role="iSaTp">
<ref role="a7OzE" node="6ZRhjsGEz8Z" resolve="RHead" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="a7P8L" id="6ZRhjsGEz8Q" role="3AunhB">
<ref role="a7OzE" node="6ZRhjsGEz93" resolve="Options" />
</node>
</node>
</node>
</node>
</node>
<node concept="3NuqgR" id="6ZRhjsGEz8R" role="0Rg$4">
<node concept="aZer4" id="6ZRhjsGEz8S" role="3XD1gS">
<property role="TrG5h" value="L" />
</node>
<node concept="aZer4" id="6ZRhjsGEz8T" role="3XD1gS">
<property role="TrG5h" value="R" />
</node>
<node concept="aZer4" id="6ZRhjsGEz8U" role="3XD1gS">
<property role="TrG5h" value="LTail" />
</node>
<node concept="aZer4" id="6ZRhjsGEz8V" role="3XD1gS">
<property role="TrG5h" value="RTail" />
</node>
<node concept="VbTHi" id="6ZRhjsGEz8W" role="3vLBG7" />
</node>
<node concept="3NuqgR" id="6ZRhjsGEz8X" role="0Rg$4">
<node concept="aZer4" id="6ZRhjsGEz8Y" role="3XD1gS">
<property role="TrG5h" value="LHead" />
</node>
<node concept="aZer4" id="6ZRhjsGEz8Z" role="3XD1gS">
<property role="TrG5h" value="RHead" />
</node>
<node concept="32pEOW" id="6ZRhjsGEz90" role="3vLBG7" />
</node>
<node concept="3NuqgR" id="6ZRhjsGEz91" role="0Rg$4">
<node concept="3uibUv" id="6ZRhjsGEz92" role="3vLBG7">
<ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="Options" />
</node>
<node concept="aZer4" id="6ZRhjsGEz93" role="3XD1gS">
<property role="TrG5h" value="Options" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="vrUbziAJA7" role="3cqZAp" />
<node concept="1nLNNL" id="vrUbziAJzc" role="3cqZAp">
<node concept="1nLNMm" id="vrUbziAJzd" role="1nLNNK">
<node concept="3Aq93q" id="vrUbziAJze" role="1nLNMb">
<node concept="3I6sU6" id="vrUbziAJzf" role="3Ip0Jz">
<node concept="3I6s7M" id="vrUbziAJzg" role="3I6sU7">
<node concept="3Aqt3T" id="vrUbziAJzh" role="3I6s78">
<ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
<node concept="1HFMs5" id="vrUbziAJzi" role="3AunhB">
<node concept="a7P8L" id="vrUbziAJzj" role="1uarlU">
<ref role="a7OzE" node="vrUbziAJzx" resolve="L" />
</node>
<node concept="Hz6ka" id="vrUbziAJCl" role="1uarlW">
<node concept="1Pxxm1" id="vrUbziAJCk" role="Hz6kd">
<node concept="3sNhsn" id="vrUbziAJBY" role="1Pxxm0">
<node concept="ns1u0" id="vrUbziAJBZ" role="3sNhsz">
<ref role="ns1xF" to="kqnc:JOGAOsVt2r" resolve="variableArity" />
<node concept="nsMwS" id="vrUbziAJC0" role="ns1xD">
<ref role="nsMwP" to="kqnc:39Sam6Zio_N" resolve="parameter" />
<node concept="a7P8L" id="vrUbziAJCb" role="iSaTp">
<ref role="a7OzE" node="vrUbziAJzB" resolve="LHead" />
</node>
</node>
</node>
</node>
<node concept="KCUsM" id="vrUbziAJCO" role="1Pxxm2" />
</node>
</node>
</node>
<node concept="1HFMs5" id="vrUbziAJzm" role="3AunhB">
<node concept="a7P8L" id="vrUbziAJzn" role="1uarlU">
<ref role="a7OzE" node="vrUbziAJzy" resolve="R" />
</node>
<node concept="Hz6ka" id="vrUbziAJzo" role="1uarlW">
<node concept="1Pxxm1" id="vrUbziAJzp" role="Hz6kd">
<node concept="KCUsM" id="vrUbziAJzq" role="1Pxxm2" />
<node concept="3sNhsn" id="vrUbziAJzr" role="1Pxxm0">
<node concept="ns1u0" id="vrUbziAJzs" role="3sNhsz">
<ref role="ns1xF" to="kqnc:JOGAOsVt2r" resolve="variableArity" />
<node concept="nsMwS" id="vrUbziAJzt" role="ns1xD">
<ref role="nsMwP" to="kqnc:39Sam6Zio_N" resolve="parameter" />
<node concept="a7P8L" id="vrUbziAJzu" role="iSaTp">
<ref role="a7OzE" node="vrUbziAJzC" resolve="RHead" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="a7P8L" id="vrUbziAJzv" role="3AunhB">
<ref role="a7OzE" node="vrUbziAJzG" resolve="Options" />
</node>
</node>
</node>
</node>
</node>
<node concept="3NuqgR" id="vrUbziAJzw" role="0Rg$4">
<node concept="aZer4" id="vrUbziAJzx" role="3XD1gS">
<property role="TrG5h" value="L" />
</node>
<node concept="aZer4" id="vrUbziAJzy" role="3XD1gS">
<property role="TrG5h" value="R" />
</node>
<node concept="aZer4" id="vrUbziAJzz" role="3XD1gS">
<property role="TrG5h" value="LTail" />
</node>
<node concept="aZer4" id="vrUbziAJz$" role="3XD1gS">
<property role="TrG5h" value="RTail" />
</node>
<node concept="VbTHi" id="vrUbziAJz_" role="3vLBG7" />
</node>
<node concept="3NuqgR" id="vrUbziAJzA" role="0Rg$4">
<node concept="aZer4" id="vrUbziAJzB" role="3XD1gS">
<property role="TrG5h" value="LHead" />
</node>
<node concept="aZer4" id="vrUbziAJzC" role="3XD1gS">
<property role="TrG5h" value="RHead" />
</node>
<node concept="32pEOW" id="vrUbziAJzD" role="3vLBG7" />
</node>
<node concept="3NuqgR" id="vrUbziAJzE" role="0Rg$4">
<node concept="3uibUv" id="vrUbziAJzF" role="3vLBG7">
<ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="Options" />
</node>
<node concept="aZer4" id="vrUbziAJzG" role="3XD1gS">
<property role="TrG5h" value="Options" />
</node>
</node>
<node concept="3xSepi" id="vrUbziAJDj" role="3xSepv">
<node concept="3Aq9E8" id="vrUbziAJDk" role="3xSepj">
<node concept="3I6sU6" id="vrUbziAJDl" role="3Ip0Jz">
<node concept="3I6s7M" id="vrUbziAJDq" role="3I6sU7">
<node concept="3Aqt3T" id="vrUbziAJDp" role="3I6s78">
<ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
<node concept="a7P8L" id="vrUbziAJDv" role="3AunhB">
<ref role="a7OzE" node="vrUbziAJzB" resolve="LHead" />
</node>
<node concept="a7P8L" id="vrUbziAJDC" role="3AunhB">
<ref role="a7OzE" node="vrUbziAJzC" resolve="RHead" />
</node>
<node concept="a7P8L" id="vrUbziAJE8" role="3AunhB">
<ref role="a7OzE" node="vrUbziAJzG" resolve="Options" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="6ZRhjsGFn0V" role="3cqZAp" />
<node concept="1nLNNL" id="6$MmqWfmASi" role="3cqZAp">
<node concept="1nLNMm" id="6$MmqWfmASj" role="1nLNNK">
<node concept="3Aq93q" id="6$MmqWfmAT6" role="1nLNMb">
@ -649,16 +842,18 @@
</node>
<node concept="Hz6ka" id="6$MmqWfmB9m" role="1uarlW">
<node concept="1Pxxm1" id="6$MmqWfmB9q" role="Hz6kd">
<node concept="3wAshV" id="6$MmqWfmB9t" role="1Pxxm2">
<node concept="a7P8L" id="6$MmqWfmB9I" role="3wAq21">
<ref role="a7OzE" node="6$MmqWfmB62" resolve="RTail" />
</node>
</node>
<node concept="3wAshV" id="6$MmqWfmB9A" role="1Pxxm0">
<node concept="a7P8L" id="6$MmqWfmB9_" role="3wAq21">
<ref role="a7OzE" node="6$MmqWfmB7$" resolve="RHead" />
<node concept="3sNhsn" id="6ZRhjsGDLQc" role="1Pxxm0">
<node concept="ns1u0" id="6ZRhjsGDLQb" role="3sNhsz">
<ref role="ns1xF" to="kqnc:JOGAOsVt2r" resolve="variableArity" />
<node concept="nsMwS" id="6ZRhjsGDLQg" role="ns1xD">
<ref role="nsMwP" to="kqnc:39Sam6Zio_N" resolve="parameter" />
<node concept="a7P8L" id="6ZRhjsGDLQj" role="iSaTp">
<ref role="a7OzE" node="6$MmqWfmB7$" resolve="RHead" />
</node>
</node>
</node>
</node>
<node concept="KCUsM" id="6ZRhjsGFmXq" role="1Pxxm2" />
</node>
</node>
</node>
@ -695,7 +890,7 @@
</node>
<node concept="3NuqgR" id="4s_lMmH6COB" role="0Rg$4">
<node concept="3uibUv" id="4s_lMmH6COC" role="3vLBG7">
<ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="ConvertsContext.Options" />
<ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="Options" />
</node>
<node concept="aZer4" id="4s_lMmH6COD" role="3XD1gS">
<property role="TrG5h" value="Options" />
@ -710,7 +905,7 @@
<node concept="a7P8L" id="6$MmqWfmBa7" role="3AunhB">
<ref role="a7OzE" node="6$MmqWfmB71" resolve="LHead" />
</node>
<node concept="a7P8L" id="6$MmqWfmBah" role="3AunhB">
<node concept="a7P8L" id="6ZRhjsGFmXt" role="3AunhB">
<ref role="a7OzE" node="6$MmqWfmB7$" resolve="RHead" />
</node>
<node concept="a7P8L" id="4s_lMmH6DLN" role="3AunhB">
@ -724,8 +919,8 @@
<node concept="a7P8L" id="6$MmqWfmBia" role="3AunhB">
<ref role="a7OzE" node="6$MmqWfmB5c" resolve="LTail" />
</node>
<node concept="a7P8L" id="6$MmqWfmBiL" role="3AunhB">
<ref role="a7OzE" node="6$MmqWfmB62" resolve="RTail" />
<node concept="a7P8L" id="6ZRhjsGFmX_" role="3AunhB">
<ref role="a7OzE" node="6$MmqWfmASI" resolve="R" />
</node>
<node concept="a7P8L" id="4s_lMmH6DHY" role="3AunhB">
<ref role="a7OzE" node="4s_lMmH6COD" resolve="Options" />
@ -739,6 +934,131 @@
</node>
</node>
</node>
<node concept="1nLNMY" id="6$MmqWfmARy" role="1nK1Vg">
<property role="TrG5h" value="convertsLists_induction" />
<node concept="3clFbS" id="6$MmqWfmARz" role="1nLNMH">
<node concept="1nLNNL" id="6ZRhjsGDLLc" role="3cqZAp">
<node concept="1nLNMm" id="6ZRhjsGDLLd" role="1nLNNK">
<node concept="3Aq93q" id="6ZRhjsGDLLe" role="1nLNMb">
<node concept="3I6sU6" id="6ZRhjsGDLLf" role="3Ip0Jz">
<node concept="3I6s7M" id="6ZRhjsGDLLg" role="3I6sU7">
<node concept="3Aqt3T" id="6ZRhjsGDLLh" role="3I6s78">
<ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
<node concept="1HFMs5" id="6ZRhjsGDLLi" role="3AunhB">
<node concept="a7P8L" id="6ZRhjsGDLLj" role="1uarlU">
<ref role="a7OzE" node="6ZRhjsGDLL$" resolve="L" />
</node>
<node concept="Hz6ka" id="6ZRhjsGDLLk" role="1uarlW">
<node concept="1Pxxm1" id="6ZRhjsGDLLl" role="Hz6kd">
<node concept="3wAshV" id="6ZRhjsGDLLm" role="1Pxxm0">
<node concept="a7P8L" id="6ZRhjsGDLLn" role="3wAq21">
<ref role="a7OzE" node="6ZRhjsGDLLE" resolve="LHead" />
</node>
</node>
<node concept="3wAshV" id="6ZRhjsGDLLo" role="1Pxxm2">
<node concept="a7P8L" id="6ZRhjsGDLLp" role="3wAq21">
<ref role="a7OzE" node="6ZRhjsGDLLA" resolve="LTail" />
</node>
</node>
</node>
</node>
</node>
<node concept="1HFMs5" id="6ZRhjsGDLLq" role="3AunhB">
<node concept="a7P8L" id="6ZRhjsGDLLr" role="1uarlU">
<ref role="a7OzE" node="6ZRhjsGDLL_" resolve="R" />
</node>
<node concept="Hz6ka" id="6ZRhjsGDLLs" role="1uarlW">
<node concept="1Pxxm1" id="6ZRhjsGDLLt" role="Hz6kd">
<node concept="3wAshV" id="6ZRhjsGDLLu" role="1Pxxm2">
<node concept="a7P8L" id="6ZRhjsGDLLv" role="3wAq21">
<ref role="a7OzE" node="6ZRhjsGDLLB" resolve="RTail" />
</node>
</node>
<node concept="3wAshV" id="6ZRhjsGDLLw" role="1Pxxm0">
<node concept="a7P8L" id="6ZRhjsGDLLx" role="3wAq21">
<ref role="a7OzE" node="6ZRhjsGDLLF" resolve="RHead" />
</node>
</node>
</node>
</node>
</node>
<node concept="a7P8L" id="6ZRhjsGDLLy" role="3AunhB">
<ref role="a7OzE" node="6ZRhjsGDLLJ" resolve="Options" />
</node>
</node>
</node>
</node>
</node>
<node concept="3NuqgR" id="6ZRhjsGDLLz" role="0Rg$4">
<node concept="aZer4" id="6ZRhjsGDLL$" role="3XD1gS">
<property role="TrG5h" value="L" />
</node>
<node concept="aZer4" id="6ZRhjsGDLL_" role="3XD1gS">
<property role="TrG5h" value="R" />
</node>
<node concept="aZer4" id="6ZRhjsGDLLA" role="3XD1gS">
<property role="TrG5h" value="LTail" />
</node>
<node concept="aZer4" id="6ZRhjsGDLLB" role="3XD1gS">
<property role="TrG5h" value="RTail" />
</node>
<node concept="VbTHi" id="6ZRhjsGDLLC" role="3vLBG7" />
</node>
<node concept="3NuqgR" id="6ZRhjsGDLLD" role="0Rg$4">
<node concept="aZer4" id="6ZRhjsGDLLE" role="3XD1gS">
<property role="TrG5h" value="LHead" />
</node>
<node concept="aZer4" id="6ZRhjsGDLLF" role="3XD1gS">
<property role="TrG5h" value="RHead" />
</node>
<node concept="32pEOW" id="6ZRhjsGDLLG" role="3vLBG7" />
</node>
<node concept="3NuqgR" id="6ZRhjsGDLLH" role="0Rg$4">
<node concept="3uibUv" id="6ZRhjsGDLLI" role="3vLBG7">
<ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="Options" />
</node>
<node concept="aZer4" id="6ZRhjsGDLLJ" role="3XD1gS">
<property role="TrG5h" value="Options" />
</node>
</node>
<node concept="3xSepi" id="6ZRhjsGDLLK" role="3xSepv">
<node concept="3Aq9E8" id="6ZRhjsGDLLL" role="3xSepj">
<node concept="3I6sU6" id="6ZRhjsGDLLM" role="3Ip0Jz">
<node concept="3I6s7M" id="6ZRhjsGDLLN" role="3I6sU7">
<node concept="3Aqt3T" id="6ZRhjsGDLLO" role="3I6s78">
<ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
<node concept="a7P8L" id="6ZRhjsGDLLP" role="3AunhB">
<ref role="a7OzE" node="6ZRhjsGDLLE" resolve="LHead" />
</node>
<node concept="a7P8L" id="6ZRhjsGDLLQ" role="3AunhB">
<ref role="a7OzE" node="6ZRhjsGDLLF" resolve="RHead" />
</node>
<node concept="a7P8L" id="6ZRhjsGDLLR" role="3AunhB">
<ref role="a7OzE" node="6ZRhjsGDLLJ" resolve="Options" />
</node>
</node>
</node>
<node concept="3I6s7M" id="6ZRhjsGDLLS" role="3I6sU7">
<node concept="3Aqt3T" id="6ZRhjsGDLLT" role="3I6s78">
<ref role="3AqCNq" node="6$MmqWfmATa" resolve="convertsLists" />
<node concept="a7P8L" id="6ZRhjsGDLLU" role="3AunhB">
<ref role="a7OzE" node="6ZRhjsGDLLA" resolve="LTail" />
</node>
<node concept="a7P8L" id="6ZRhjsGDLLV" role="3AunhB">
<ref role="a7OzE" node="6ZRhjsGDLLB" resolve="RTail" />
</node>
<node concept="a7P8L" id="6ZRhjsGDLLW" role="3AunhB">
<ref role="a7OzE" node="6ZRhjsGDLLJ" resolve="Options" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1nLNMY" id="6$MmqWfmBjk" role="1nK1Vg">
<property role="TrG5h" value="convertsLists_trivial" />
<node concept="3clFbS" id="6$MmqWfmBjl" role="1nLNMH">