(: Name: notation-cast-2 :)
(: Description: Evaluates casting a type derived from an xs:NOTATION to an xs:NOTATION type. :)


(: insert-start :)
import schema namespace myType = "http://www.w3.org/XQueryTest/userDefinedTypes";
declare variable $input-context external;
(: insert-end :)

myType:NOTATIONBased("myType:value1") cast as xs:NOTATION