d and optionally specifies the
entities to be imported. A single module may be imported by more than one <span 
class="pcrr7t-">import</span> declaration. Imported names
serve as top level declarations: they scope over the entire body of the module but may be shadowed by local
non-top-level bindings.
 <p class="noindent"> The effect of multiple <span 
class="pcrr7t-">import</span> declarations is strictly cumulative: an entity is in scope if it is imported by any of the
<span 
class="pcrr7t-">import</span> 