(:*******************************************************:)
(: Test: errata6-module1.xq                              :)
(: Written By: John Snelson                              :)
(: Date: 2009/10/01                                      :)
(: Purpose: Module that imports a schema and uses types  :)
(: from it                                               :)
(:*******************************************************:)

module namespace errata6_1="http://www.w3.org/TestModules/errata6-1";

import schema namespace a = "http://www.w3.org/XQueryTest/userDefinedTypes";

declare function errata6_1:hatsize-add($a as a:hatsize, $b)
{
  $a + $b
};