Go backward to Tail(): Tail List Go up to Selectors

tail(): Tail List (Binding Form)

Specification: Binds l to the tail list of l.

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

Complexity: $O(1)$.

Note: This operation is more efficient than the otherwise equivalent form .

l = Tail(l)