toList Set -- list of elements

toList Set -- list of elements

Synopsis:

Function: toList -- list of elements

Input:

an instance of class Set.

Output:

an instance of class List.

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