On Sat, 17 August 2002, Nicholas Clark wrote:
> But how on earth would you implement such a thing? :-) I imagine that type specifiers require that values assigned to the corresponding variable satisfy: value.isa(type). Using a superposition as a type means that the result of that test comes back as a superposition too. If that returned superposition is true, the assignment proceeds. Damian
