Go backward to Representation Go up to Lists Go forward to Constructors

Definition

Specification: Defines a list handle l.

1. In the first form, l is bound to an empty list.
2. In the second form, l is bound to a new list cell with head element h and tail list t. This definition is equivalent to 

   List<T> l
   l.cons(h, t)

   which is in turn equivalent to but more efficient than

   List<T> l
   l = Cons(h, t)