Scope of step types

Section 3.2:

  The scope of the names of the step types is the union of all the
  pipelines and pipeline libraries available directly or via p:import.

So there is exactly one scope for all the step types in a pipeline run?

For example, if a pipeline imports a library, and that library contains
a pipeline, and that pipeline contains declare-step, then those steps
are visible in the top-level pipeline?  And in other pipelines imported
from it?

-- Richard