<?xml version="1.0" encoding="UTF-8" standalone="no"?><?xml-stylesheet type="text/xsl" href="../lib/xsl/abstr.xsl"?><abstr><astnode id="70" label="Nodes&lt;Defn&gt;"><location begcolumn="1" begline="1" endcolumn="6" endline="15"/><astnode id="1" label="TypDefn" name="i"><location begcolumn="1" begline="1" endcolumn="11" endline="1"/><astnode id="0" label="AtomType" name="INT"><location begcolumn="9" begline="1" endcolumn="11" endline="1"/></astnode></astnode><astnode id="3" label="TypDefn" name="c"><location begcolumn="1" begline="2" endcolumn="12" endline="2"/><astnode id="2" label="AtomType" name="CHAR"><location begcolumn="9" begline="2" endcolumn="12" endline="2"/></astnode></astnode><astnode id="5" label="TypDefn" name="b"><location begcolumn="1" begline="3" endcolumn="12" endline="3"/><astnode id="4" label="AtomType" name="BOOL"><location begcolumn="9" begline="3" endcolumn="12" endline="3"/></astnode></astnode><astnode id="69" label="DefFunDefn" name="bb"><location begcolumn="1" begline="5" endcolumn="6" endline="15"/><astnode id="66" label="Nodes&lt;ParDefn&gt;"><location begcolumn="7" begline="5" endcolumn="22" endline="5"/><astnode id="7" label="ParDefn" name="b1"><location begcolumn="8" begline="5" endcolumn="13" endline="5"/><astnode id="6" label="AtomType" name="INT"><location begcolumn="11" begline="5" endcolumn="13" endline="5"/></astnode></astnode><astnode id="9" label="ParDefn" name="b2"><location begcolumn="16" begline="5" endcolumn="21" endline="5"/><astnode id="8" label="AtomType" name="INT"><location begcolumn="19" begline="5" endcolumn="21" endline="5"/></astnode></astnode></astnode><astnode id="10" label="NameType" name="b"><location begcolumn="25" begline="5" endcolumn="25" endline="5"/></astnode><astnode id="68" label="Exprs"><location begcolumn="5" begline="6" endcolumn="6" endline="15"/><astnode id="67" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="6" endcolumn="6" endline="15"/><astnode id="65" label="LetExpr"><location begcolumn="5" begline="6" endcolumn="6" endline="15"/><astnode id="62" label="Nodes&lt;Defn&gt;"><location begcolumn="9" begline="7" endcolumn="41" endline="7"/><astnode id="22" label="DefFunDefn" name="bbb"><location begcolumn="9" begline="7" endcolumn="41" endline="7"/><astnode id="19" label="Nodes&lt;ParDefn&gt;"><location begcolumn="16" begline="7" endcolumn="27" endline="7"/><astnode id="12" label="ParDefn" name="d1"><location begcolumn="17" begline="7" endcolumn="20" endline="7"/><astnode id="11" label="NameType" name="i"><location begcolumn="20" begline="7" endcolumn="20" endline="7"/></astnode></astnode><astnode id="14" label="ParDefn" name="d2"><location begcolumn="23" begline="7" endcolumn="26" endline="7"/><astnode id="13" label="NameType" name="i"><location begcolumn="26" begline="7" endcolumn="26" endline="7"/></astnode></astnode></astnode><astnode id="15" label="NameType" name="i"><location begcolumn="31" begline="7" endcolumn="31" endline="7"/></astnode><astnode id="21" label="Exprs"><location begcolumn="35" begline="7" endcolumn="41" endline="7"/><astnode id="20" label="Nodes&lt;Expr&gt;"><location begcolumn="35" begline="7" endcolumn="41" endline="7"/><astnode id="18" label="BinExpr" name="ADD"><location begcolumn="35" begline="7" endcolumn="41" endline="7"/><astnode id="16" label="NameExpr" name="d1"><location begcolumn="35" begline="7" endcolumn="36" endline="7"/></astnode><astnode id="17" label="NameExpr" name="d2"><location begcolumn="40" begline="7" endcolumn="41" endline="7"/></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="64" label="Exprs"><location begcolumn="9" begline="9" endcolumn="12" endline="14"/><astnode id="63" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="9" endcolumn="12" endline="14"/><astnode id="58" label="LetExpr"><location begcolumn="9" begline="9" endcolumn="7" endline="13"/><astnode id="55" label="Nodes&lt;Defn&gt;"><location begcolumn="13" begline="9" endcolumn="50" endline="10"/><astnode id="28" label="DefFunDefn" name="aa"><location begcolumn="13" begline="9" endcolumn="30" endline="9"/><astnode id="25" label="Nodes&lt;ParDefn&gt;"/><astnode id="23" label="NameType" name="c"><location begcolumn="24" begline="9" endcolumn="24" endline="9"/></astnode><astnode id="27" label="Exprs"><location begcolumn="28" begline="9" endcolumn="30" endline="9"/><astnode id="26" label="Nodes&lt;Expr&gt;"><location begcolumn="28" begline="9" endcolumn="30" endline="9"/><astnode id="24" label="AtomExpr" name="'a'"><location begcolumn="28" begline="9" endcolumn="30" endline="9"/></astnode></astnode></astnode></astnode><astnode id="44" label="DefFunDefn" name="aaa"><location begcolumn="13" begline="10" endcolumn="50" endline="10"/><astnode id="41" label="Nodes&lt;ParDefn&gt;"><location begcolumn="20" begline="10" endcolumn="24" endline="10"/><astnode id="30" label="ParDefn" name="f"><location begcolumn="21" begline="10" endcolumn="23" endline="10"/><astnode id="29" label="NameType" name="i"><location begcolumn="23" begline="10" endcolumn="23" endline="10"/></astnode></astnode></astnode><astnode id="31" label="NameType" name="i"><location begcolumn="28" begline="10" endcolumn="28" endline="10"/></astnode><astnode id="43" label="Exprs"><location begcolumn="32" begline="10" endcolumn="50" endline="10"/><astnode id="42" label="Nodes&lt;Expr&gt;"><location begcolumn="32" begline="10" endcolumn="50" endline="10"/><astnode id="40" label="BinExpr" name="ADD"><location begcolumn="32" begline="10" endcolumn="50" endline="10"/><astnode id="36" label="BinExpr" name="ADD"><location begcolumn="32" begline="10" endcolumn="40" endline="10"/><astnode id="34" label="BinExpr" name="MUL"><location begcolumn="32" begline="10" endcolumn="36" endline="10"/><astnode id="32" label="AtomExpr" name="5"><location begcolumn="32" begline="10" endcolumn="32" endline="10"/></astnode><astnode id="33" label="AtomExpr" name="4"><location begcolumn="36" begline="10" endcolumn="36" endline="10"/></astnode></astnode><astnode id="35" label="AtomExpr" name="7"><location begcolumn="40" begline="10" endcolumn="40" endline="10"/></astnode></astnode><astnode id="39" label="BinExpr" name="MOD"><location begcolumn="44" begline="10" endcolumn="50" endline="10"/><astnode id="37" label="AtomExpr" name="9"><location begcolumn="44" begline="10" endcolumn="44" endline="10"/></astnode><astnode id="38" label="AtomExpr" name="110"><location begcolumn="48" begline="10" endcolumn="50" endline="10"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="57" label="Exprs"><location begcolumn="13" begline="12" endcolumn="30" endline="12"/><astnode id="56" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="12" endcolumn="30" endline="12"/><astnode id="54" label="BinExpr" name="MUL"><location begcolumn="13" begline="12" endcolumn="30" endline="12"/><astnode id="48" label="CallExpr"><location begcolumn="13" begline="12" endcolumn="18" endline="12"/><astnode id="45" label="NameExpr" name="aaa"><location begcolumn="13" begline="12" endcolumn="15" endline="12"/></astnode><astnode id="47" label="Nodes&lt;Expr&gt;"><location begcolumn="16" begline="12" endcolumn="18" endline="12"/><astnode id="46" label="AtomExpr" name="8"><location begcolumn="17" begline="12" endcolumn="17" endline="12"/></astnode></astnode></astnode><astnode id="53" label="CallExpr"><location begcolumn="22" begline="12" endcolumn="30" endline="12"/><astnode id="49" label="NameExpr" name="bbb"><location begcolumn="22" begline="12" endcolumn="24" endline="12"/></astnode><astnode id="52" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="12" endcolumn="30" endline="12"/><astnode id="50" label="AtomExpr" name="2"><location begcolumn="26" begline="12" endcolumn="26" endline="12"/></astnode><astnode id="51" label="AtomExpr" name="3"><location begcolumn="29" begline="12" endcolumn="29" endline="12"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="61" label="BinExpr" name="GEQ"><location begcolumn="5" begline="14" endcolumn="12" endline="14"/><astnode id="59" label="NameExpr" name="b1"><location begcolumn="5" begline="14" endcolumn="6" endline="14"/></astnode><astnode id="60" label="NameExpr" name="b2"><location begcolumn="11" begline="14" endcolumn="12" endline="14"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></abstr>