<?xml version="1.0" encoding="UTF-8"?> <?xml-stylesheet href="xtc2tpdb.xsl" type="text/xsl"?> <problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" type="termination" xsi:noNamespaceSchemaLocation="http://dev.aspsimon.org/xtc.xsd"> <trs> <rules> <rule> <lhs> <application> <application> <funapp> <name>rec</name> </funapp> <var>F</var> </application> <application> <var>Z</var> <funapp> <name>0</name> </funapp> </application> </application> </lhs> <rhs> <var>Z</var> </rhs> </rule> </rules> <higherOrderSignature> <variableTypeInfo> <varDeclaration> <var>F</var> <type><arrow> <type><basic>N</basic></type> <type><arrow> <type><arrow> <type><basic>N</basic></type> <type><basic>B</basic></type> </arrow></type> <type><arrow> <type><basic>N</basic></type> <type><basic>B</basic></type> </arrow></type> </arrow></type> </arrow></type> </varDeclaration> <varDeclaration> <var>Z</var> <type><arrow> <type><basic>N</basic></type> <type><basic>B</basic></type> </arrow></type> </varDeclaration> </variableTypeInfo> <functionSymbolTypeInfo> <funcDeclaration> <name>0</name> <typeDeclaration> <type><basic>N</basic></type> </typeDeclaration> </funcDeclaration> <funcDeclaration> <name>rec</name> <typeDeclaration> <type><arrow> <type><arrow> <type><basic>N</basic></type> <type><arrow> <type><arrow> <type><basic>N</basic></type> <type><basic>B</basic></type> </arrow></type> <type><arrow> <type><basic>N</basic></type> <type><basic>B</basic></type> </arrow></type> </arrow></type> </arrow></type> <type><arrow> <type><basic>B</basic></type> <type><arrow> <type><basic>N</basic></type> <type><basic>B</basic></type> </arrow></type> </arrow></type> </arrow></type> </typeDeclaration> </funcDeclaration> </functionSymbolTypeInfo> </higherOrderSignature> </trs> <strategy>FULL</strategy> <metainformation> <originalfilename>/tmp/tmpfile.afsm</originalfilename> </metainformation> </problem>
content may be truncated. 'popout' for larger text window.