+ </xsl:apply-templates>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:for-each select="decl[$noparams > position()]">
+ <xsl:if test="$target = 0">
+ <xsl:choose>
+ <xsl:when test="string($binder) = "LAMBDA"">
+ <m:ci>
+ <xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="@binder"/></xsl:with-param></xsl:call-template>
+ </m:ci>
+ </xsl:when>
+ <xsl:otherwise>
+ <Param name="{@binder}">
+ <xsl:apply-templates select="*[1]"/>
+ </Param>
+ </xsl:otherwise>
+ </xsl:choose>
+ </xsl:if>
+ </xsl:for-each>
+ <xsl:choose>
+ <xsl:when test="name(.)="PROD"">
+ <xsl:apply-templates select="decl[position()=$noparams]" mode="prod"/>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:apply-templates select="decl[position()=$noparams]" mode="lambda"/>
+ </xsl:otherwise>
+ </xsl:choose>
+ </xsl:otherwise>
+ </xsl:choose>