(:*******************************************************:)
(:Test: sequence-type-7                                  :)
(:Written By: Carmelo Montanez                           :)
(:Date: March 29, 2006                                   :)
(:Purpose: Evaluate simple sequence type using instance of :)
(: and integer. uses "integer?".                         :)
(:*******************************************************:)
(: insert-start :)
declare variable $input-context1 external;
(: insert-end :)

(1,2) instance of xs:integer?