Go backward to nil(): Empty List (Binding Form)
Go up to Constructors
Go forward to cons(): List Construction (Binding Form)

Cons(): List Construction

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

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

Complexity: O(1).


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: main.tex,v 1.10 1996/04/04 11:45:47 schreine Exp

Prev Up Next