\"\" \"\" \"\"
Go backward to Head(): Head Element
Go up to Selectors
Go forward to tail(): Tail List (Binding Form)
RISC-Linz logo

Tail(): Tail List

t = Tail(l)
      List<T> t
      List<T> l

Specification: Returns the tail list t of l.

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

Complexity: O(1).


Author: Wolfgang Schreiner
Last Modification: April 12, 1997