RE: Scoping of options and variables

> Does this text adequately cover the constraint?
> 
>   The scope of option and variable names is determined by where they
are
>   declared. When an option is declared with p:option (or a variable
with
>   p:variable), unless otherwise specified, its scope consists of the
>   sibling elements that follow its declaration and the descendants of
>   those siblings. It is a static error (err:XS0004) if an option or
>   variable declaration duplicates the name of any other option or
>   variable in the same environment. That is, no option or variable may
>   lexically shadow another option or variable with the same name.
> 
> I'm trying to be a little careful because a nested pipeline
> declaration could be a sibling element, but that's a different
> environment so it's not lexical shadowing.

I think so.

Vojtech