<?xml version="1.0" encoding="UTF-8" standalone="no"?><?xml-stylesheet type="text/xsl" href="../lib/xsl/abstr.xsl"?><abstr><astnode id="18" label="Nodes&lt;Defn&gt;"><location begcolumn="1" begline="1" endcolumn="0" endline="5"/><astnode id="4" label="TypDefn" name="hax"><location begcolumn="1" begline="1" endcolumn="19" endline="1"/><astnode id="3" label="UniType"><location begcolumn="11" begline="1" endcolumn="19" endline="1"/><astnode id="2" label="Nodes&lt;CompDefn&gt;"><location begcolumn="11" begline="1" endcolumn="19" endline="1"/><astnode id="1" label="CompDefn" name="a"><location begcolumn="12" begline="1" endcolumn="18" endline="1"/><astnode id="0" label="AtomType" name="INT"><location begcolumn="16" begline="1" endcolumn="18" endline="1"/></astnode></astnode></astnode></astnode></astnode><astnode id="6" label="VarDefn" name="id"><location begcolumn="1" begline="2" endcolumn="26" endline="2"/><astnode id="5" label="AtomType" name="INT"><location begcolumn="10" begline="2" endcolumn="26" endline="2"/></astnode></astnode><astnode id="17" label="DefFunDefn" name="x"><location begcolumn="1" begline="3" endcolumn="20" endline="4"/><astnode id="14" label="Nodes&lt;ParDefn&gt;"/><astnode id="7" label="AtomType" name="VOID"><location begcolumn="11" begline="3" endcolumn="14" endline="3"/></astnode><astnode id="16" label="Exprs"><location begcolumn="9" begline="4" endcolumn="20" endline="4"/><astnode id="15" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="4" endcolumn="20" endline="4"/><astnode id="13" label="Exprs"><location begcolumn="9" begline="4" endcolumn="20" endline="4"/><astnode id="12" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="4" endcolumn="20" endline="4"/><astnode id="8" label="AtomExpr" name="1"><location begcolumn="10" begline="4" endcolumn="10" endline="4"/></astnode><astnode id="9" label="AtomExpr" name="2"><location begcolumn="13" begline="4" endcolumn="13" endline="4"/></astnode><astnode id="10" label="AtomExpr" name="3"><location begcolumn="16" begline="4" endcolumn="16" endline="4"/></astnode><astnode id="11" label="AtomExpr" name="4"><location begcolumn="19" begline="4" endcolumn="19" endline="4"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></abstr>