next | previous | forward | backward | up | top | index | toc | home

toList(Set) -- list of elements

Synopsis

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