This test should expect the empty sequence and (in the case of static typing implementations XPST0005).

By applying the FS rule:

statEnv |-  Type1 <: xs:integer
-------------------------------------------------------------------------
statEnv |-  (FN-URI,"remove")(Type, Type1) : prime(Type) · quantifier(Type) · ?

where Type = none (the static return type of fn:error())

prime(Type) = none
quantifier(Type) = 1
prime(Type) · quantifier(Type) · ? = empty

(:*******************************************************:)
(: Test: K-SeqRemoveFunc-13                              :)
(: Written by: Frans Englich                             :)
(: Date: 2007-11-22T11:31:22+01:00                       :)
(: Purpose: A test whose essence is: `remove(error(), 1)`. :)
(:*******************************************************:)
remove(error(), 1)