Go backward to Cons(): List Construction Go up to Constructors

cons(): List Construction (Binding Form)

Specification: Binds l to a list with head element h and tail list t.

Complexity: $O(1)$

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

l = Cons(h, t)