Go backward to Nil(): Empty List Go up to Constructors Go forward to Cons(): List Construction

nil(): Empty List (Binding Form)

Specification: Binds l to the empty list.

Complexity: $O(1)$.

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

l = List<T>::Nil()