If T is an identifier and U a type (or type expression, since a type expression is allowed wherever a type is required), then:
TYPE T = Udeclares T to be the type U.
m3-request@src.dec.com
Last modified on Tue Oct 3 17:29:57 PDT 1995 by heydon modified on Mon Apr 18 14:08:17 PDT 1994 by kalsow