&gt; <span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; ">Btw-- the manual makes a distinction between</span><div><span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; ">&gt; &quot;abstractions&quot; and &quot;externs&quot;.</span><br>
<br></div><div>But it shouldn&#39;t, right? I mean, it&#39;s not real in practice, for abstractions can be externals...</div><div><br></div><div>porres</div>