Specification of ADT List
Finite sequence of nodes. A special position in the list, called the current position, indicates a node, called the current node. The current position is empty if the current position does not indicate a node.
What functions do we need on this list?