Null()
: Test for Unbound List=
: Assignment
List()
: DuplicationSpecification: 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