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 = U
declares T to be the type U.
Last modified on Wed Apr 3 09:38:53 PST 1996 by heydon modified on Mon Apr 18 14:08:17 PDT 1994 by kalsow