We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 5e28f89 + e1e3063 commit eea892aCopy full SHA for eea892a
code/languages/org.iets3.opensource/languages/org.iets3.core.expr.lambda/models/structure.mps
@@ -563,6 +563,7 @@
563
<property role="TrG5h" value="GenericFunctionType" />
564
<property role="3GE5qa" value="function" />
565
<property role="R4oN_" value="a generic function type" />
566
+ <property role="R5$K7" value="true" />
567
<ref role="1TJDcQ" to="hm2y:6sdnDbSlaok" resolve="Type" />
568
</node>
569
<node concept="1TIwiD" id="5iD_kvlIV0f">
0 commit comments