Hi all, thanks to Holger for his explanation,
<<Holger>>
...
A better name would be
unbound?.
...
<</Holger>>
I feel, that the word 'undefined? may be confusing too. If we can agree on a
better notion, I will change my text. Any votes (or other candidates)?
Cheers
L
--
To unsubscribe from this list, please send an email to
[EMAIL PROTECTED] with "unsubscribe" in the
subject, without the quotes.
