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

List(): Duplication

Specification: Defines a list l bound to the same list as r. If r is not bound to any list, l is also unbound.

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

List<T> l = r