<?xml version="1.0"?>
<xqx:module xmlns:xqx="http://www.w3.org/2005/XQueryX"
            xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
            xsi:schemaLocation="http://www.w3.org/2005/XQueryX
                                http://www.w3.org/2005/XQueryX/xqueryx.xsd">
  <xqx:libraryModule>
    <xqx:moduleDecl>
      <xqx:prefix>defs</xqx:prefix>
      <xqx:uri>http://www.w3.org/TestModules/defs</xqx:uri>
    </xqx:moduleDecl>
    <xqx:prolog>
      <xqx:moduleImport>
        <xqx:namespacePrefix>test1</xqx:namespacePrefix>
        <xqx:targetNamespace>http://www.w3.org/TestModules/test1</xqx:targetNamespace>
      </xqx:moduleImport>
      <xqx:namespaceDecl>
        <xqx:prefix>foo</xqx:prefix>
        <xqx:uri>http://example.org</xqx:uri>
      </xqx:namespaceDecl>
      <xqx:varDecl>
        <xqx:varName xqx:prefix="defs">var1</xqx:varName>
        <xqx:varValue>
          <xqx:integerConstantExpr>
            <xqx:value>1</xqx:value>
          </xqx:integerConstantExpr>
        </xqx:varValue>
      </xqx:varDecl>
      <xqx:varDecl>
        <xqx:varName xqx:prefix="defs">var2</xqx:varName>
        <xqx:varValue>
          <xqx:addOp>
            <xqx:firstOperand>
              <xqx:varRef>
                <xqx:name xqx:prefix="test1">flag</xqx:name>
              </xqx:varRef>
            </xqx:firstOperand>
            <xqx:secondOperand>
              <xqx:integerConstantExpr>
                <xqx:value>2</xqx:value>
              </xqx:integerConstantExpr>
            </xqx:secondOperand>
          </xqx:addOp>
        </xqx:varValue>
      </xqx:varDecl>
      <xqx:functionDecl>
        <xqx:functionName xqx:prefix="defs">ok</xqx:functionName>
        <xqx:paramList/>
        <xqx:functionBody>
          <xqx:stringConstantExpr>
            <xqx:value>ok</xqx:value>
          </xqx:stringConstantExpr>
        </xqx:functionBody>
      </xqx:functionDecl>
    </xqx:prolog>
  </xqx:libraryModule>
</xqx:module>
