RT++ --- Tutorial and Reference Manual -- \code{head()}: Update Head Element

$\"\"$ $\"\"$ $\"\"$
Go up to Destructive Updating
Go forward to tail(): Update Tail List

l.head(h)
List<T> l
T h

Specification: Destructively updates the head element of l by e.

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

Complexity: $O(1)$ .

Author: Wolfgang Schreiner
Last Modification: April 12, 1997