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