<?xml version="1.0"?> <?xml-stylesheet type="text/xsl" href="../../xml/xtcHTML.xsl"?> <problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../../xml/xtc.xsd" type="termination"> <trs> <rules> <rule> <lhs> <funapp> <name>const</name> <arg> <var>X</var> </arg> <arg> <var>Y</var> </arg> </funapp> </lhs> <rhs> <var>X</var> </rhs> </rule> <rule> <lhs> <funapp> <name>subst</name> <arg> <var>G</var> </arg> <arg> <var>H</var> </arg> <arg> <var>W</var> </arg> </funapp> </lhs> <rhs> <application> <application> <var>G</var> <var>W</var> </application> <application> <var>H</var> <var>W</var> </application> </application> </rhs> </rule> <rule> <lhs> <application> <funapp> <name>fix</name> <arg> <var>J</var> </arg> </funapp> <var>X1</var> </application> </lhs> <rhs> <application> <application> <var>J</var> <funapp> <name>fix</name> <arg> <var>J</var> </arg> </funapp> </application> <var>X1</var> </application> </rhs> </rule> </rules> <higherOrderSignature> <variableTypeInfo> <varDeclaration> <var>X</var> <type> <basic>a</basic> </type> </varDeclaration> <varDeclaration> <var>Y</var> <type> <basic>b</basic> </type> </varDeclaration> <varDeclaration> <var>G</var> <type> <arrow> <type> <basic>c</basic> </type> <type> <arrow>
content may be truncated. 'popout' for larger text window.