Nil()
Cons():
nil()
nil
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()
=
Nil