[xquery-talk] Typeswitch - scope of variables

[Ihe Onwuka]

I cannot discern from the specification what the scope of variables
introduced in the operand expression should be. Yes I can to see if
they are but such an experiment would not adjudicate specification
conformance, would it.

Fleshing it out for clarification (and possible misinterpretation on
my part). Since an operand expression can be FLOWR, are any lets
introduced therein within the scope of the case clauses of the
typeswitch expression?