<?xml version="1.0" encoding="UTF-8" standalone="no"?><?xml-stylesheet type="text/xsl" href="../lib/xsl/seman.xsl"?><seman><astnode id="14" label="Nodes&lt;Defn&gt;"><location begcolumn="1" begline="1" endcolumn="11" endline="5"/><astnode id="13" label="DefFunDefn" name="f"><location begcolumn="1" begline="1" endcolumn="11" endline="5"/><oftype none=""/><astnode id="10" label="Nodes&lt;ParDefn&gt;"><location begcolumn="7" begline="1" endcolumn="15" endline="1"/><astnode id="1" label="ParDefn" name="a"><location begcolumn="8" begline="1" endcolumn="14" endline="1"/><oftype none=""/><astnode id="0" label="AtomType" name="INT"><location begcolumn="12" begline="1" endcolumn="14" endline="1"/><istype none=""/></astnode></astnode></astnode><astnode id="2" label="AtomType" name="VOID"><location begcolumn="19" begline="1" endcolumn="22" endline="1"/><istype none=""/></astnode><astnode id="12" label="Exprs"><location begcolumn="9" begline="2" endcolumn="11" endline="5"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="11" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="2" endcolumn="11" endline="5"/><astnode id="9" label="LetExpr"><location begcolumn="9" begline="2" endcolumn="11" endline="5"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="6" label="Nodes&lt;Defn&gt;"><location begcolumn="13" begline="2" endcolumn="23" endline="2"/><astnode id="4" label="VarDefn" name="a"><location begcolumn="13" begline="2" endcolumn="23" endline="2"/><oftype none=""/><astnode id="3" label="AtomType" name="INT"><location begcolumn="21" begline="2" endcolumn="23" endline="2"/><istype none=""/></astnode></astnode></astnode><astnode id="8" label="Exprs"><location begcolumn="17" begline="4" endcolumn="17" endline="4"/><oftype none=""/><isconst value="none"/><isaddr value="none"/><astnode id="7" label="Nodes&lt;Expr&gt;"><location begcolumn="17" begline="4" endcolumn="17" endline="4"/><astnode id="5" label="NameExpr" name="a"><location begcolumn="17" begline="4" endcolumn="17" endline="4"/><defat id="4"><location begcolumn="13" begline="2" endcolumn="23" endline="2"/></defat><oftype none=""/><isconst value="none"/><isaddr value="none"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></seman>