4.3. The pointer type

The pointer type is a rather abstract type. Values of the pointer type can not be operated upon; they can only be passed around; their primary use is for the implementation of arrays, integrating with foreign code, such as that written in C, and for debugging purposes. The default value for the pointer type is the invalid pointer (NULL in C). Note that, within TOM proper, it is impossible to refer to the constant null pointer.