toList

toList x -- yields a list of the elements in a list, sequence, or set x.

This is a good way to convert a list of some type to a list of type List.

i1 : x = set {a,b,c,d}

o1 = Set {b, c, d, a}

o1 : Set
i2 : toList x

o2 = {b, c, d, a}

o2 : List

topindexpreviousupnext