Go backward to Null() : Test for Empty ListGo up to Selectors Go forward to Tail() : Tail List
|
Head()
: Head Element=
Head
(l) Specification: Returns the head element h of l.
Constraints: It is illegal to apply Head
to an empty l.
Complexity: .