[Aldor-l] ->* and :*

[Ralf Hemmecke]

Is '->*' somehow connected to ':*'. How?

The AUG mentions for 'x:*X := ...' that :* stands for specifying the 
type, but not autoimporting it. Is there some extensive documentation 
for ->* ?

Ralf