The TYPE command prints the resultant data type of an expression in terms of the data descriptions of the current source language.
The TYPE command is used to access declaration types.
