\"\" \"\" \"\"
Go backward to Null(): Test for Empty List
Go up to Selectors
Go forward to Tail(): Tail List
RISC-Linz logo

Head(): Head Element

h = Head(l)
      T h
      List<T> l

Specification: Returns the head element h of l.

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

Complexity: O(1).


Author: Wolfgang Schreiner
Last Modification: April 12, 1997