Go backward to Null(): Test for Unbound Pointer Go up to General Go forward to =: Assignment

Pointer(): Duplication

Specification: Defines a pointer p bound to the same array as q. If q is not bound to any object, p is also unbound.

Note: This definition is more efficient than the otherwise equivalent form

Pointer<T> p = q