next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
toList(Set) -- list of elements
Synopsis
Function:
toList
Description
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