| (: Name: notation-cast-3 :) | |
| (: Description: Evaluates casting a type derived from an xs:NOTATION to a type derived from xs:NOTATION. :) | |
| (: 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 myType:NOTATIONBased |