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