Construction of Lists
[* *] : -> List
[* e_1, e_2, ..., e_n *] : 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 ->
Prune(S) : List -> List
Prune(~S) : List ->
SequenceToList(Q) : SeqEnum -> List
TupleToList(T) : Tup -> List
Access Functions
# S : List -> RngIntElt
IsEmpty(S) : List -> BoolElt
S[i] : List, RngIntElt -> Elt