| (: Name: fn-string-to-codepoints-13 :) | |
| (: Description: Evaluation of an "fn:string-to-codepoints" that is used as argument to fn:exits function . :) | |
| (: return false :) | |
| (: insert-start :) | |
| declare variable $input-context1 external; | |
| (: insert-end :) | |
| fn:exists(fn:string-to-codepoints(())) |