ToFirst(L)
ToFirst(L)
Procedure to make the current node the first node in L;
if the list is empty, the current position remains empty.
AtFirst(L) ? b
Boolean function to return TRUE if the current node is
the first node in the list or if the list and the current
position are both empty.