tests/org.w3c.xqts.testsuite/Queries/XQuery/Expressions/exprSeqTypes/SeqExprInstanceOf/instanceof56.xq - sourceediting/webtools.sourceediting.xpath.tests - Git at Google

 (: Name: instanceof56 :)
 (: purpose: Evaluation of "instance of" expression for pattern "double instance of xs:dateTime".:)
 (: insert-start :)
 declare variable $input-context external;
 (: insert-end :)
 1267.43233E12 instance of xs:dateTime
	(: Name: instanceof56 :)
	(: purpose: Evaluation of "instance of" expression for pattern "double instance of xs:dateTime".:)
	(: insert-start :)
	declare variable $input-context external;
	(: insert-end :)
	1267.43233E12 instance of xs:dateTime