|
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: .