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