Introduction
Construction of Lists [* *] : -> List [* e1, e2, ..., en *] : Elt,.., Elt -> List
Creation of New Lists S cat T : List, List -> List S cat:= T : List, List -> Append(S, x) : List, Elt -> List Append(~S, x) : List, Elt -> Insert(~S, i, x) : List, RngIntElt, Any -> Prune(S) : List -> List Prune(~S) : List -> SequenceToList(Q) : SeqEnum -> List TupleToList(T) : Tup -> List Reverse(L) : List -> List
Access Functions # S : List -> RngIntElt IsEmpty(S) : List -> BoolElt S[i] : List, RngIntElt -> Elt IsDefined(L, i) : List, RngIntElt -> Elt
Assignment Operator S[i] := x : List, RngIntElt, Elt -> [Next][Prev] [Right] [____] [Up] [Index] [Root]
