You're right that an occurrence indicator here serves no useful purpose. The same applies to a forClause in a FLWOR expression.
Michael Kay Saxonica > On 29 Oct 2020, at 13:44, Mario Arduini <maard...@ethz.ch> wrote: > > Dear all, > > Why variable binding in quantified expressions allows for arities? > Since they are elements of a sequence, which by definition is flat, they will > necessarly have arity '1' > > (e.g. why can we write the 'integer+' part in 'some $a as integer+ in (1,2) > satisfies $a < 8') > > Maybe I am missing some corner case. > > Thank you in advance for any reply, > kind regards, > Mario > > _______________________________________________ > talk@x-query.com > http://x-query.com/mailman/listinfo/talk
_______________________________________________ talk@x-query.com http://x-query.com/mailman/listinfo/talk