<?xml version="1.0" encoding="UTF-8" standalone="no"?><?xml-stylesheet type="text/xsl" href="../lib/xsl/seman.xsl"?><seman><astnode id="41" label="Nodes&lt;Defn&gt;"><location begcolumn="1" begline="1" endcolumn="7" endline="15"/><astnode id="40" label="DefFunDefn" name="main"><location begcolumn="1" begline="1" endcolumn="7" endline="15"/><oftype none=""/><astnode id="37" label="Nodes&lt;ParDefn&gt;"/><astnode id="0" label="AtomType" name="BOOL"><location begcolumn="12" begline="1" endcolumn="15" endline="1"/><istype none=""/></astnode><astnode id="39" label="Exprs"><location begcolumn="5" begline="2" endcolumn="7" endline="15"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="38" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="2" endcolumn="7" endline="15"/><astnode id="18" label="LetExpr"><location begcolumn="5" begline="2" endcolumn="7" endline="8"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="15" label="Nodes&lt;Defn&gt;"><location begcolumn="9" begline="3" endcolumn="15" endline="4"/><astnode id="2" label="TypDefn" name="a"><location begcolumn="9" begline="3" endcolumn="17" endline="3"/><istype none=""/><astnode id="1" label="AtomType" name="INT"><location begcolumn="15" begline="3" endcolumn="17" endline="3"/><istype none=""/></astnode></astnode><astnode id="4" label="VarDefn" name="c"><location begcolumn="9" begline="4" endcolumn="15" endline="4"/><oftype none=""/><astnode id="3" label="NameType" name="a"><location begcolumn="15" begline="4" endcolumn="15" endline="4"/><defat id="2"><location begcolumn="9" begline="3" endcolumn="17" endline="3"/></defat><istype none=""/></astnode></astnode></astnode><astnode id="17" label="Exprs"><location begcolumn="9" begline="6" endcolumn="21" endline="7"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="16" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="6" endcolumn="21" endline="7"/><astnode id="7" label="AsgnExpr"><location begcolumn="9" begline="6" endcolumn="13" endline="6"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="5" label="NameExpr" name="c"><location begcolumn="9" begline="6" endcolumn="9" endline="6"/><defat id="4"><location begcolumn="9" begline="4" endcolumn="15" endline="4"/></defat><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode><astnode id="6" label="AtomExpr" name="2"><location begcolumn="13" begline="6" endcolumn="13" endline="6"/><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode></astnode><astnode id="14" label="BinExpr" name="GTH"><location begcolumn="9" begline="7" endcolumn="21" endline="7"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="10" label="BinExpr" name="MUL"><location begcolumn="9" begline="7" endcolumn="13" endline="7"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="8" label="NameExpr" name="c"><location begcolumn="9" begline="7" endcolumn="9" endline="7"/><defat id="4"><location begcolumn="9" begline="4" endcolumn="15" endline="4"/></defat><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode><astnode id="9" label="NameExpr" name="c"><location begcolumn="13" begline="7" endcolumn="13" endline="7"/><defat id="4"><location begcolumn="9" begline="4" endcolumn="15" endline="4"/></defat><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode></astnode><astnode id="13" label="BinExpr" name="ADD"><location begcolumn="17" begline="7" endcolumn="21" endline="7"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="11" label="NameExpr" name="c"><location begcolumn="17" begline="7" endcolumn="17" endline="7"/><defat id="4"><location begcolumn="9" begline="4" endcolumn="15" endline="4"/></defat><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode><astnode id="12" label="NameExpr" name="c"><location begcolumn="21" begline="7" endcolumn="21" endline="7"/><defat id="4"><location begcolumn="9" begline="4" endcolumn="15" endline="4"/></defat><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="36" label="LetExpr"><location begcolumn="5" begline="9" endcolumn="7" endline="15"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="33" label="Nodes&lt;Defn&gt;"><location begcolumn="9" begline="10" endcolumn="17" endline="11"/><astnode id="20" label="VarDefn" name="c"><location begcolumn="9" begline="10" endcolumn="15" endline="10"/><oftype none=""/><astnode id="19" label="NameType" name="b"><location begcolumn="15" begline="10" endcolumn="15" endline="10"/><defat id="22"><location begcolumn="9" begline="11" endcolumn="17" endline="11"/></defat><istype none=""/></astnode></astnode><astnode id="22" label="TypDefn" name="b"><location begcolumn="9" begline="11" endcolumn="17" endline="11"/><istype none=""/><astnode id="21" label="AtomType" name="INT"><location begcolumn="15" begline="11" endcolumn="17" endline="11"/><istype none=""/></astnode></astnode></astnode><astnode id="35" label="Exprs"><location begcolumn="9" begline="13" endcolumn="21" endline="14"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="34" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="13" endcolumn="21" endline="14"/><astnode id="25" label="AsgnExpr"><location begcolumn="9" begline="13" endcolumn="13" endline="13"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="23" label="NameExpr" name="c"><location begcolumn="9" begline="13" endcolumn="9" endline="13"/><defat id="20"><location begcolumn="9" begline="10" endcolumn="15" endline="10"/></defat><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode><astnode id="24" label="AtomExpr" name="1"><location begcolumn="13" begline="13" endcolumn="13" endline="13"/><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode></astnode><astnode id="32" label="BinExpr" name="GTH"><location begcolumn="9" begline="14" endcolumn="21" endline="14"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="28" label="BinExpr" name="MUL"><location begcolumn="9" begline="14" endcolumn="13" endline="14"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="26" label="NameExpr" name="c"><location begcolumn="9" begline="14" endcolumn="9" endline="14"/><defat id="20"><location begcolumn="9" begline="10" endcolumn="15" endline="10"/></defat><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode><astnode id="27" label="NameExpr" name="c"><location begcolumn="13" begline="14" endcolumn="13" endline="14"/><defat id="20"><location begcolumn="9" begline="10" endcolumn="15" endline="10"/></defat><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode></astnode><astnode id="31" label="BinExpr" name="ADD"><location begcolumn="17" begline="14" endcolumn="21" endline="14"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="29" label="NameExpr" name="c"><location begcolumn="17" begline="14" endcolumn="17" endline="14"/><defat id="20"><location begcolumn="9" begline="10" endcolumn="15" endline="10"/></defat><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode><astnode id="30" label="NameExpr" name="c"><location begcolumn="21" begline="14" endcolumn="21" endline="14"/><defat id="20"><location begcolumn="9" begline="10" endcolumn="15" endline="10"/></defat><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></seman>