Types

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