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

_______________________________________________
[email protected]
http://x-query.com/mailman/listinfo/talk

Reply via email to