Abstract
Every variable declaration specifies the variable’s type as its constant property. The type can be one of the standard, primitive types, or it may be of a type declared in the program itself. Type declarations have the form
$$
{\text{\$ TypeDeclaration = identifier = type}}{\text{.}}
$$
Copyright information
© Springer-Verlag Berlin Heidelberg 1982