Go backward to Tail(): Tail List
Go up to Selectors

tail(): Tail List (Binding Form)

l.tail()
      List<T> l

Specification: Binds l to the tail list of l.

Constraints: It is illegal to apply tail to an empty l.

Complexity: O(1).

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

l = Tail(l)

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

Prev Up