Type narrowing for instance-of expressions
When we check $x instance of xs:string, we can narrow the type of $x in the true branch
$x instance of xs:string
Type narrowing for instance-of expressions
When we check
$x instance of xs:string, we can narrow the type of $x in the true branch