Synopsis:
toList x -- provides a list of element in the set x.
i1 : x = set {a,b,c} o1 = Set {c, a, b} o1 : Set
i2 : toList x o2 = {c, a, b} o2 : List