noindent"> If a module contains a bound occurrence of a name, such as <span 
class="pcrr7t-">f</span> or <span 
class="pcrr7t-">A.f</span>, it must be possible unambiguously to resolve
which entity is thereby referred to; that is, there must be only one binding for <span 
class="pcrr7t-">f</span> or <span 
class="pcrr7t-">A.f</span> respectively.
 <p class="noindent"> It is <span 
class="ptmri7t-">not </span>an error for there to exist names that cannot be so resolved, provided that the program does not men